meow/meow.control.trans/ReaderT/given_MonadError_E_ReaderT

given_MonadError_E_ReaderT

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]

Value members

Concrete methods

def catchError[A](ma: ReaderT[R, M, A]): E => ReaderT[R, M, A] => ReaderT[R, M, A]
def throwError[A](e: E): ReaderT[R, M, A]

Concrete fields

protected val me: MonadError[E, M]
protected val mt: MonadTrans[[M[_], A] =>> ReaderT[R, M, A], M]

Extensions

Inherited extensions

extension (ma: M[A])
def recover[A](f: E => M[A]): (R, M) => A
Inherited from
MonadError