OptionT

Type Members

final class FromOptionPartiallyApplied[F[_]] extends AnyRef

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
implicit def catsDataEqForOptionT[F[_], A](implicit F0: Eq[F[Option[A]]]): Eq[OptionT[F, A]]

Definition Classes
OptionTInstances1
implicit def catsDataFoldableForOptionT[F[_]](implicit F0: Foldable[F]): Foldable[[β$1$]OptionT[F, β$1$]]

Definition Classes
OptionTInstances
implicit def catsDataFunctorFilterForOptionT[F[_]](implicit F0: Functor[F]): FunctorFilter[[β$6$]OptionT[F, β$6$]]

Definition Classes
OptionTInstances3
implicit def catsDataMonadErrorForOptionT[F[_], E](implicit F0: MonadError[F, E]): MonadError[[β$2$]OptionT[F, β$2$], E]

Definition Classes
OptionTInstances0
implicit def catsDataMonadForOptionT[F[_]](implicit F0: Monad[F]): Monad[[β$0$]OptionT[F, β$0$]]

Definition Classes
OptionTInstances
implicit def catsDataMonoidForOptionT[F[_], A](implicit F0: Monoid[F[Option[A]]]): Monoid[OptionT[F, A]]

Definition Classes
OptionTInstances0
implicit def catsDataMonoidKForOptionT[F[_]](implicit F0: Monad[F]): MonoidK[[β$4$]OptionT[F, β$4$]]

Definition Classes
OptionTInstances1
implicit def catsDataOrderForOptionT[F[_], A](implicit F0: Order[F[Option[A]]]): Order[OptionT[F, A]]

Definition Classes
OptionTInstances
implicit def catsDataPartialOrderForOptionT[F[_], A](implicit F0: PartialOrder[F[Option[A]]]): PartialOrder[OptionT[F, A]]

Definition Classes
OptionTInstances0
implicit def catsDataSemigroupForOptionT[F[_], A](implicit F0: Semigroup[F[Option[A]]]): Semigroup[OptionT[F, A]]

Definition Classes
OptionTInstances
implicit def catsDataSemigroupKForOptionT[F[_]](implicit F0: Monad[F]): SemigroupK[[β$3$]OptionT[F, β$3$]]

Definition Classes
OptionTInstances0
implicit def catsDataShowForOptionT[F[_], A](implicit F: Show[F[Option[A]]]): Show[OptionT[F, A]]

Definition Classes
OptionTInstances
implicit def catsDataTransLiftForOptionT: Aux[OptionT, Functor]

Definition Classes
OptionTInstances1
implicit def catsDataTraverseForOptionT[F[_]](implicit F0: Traverse[F]): TraverseFilter[[β$5$]OptionT[F, β$5$]]

Definition Classes
OptionTInstances2
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
def fromOption[F[_]]: FromOptionPartiallyApplied[F]

Transforms an Option into an OptionT, lifted into the specified Applicative.
Transforms an Option into an OptionT, lifted into the specified Applicative.
Note: The return type is a FromOptionPartiallyApplied[F], which has an apply method on it, allowing you to call fromOption like this:
```
scala> import cats.implicits._
scala> val o: Option[Int] = Some(2)
scala> OptionT.fromOption[List](o)
res0: OptionT[List, Int] = OptionT(List(Some(2)))
```
The reason for the indirection is to emulate currying type parameters.
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def liftF[F[_], A](fa: F[A])(implicit F: Functor[F]): OptionT[F, A]

Lifts the F[A] Functor into an OptionT[F, A].
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def none[F[_], A](implicit F: Applicative[F]): OptionT[F, A]
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def pure[F[_], A](a: A)(implicit F: Applicative[F]): OptionT[F, A]
def some[F[_], A](a: A)(implicit F: Applicative[F]): OptionT[F, A]

An alias for pure
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Docs: class OptionT | package data

object OptionT extends OptionTInstances with Serializable

Type Members

final class FromOptionPartiallyApplied[F[_]] extends AnyRef

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

implicit def catsDataEqForOptionT[F[_], A](implicit F0: Eq[F[Option[A]]]): Eq[OptionT[F, A]]

implicit def catsDataFoldableForOptionT[F[_]](implicit F0: Foldable[F]): Foldable[[β$1$]OptionT[F, β$1$]]

implicit def catsDataFunctorFilterForOptionT[F[_]](implicit F0: Functor[F]): FunctorFilter[[β$6$]OptionT[F, β$6$]]

implicit def catsDataMonadErrorForOptionT[F[_], E](implicit F0: MonadError[F, E]): MonadError[[β$2$]OptionT[F, β$2$], E]

implicit def catsDataMonadForOptionT[F[_]](implicit F0: Monad[F]): Monad[[β$0$]OptionT[F, β$0$]]

implicit def catsDataMonoidForOptionT[F[_], A](implicit F0: Monoid[F[Option[A]]]): Monoid[OptionT[F, A]]

implicit def catsDataMonoidKForOptionT[F[_]](implicit F0: Monad[F]): MonoidK[[β$4$]OptionT[F, β$4$]]

implicit def catsDataOrderForOptionT[F[_], A](implicit F0: Order[F[Option[A]]]): Order[OptionT[F, A]]

implicit def catsDataPartialOrderForOptionT[F[_], A](implicit F0: PartialOrder[F[Option[A]]]): PartialOrder[OptionT[F, A]]

implicit def catsDataSemigroupForOptionT[F[_], A](implicit F0: Semigroup[F[Option[A]]]): Semigroup[OptionT[F, A]]

implicit def catsDataSemigroupKForOptionT[F[_]](implicit F0: Monad[F]): SemigroupK[[β$3$]OptionT[F, β$3$]]

implicit def catsDataShowForOptionT[F[_], A](implicit F: Show[F[Option[A]]]): Show[OptionT[F, A]]

implicit def catsDataTransLiftForOptionT: Aux[OptionT, Functor]

implicit def catsDataTraverseForOptionT[F[_]](implicit F0: Traverse[F]): TraverseFilter[[β$5$]OptionT[F, β$5$]]

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

def fromOption[F[_]]: FromOptionPartiallyApplied[F]

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

def liftF[F[_], A](fa: F[A])(implicit F: Functor[F]): OptionT[F, A]

final def ne(arg0: AnyRef): Boolean

def none[F[_], A](implicit F: Applicative[F]): OptionT[F, A]

final def notify(): Unit

final def notifyAll(): Unit

def pure[F[_], A](a: A)(implicit F: Applicative[F]): OptionT[F, A]

def some[F[_], A](a: A)(implicit F: Applicative[F]): OptionT[F, A]

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from Serializable

Inherited from Serializable

Inherited from OptionTInstances

Inherited from OptionTInstances0

Inherited from OptionTInstances1

Inherited from OptionTInstances2

Inherited from OptionTInstances3

Inherited from AnyRef

Inherited from Any

Ungrouped