meow/meow.control.trans/OptionT/given_MonadReader_R_OptionT

given_MonadReader_R_OptionT

given given_MonadReader_R_OptionT[R, M[_]](implicit evidence$10: Monad[M], evidence$11: Applicative[M], evidence$12: Functor[M], val readM: MonadReader[R, M]): MonadReader[R, [_] =>> OptionT[M, _$12]]

Value members

Concrete methods

def ask: OptionT[M, R]
def local[A](rr: R => R): OptionT[M, A] => OptionT[M, A]

Inherited methods

def reader[A](f: R => A): OptionT[M, A]
Inherited from
MonadReader

Concrete fields

protected val readM: MonadReader[R, M]