meow/meow.control.trans/OptionT/given_MonadError_E_OptionT

given_MonadError_E_OptionT

given given_MonadError_E_OptionT[E, M[_]](implicit evidence$4: Functor[M], evidence$5: Applicative[M], evidence$6: Monad[M], val me: MonadError[E, M]): MonadError[E, [_] =>> OptionT[M, _$9]]

Value members

Concrete methods

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

Concrete fields

protected val me: MonadError[E, M]

Extensions

Inherited extensions

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