scalaz-core/scalaz/MaybeT

MaybeT

object MaybeT extends MaybeTInstances
Companion
class
trait Product
trait Mirror
class Object
trait Matchable
class Any

Type members

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from
Mirror

Value members

Concrete methods

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[_]]: NaturalTransformation[[α] =>> M[Maybe[α]], [_] =>> MaybeT[M, _$41]]
def monadListen[F[_], W, A](implicit ML0: MonadListen[F, W]): MonadListen[[_] =>> MaybeT[F, _$48], W]
def monadTell[F[_], W, A](implicit MT0: MonadTell[F, W]): MonadTell[[_] =>> MaybeT[F, _$46], W]

Implicits

Inherited implicits

implicit
def maybeTBindRec[F[_]](implicit F0: BindRec[F], F1: Monad[F]): BindRec[[_] =>> MaybeT[F, _$29]]
Inherited from
MaybeTInstances1
implicit
def maybeTDecidable[F[_]](implicit F0: Divisible[F]): Decidable[[_] =>> MaybeT[F, _$39]]
Inherited from
MaybeTInstances
implicit
def maybeTEqual[F[_], A](implicit F0: Equal[F[Maybe[A]]]): Equal[MaybeT[F, A]]
Inherited from
MaybeTInstances
implicit
def maybeTFoldable[F[_]](implicit F0: Foldable[F]): Foldable[[_] =>> MaybeT[F, _$27]]
Inherited from
MaybeTInstances1
implicit
def maybeTFunctor[F[_]](implicit F0: Functor[F]): Functor[[_] =>> MaybeT[F, _$23]]
Inherited from
MaybeTInstances3
implicit
def maybeTMonadError[F[_], E](implicit F0: MonadError[F, E]): MonadError[[_] =>> MaybeT[F, _$25], E]
Inherited from
MaybeTInstances2
implicit
def maybeTMonadPlus[F[_]](implicit F0: Monad[F]): MonadPlus[[_] =>> MaybeT[F, _$31]]
Inherited from
MaybeTInstances0
implicit
val maybeTMonadTrans: Hoist[[F[_], A] =>> MaybeT[F, A]]
Inherited from
MaybeTInstances
implicit
def maybeTShow[F[_], A](implicit F0: Show[F[Maybe[A]]]): Show[MaybeT[F, A]]
Inherited from
MaybeTInstances
implicit
def maybeTTraverse[F[_]](implicit F0: Traverse[F]): Traverse[[_] =>> MaybeT[F, _$33]]
Inherited from
MaybeTInstances