object OptionT extends OptionTInstances with Serializable
- Source
- OptionT.scala
- Alphabetic
- By Inheritance
- OptionT
- Serializable
- OptionTInstances
- OptionTInstances0
- OptionTInstances1
- OptionTInstances2
- OptionTInstances3
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
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 catsDataContravariantForOptionT[F[_]](implicit F0: Contravariant[F]): Contravariant[[β$31$]OptionT[F, β$31$]]
- Definition Classes
- OptionTInstances0
- implicit def catsDataContravariantMonoidalForOptionT[F[_]](implicit F0: ContravariantMonoidal[F]): ContravariantMonoidal[[β$28$]OptionT[F, β$28$]]
- Definition Classes
- OptionTInstances0
- implicit def catsDataDeferForOptionT[F[_]](implicit F: Defer[F]): Defer[[β$8$]OptionT[F, β$8$]]
- Definition Classes
- OptionTInstances
- 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[[β$34$]OptionT[F, β$34$]]
- Definition Classes
- OptionTInstances2
- implicit def catsDataFunctorForOptionT[F[_]](implicit F0: Functor[F]): Functor[[β$36$]OptionT[F, β$36$]]
- Definition Classes
- OptionTInstances3
- implicit def catsDataInvariantForOptionT[F[_]](implicit F0: Invariant[F]): Invariant[[β$35$]OptionT[F, β$35$]]
- Definition Classes
- OptionTInstances2
- implicit def catsDataMonadErrorForOptionT[F[_], E](implicit F0: MonadError[F, E]): MonadError[[β$27$]OptionT[F, β$27$], E] { type Dummy }
- Definition Classes
- OptionTInstances0
- implicit def catsDataMonadErrorMonadForOptionT[F[_]](implicit F0: Monad[F]): MonadError[[β$33$]OptionT[F, β$33$], Unit]
- Definition Classes
- OptionTInstances1
- def catsDataMonadForOptionT[F[_]](implicit F0: Monad[F]): Monad[[β$6$]OptionT[F, β$6$]]
- Definition Classes
- OptionTInstances
- implicit def catsDataMonoidForOptionT[F[_], A](implicit F0: Monoid[F[Option[A]]]): Monoid[OptionT[F, A]]
- Definition Classes
- OptionTInstances
- implicit def catsDataMonoidKForOptionT[F[_]](implicit F0: Monad[F]): MonoidK[[β$29$]OptionT[F, β$29$]]
- Definition Classes
- OptionTInstances0
- implicit def catsDataOrderForOptionT[F[_], A](implicit F0: Order[F[Option[A]]]): Order[OptionT[F, A]]
- Definition Classes
- OptionTInstances
- implicit def catsDataParallelForOptionT[M[_]](implicit P: Parallel[M]): Aux[[β$14$]OptionT[M, β$14$], [γ$15$]Nested[Parallel.F, Option, γ$15$]]
- 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
- OptionTInstances0
- implicit def catsDataSemigroupKForOptionT[F[_]](implicit F0: Monad[F]): SemigroupK[[β$32$]OptionT[F, β$32$]]
- Definition Classes
- OptionTInstances1
- implicit def catsDataShowForOptionT[F[_], A](implicit F: Show[F[Option[A]]]): Show[OptionT[F, A]]
- Definition Classes
- OptionTInstances
- implicit def catsDataTraverseFilterForOptionT[F[_]](implicit F0: Traverse[F]): TraverseFilter[[β$10$]OptionT[F, β$10$]]
- Definition Classes
- OptionTInstances
- implicit def catsDataTraverseForOptionT[F[_]](implicit F0: Traverse[F]): Traverse[[β$7$]OptionT[F, β$7$]]
- Definition Classes
- OptionTInstances
- implicit def catsDateFunctorFilterForOptionT[F[_]](implicit F0: Functor[F]): FunctorFilter[[β$30$]OptionT[F, β$30$]]
- Definition Classes
- OptionTInstances0
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- def fromOption[F[_]]: FromOptionPartiallyApplied[F]
Transforms an
Option
into anOptionT
, lifted into the specifiedApplicative
.Transforms an
Option
into anOptionT
, lifted into the specifiedApplicative
.scala> import cats.implicits._ scala> val o: Option[Int] = Some(2) scala> OptionT.fromOption[List](o) res0: OptionT[List, Int] = OptionT(List(Some(2)))
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- 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 anOptionT[F, A]
. - def liftK[F[_]](implicit F: Functor[F]): ~>[F, [β$0$]OptionT[F, β$0$]]
Same as liftF, but expressed as a FunctionK for use with mapK
Same as liftF, but expressed as a FunctionK for use with mapK
scala> import cats._, data._, implicits._ scala> val a: EitherT[Eval, String, Int] = 1.pure[EitherT[Eval, String, *]] scala> val b: EitherT[OptionT[Eval, *], String, Int] = a.mapK(OptionT.liftK) scala> b.value.value.value res0: Option[Either[String,Int]] = Some(Right(1))
- 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
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- def pure[F[_]]: PurePartiallyApplied[F]
Creates a
OptionT[A]
from anA
Creates a
OptionT[A]
from anA
scala> import cats.implicits._ scala> OptionT.pure[List](2) res0: OptionT[List, Int] = OptionT(List(Some(2)))
- def some[F[_]]: PurePartiallyApplied[F]
An alias for pure
An alias for pure
scala> import cats.implicits._ scala> OptionT.some[List](2) res0: OptionT[List, Int] = OptionT(List(Some(2)))
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- def unless[F[_], A](cond: Boolean)(a: => A)(implicit F: Applicative[F]): OptionT[F, A]
Creates a non-empty
OptionT[F, A]
from anA
if the given condition isfalse
.Creates a non-empty
OptionT[F, A]
from anA
if the given condition isfalse
. Otherwise,none[F, A]
is returned. Analogous toOption.unless
. - def unlessF[F[_], A](cond: Boolean)(fa: => F[A])(implicit F: Applicative[F]): OptionT[F, A]
Creates an non-empty
OptionT[F, A]
from anF[A]
if the given condition isfalse
.Creates an non-empty
OptionT[F, A]
from anF[A]
if the given condition isfalse
. Otherwise,none[F, A]
is returned. Analogous toOption.unless
. - def unlessK[F[_]](cond: Boolean)(implicit F: Applicative[F]): ~>[F, [β$4$]OptionT[F, β$4$]]
Same as
unlessF
, but expressed as a FunctionK for use with mapK. - final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- def when[F[_], A](cond: Boolean)(a: => A)(implicit F: Applicative[F]): OptionT[F, A]
Creates a non-empty
OptionT[F, A]
from anA
value if the given condition istrue
.Creates a non-empty
OptionT[F, A]
from anA
value if the given condition istrue
. Otherwise,none[F, A]
is returned. Analogous toOption.when
. - def whenF[F[_], A](cond: Boolean)(fa: => F[A])(implicit F: Applicative[F]): OptionT[F, A]
Creates a non-empty
OptionT[F, A]
from anF[A]
value if the given condition istrue
.Creates a non-empty
OptionT[F, A]
from anF[A]
value if the given condition istrue
. Otherwise,none[F, A]
is returned. Analogous toOption.when
. - def whenK[F[_]](cond: Boolean)(implicit F: Applicative[F]): ~>[F, [β$2$]OptionT[F, β$2$]]
Same as
whenF
, but expressed as a FunctionK for use with mapK.
Deprecated Value Members
- def catsDateTraverseFilterForOptionT[F[_]](implicit F0: Traverse[F]): TraverseFilter[[β$13$]OptionT[F, β$13$]]
- Definition Classes
- OptionTInstances
- Annotations
- @deprecated
- Deprecated
(Since version 2.0.0) renamed to catsDataTraverseFilterForOptionT