object MaybeT extends MaybeTInstances with Serializable
- Source
- MaybeT.scala
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- MaybeT
- Serializable
- MaybeTInstances
- MaybeTInstances0
- MaybeTInstances1
- MaybeTInstances2
- MaybeTInstances3
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Value Members
- def empty[M[_], A](implicit M: Applicative[M]): MaybeT[M, A]
- def just[M[_], A](v: => A)(implicit M: Applicative[M]): MaybeT[M, A]
- def maybeT[M[_]]: ~>[[α]M[Maybe[α]], [β$7$]MaybeT[M, β$7$]]
- implicit def maybeTBindRec[F[_]](implicit F0: BindRec[F], F1: Monad[F]): BindRec[[β$3$]MaybeT[F, β$3$]]
- Definition Classes
- MaybeTInstances1
- implicit def maybeTDecidable[F[_]](implicit F0: Divisible[F]): Decidable[[β$6$]MaybeT[F, β$6$]]
- Definition Classes
- MaybeTInstances
- implicit def maybeTEqual[F[_], A](implicit F0: Equal[F[Maybe[A]]]): Equal[MaybeT[F, A]]
- Definition Classes
- MaybeTInstances
- implicit def maybeTFoldable[F[_]](implicit F0: Foldable[F]): Foldable[[β$2$]MaybeT[F, β$2$]]
- Definition Classes
- MaybeTInstances1
- implicit def maybeTFunctor[F[_]](implicit F0: Functor[F]): Functor[[β$0$]MaybeT[F, β$0$]]
- Definition Classes
- MaybeTInstances3
- implicit def maybeTMonadError[F[_], E](implicit F0: MonadError[F, E]): MonadError[[β$1$]MaybeT[F, β$1$], E]
- Definition Classes
- MaybeTInstances2
- implicit def maybeTMonadPlus[F[_]](implicit F0: Monad[F]): MonadPlus[[β$4$]MaybeT[F, β$4$]]
- Definition Classes
- MaybeTInstances0
- implicit val maybeTMonadTrans: Hoist[MaybeT]
- Definition Classes
- MaybeTInstances
- implicit def maybeTShow[F[_], A](implicit F0: Show[F[Maybe[A]]]): Show[MaybeT[F, A]]
- Definition Classes
- MaybeTInstances
- implicit def maybeTTraverse[F[_]](implicit F0: Traverse[F]): Traverse[[β$5$]MaybeT[F, β$5$]]
- Definition Classes
- MaybeTInstances
- def monadListen[F[_], W, A](implicit ML0: MonadListen[F, W]): MonadListen[[β$10$]MaybeT[F, β$10$], W]
- def monadTell[F[_], W, A](implicit MT0: MonadTell[F, W]): MonadTell[[β$9$]MaybeT[F, β$9$], W]