OptionT
object OptionT
class Object
trait Matchable
class Any
Givens
Givens
given given_Applicative_OptionT[M[_]](implicit evidence$1: Functor[M], val apM: Applicative[M]): Applicative[[_] =>> OptionT[M, _$5]]
given given_Functor_OptionT[M[_]](using val functorM: Functor[M], val functorO: Functor[[A] =>> Option[A]]): Functor[[_] =>> OptionT[M, _$3]]
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]]
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]]
given given_Monad_OptionT[M[_]](implicit evidence$2: Applicative[M], evidence$3: Functor[M], val monad: Monad[M]): Monad[[_] =>> OptionT[M, _$7]]