object OptionT extends OptionTInstances with Serializable
- Source
- OptionT.scala
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- OptionT
- Serializable
- OptionTInstances
- OptionTInstances0
- OptionTInstances1
- OptionTInstances2
- OptionTInstances3
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Value Members
- def monadListen[F[_], W, A](implicit ML0: MonadListen[F, W]): MonadListen[[β$10$]OptionT[F, β$10$], W]
- def monadTell[F[_], W, A](implicit MT0: MonadTell[F, W]): MonadTell[[β$9$]OptionT[F, β$9$], W]
- def none[M[_], A](implicit M: Applicative[M]): OptionT[M, A]
- def optionT[M[_]]: ~>[[α]M[Option[α]], [β$6$]OptionT[M, β$6$]]
- implicit def optionTBindRec[F[_]](implicit F0: Monad[F], B0: BindRec[F]): BindRec[[β$1$]OptionT[F, β$1$]]
- Definition Classes
- OptionTInstances2
- implicit def optionTEqual[F[_], A](implicit F0: Equal[F[Option[A]]]): Equal[OptionT[F, A]]
- Definition Classes
- OptionTInstances
- implicit def optionTFoldable[F[_]](implicit F0: Foldable[F]): Foldable[[β$2$]OptionT[F, β$2$]]
- Definition Classes
- OptionTInstances1
- implicit def optionTFunctor[F[_]](implicit F0: Functor[F]): Functor[[β$0$]OptionT[F, β$0$]]
- Definition Classes
- OptionTInstances3
- implicit def optionTMonadError[F[_], E](implicit F0: MonadError[F, E]): MonadError[[β$3$]OptionT[F, β$3$], E]
- Definition Classes
- OptionTInstances1
- implicit def optionTMonadPlus[F[_]](implicit F0: Monad[F]): MonadPlus[[β$4$]OptionT[F, β$4$]]
- Definition Classes
- OptionTInstances0
- implicit val optionTMonadTrans: Hoist[OptionT]
- Definition Classes
- OptionTInstances
- implicit def optionTShow[F[_], A](implicit F0: Show[F[Option[A]]]): Show[OptionT[F, A]]
- Definition Classes
- OptionTInstances
- implicit def optionTTraverse[F[_]](implicit F0: Traverse[F]): Traverse[[β$5$]OptionT[F, β$5$]]
- Definition Classes
- OptionTInstances
- def some[M[_], A](v: => A)(implicit M: Applicative[M]): OptionT[M, A]