scalaz-core/scalaz/MaybeT

MaybeT

final case
class MaybeT[F[_], A](run: F[Maybe[A]])

monad transformer for Maybe

Companion
object
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
MaybeT[F, A]

Value members

Concrete methods

def ap[B](f: => MaybeT[F, A => B])(implicit F: Monad[F]): MaybeT[F, B]
def app[B](f: => MaybeT[F, A => B])(implicit F: Apply[F]): MaybeT[F, B]

Apply a function in the environment of both maybes, containing both Fs. It is not compatible with Monad#bind.

Apply a function in the environment of both maybes, containing both Fs. It is not compatible with Monad#bind.

def cata[X](just: A => X, empty: => X)(implicit F: Functor[F]): F[X]
def exists(f: A => Boolean)(implicit F: Functor[F]): F[Boolean]
def filter(f: A => Boolean)(implicit F: Functor[F]): MaybeT[F, A]
def flatMap[B](f: A => MaybeT[F, B])(implicit F: Monad[F]): MaybeT[F, B]
def flatMapF[B](f: A => F[Maybe[B]])(implicit F: Monad[F]): MaybeT[F, B]
def foldRight[Z](z: => Z)(f: (A, => Z) => Z)(implicit F: Foldable[F]): Z
def forall(f: A => Boolean)(implicit F: Functor[F]): F[Boolean]
def getOrElse(default: => A)(implicit F: Functor[F]): F[A]
def getOrElseF(default: => F[A])(implicit F: Monad[F]): F[A]
def isDefined(implicit F: Functor[F]): F[Boolean]
def isEmpty(implicit F: Functor[F]): F[Boolean]
def isJust(implicit F: Functor[F]): F[Boolean]
def map[B](f: A => B)(implicit F: Functor[F]): MaybeT[F, B]
def mapF[B](f: A => F[B])(implicit F: Monad[F]): MaybeT[F, B]
def mapT[G[_], B](f: F[Maybe[A]] => G[Maybe[B]]): MaybeT[G, B]
def orElse(a: => MaybeT[F, A])(implicit F: Monad[F]): MaybeT[F, A]
def orZero(implicit F0: Functor[F], M0: Monoid[A]): F[A]
def toLeft[B](b: => B)(implicit F: Functor[F]): EitherT[A, F, B]
def toRight[E](e: => E)(implicit F: Functor[F]): EitherT[E, F, A]
def traverse[G[_], B](f: A => G[B])(implicit F: Traverse[F], G: Applicative[G]): G[MaybeT[F, B]]
def unary_~(implicit F0: Functor[F], M0: Monoid[A]): F[A]
def |(default: => A)(implicit F: Functor[F]): F[A]

Alias for getOrElse.

Alias for getOrElse.

def |||(a: => MaybeT[F, A])(implicit F: Monad[F]): MaybeT[F, A]

Inherited methods

def productElementNames: Iterator[String]
Inherited from
Product
def productIterator: Iterator[Any]
Inherited from
Product