root/scalaz/OptionT

OptionT

object OptionT extends OptionTInstances
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 monadListen[F[_], W, A](implicit ML0: MonadListen[F, W]): MonadListen[[_] =>> OptionT[F, _$44], W]
def monadTell[F[_], W, A](implicit MT0: MonadTell[F, W]): MonadTell[[_] =>> OptionT[F, _$42], W]
def none[M[_], A](implicit M: Applicative[M]): OptionT[M, A]
def optionT[M[_]]: NaturalTransformation[[α] =>> M[Option[α]], [_] =>> OptionT[M, _$37]]
def some[M[_], A](v: => A)(implicit M: Applicative[M]): OptionT[M, A]

Implicits

Inherited implicits

implicit
def optionTAlt[F[_]](implicit F0: Monad[F]): Alt[[_] =>> OptionT[F, _$24]]
Inherited from
OptionTInstances1
implicit
def optionTBindRec[F[_]](implicit F0: Monad[F], B0: BindRec[F]): BindRec[[_] =>> OptionT[F, _$18]]
Inherited from
OptionTInstances2
implicit
def optionTDecidable[F[_]](implicit F0: Divisible[F]): Decidable[[_] =>> OptionT[F, _$35]]
Inherited from
OptionTInstances
implicit
def optionTEqual[F[_], A](implicit F0: Equal[F[Option[A]]]): Equal[OptionT[F, A]]
Inherited from
OptionTInstances
implicit
def optionTFoldable[F[_]](implicit F0: Foldable[F]): Foldable[[_] =>> OptionT[F, _$20]]
Inherited from
OptionTInstances1
implicit
def optionTFunctor[F[_]](implicit F0: Functor[F]): Functor[[_] =>> OptionT[F, _$16]]
Inherited from
OptionTInstances3
implicit
def optionTMonadError[F[_], E](implicit F0: MonadError[F, E]): MonadError[[_] =>> OptionT[F, _$22], E]
Inherited from
OptionTInstances1
implicit
def optionTMonadPlus[F[_]](implicit F0: Monad[F]): MonadPlus[[_] =>> OptionT[F, _$27]]
Inherited from
OptionTInstances0
implicit
val optionTMonadTrans: Hoist[[F[_], A] =>> OptionT[F, A]]
Inherited from
OptionTInstances
implicit
def optionTShow[F[_], A](implicit F0: Show[F[Option[A]]]): Show[OptionT[F, A]]
Inherited from
OptionTInstances
implicit
def optionTTraverse[F[_]](implicit F0: Traverse[F]): Traverse[[_] =>> OptionT[F, _$29]]
Inherited from
OptionTInstances