scalaz-core/scalaz/OptionTInstances

OptionTInstances

sealed abstract
class OptionTInstances extends OptionTInstances0
class Object
trait Matchable
class Any
object OptionT

Implicits

Implicits

implicit
def optionTDecidable[F[_]](implicit F0: Divisible[F]): Decidable[[_] =>> OptionT[F, _$35]]
implicit
def optionTEqual[F[_], A](implicit F0: Equal[F[Option[A]]]): Equal[OptionT[F, A]]
implicit
val optionTMonadTrans: Hoist[[F[_], A] =>> OptionT[F, A]]
implicit
def optionTShow[F[_], A](implicit F0: Show[F[Option[A]]]): Show[OptionT[F, A]]
implicit
def optionTTraverse[F[_]](implicit F0: Traverse[F]): Traverse[[_] =>> OptionT[F, _$29]]

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 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