meow/meow.control.trans/ReaderT

ReaderT

object ReaderT
class Object
trait Matchable
class Any

Value members

Concrete methods

def ask[R, M[_]](using apM: Applicative[M]): (R, M) => R

Givens

Givens

given given_Applicative_ReaderT[R, M[_]](implicit evidence$1: Functor[M], val apM: Applicative[M]): Applicative[[_] =>> (R, M) => _$6]
given given_Functor_ReaderT[R, M[_]](using val functorM: Functor[M]): Functor[[_] =>> (R, M) => _$4]
given given_MonadError_E_ReaderT[E, R, M[_]](implicit evidence$7: Applicative[M], evidence$8: Functor[M], evidence$9: Monad[M], val me: MonadError[E, M], val mt: MonadTrans[[M[_], A] =>> (R, M) => A, M]): MonadError[E, [_] =>> (R, M) => _$13]
given given_MonadReader_R_ReaderT[R, M[_]]: MonadReader[R, [_] =>> (R, M) => _$15]
given given_MonadTrans_ReaderT_M[M[_], R]: MonadTrans[[M[_], A] =>> (R, M) => A, M]
given given_Monad_ReaderT[R, M[_]](implicit evidence$2: Applicative[M], evidence$3: Functor[M], val monad: Monad[M]): Monad[[_] =>> (R, M) => _$8]
given given_Semigroup_ReaderT[A, B, M[_]](implicit evidence$13: Semigroup[B], val x$1: Semigroup[M[B]]): Semigroup[(A, M) => B]