root/scalaz/OptionT

OptionT

final case
class OptionT[F[_], A](run: F[Option[A]])

OptionT monad transformer.

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

Value members

Concrete methods

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

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

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

def exists(f: A => Boolean)(implicit F: Functor[F]): F[Boolean]
def filter(f: A => Boolean)(implicit F: Functor[F]): OptionT[F, A]
def flatMap[B](f: A => OptionT[F, B])(implicit F: Monad[F]): OptionT[F, B]
def flatMapF[B](f: A => F[Option[B]])(implicit F: Monad[F]): OptionT[F, B]
def fold[X](some: A => X, none: => X)(implicit F: Functor[F]): F[X]
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 map[B](f: A => B)(implicit F: Functor[F]): OptionT[F, B]
def mapF[B](f: A => F[B])(implicit F: Monad[F]): OptionT[F, B]
def mapT[G[_], B](f: F[Option[A]] => G[Option[B]]): OptionT[G, B]
def orElse(a: => OptionT[F, A])(implicit F: Monad[F]): OptionT[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]
Since

7.0.3

def toListT(implicit F: Functor[F]): ListT[F, A]
def toRight[E](e: => E)(implicit F: Functor[F]): EitherT[E, F, A]
Since

7.0.3

def traverse[G[_], B](f: A => G[B])(implicit F: Traverse[F], G: Applicative[G]): G[OptionT[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: => OptionT[F, A])(implicit F: Monad[F]): OptionT[F, A]

Inherited methods

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