object OptionT extends OptionTInstances with Serializable
- Source
- OptionT.scala
- Alphabetic
- By Inheritance
- OptionT
- Serializable
- Serializable
- OptionTInstances
- OptionTInstances0
- OptionTInstances1
- OptionTInstances2
- OptionTInstances3
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
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( ... ) @native() @IntrinsicCandidate()
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
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[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
-
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() @IntrinsicCandidate()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
-
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(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
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
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] ) @Deprecated
- Deprecated