object OptionT extends OptionTInstances with Serializable
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- OptionT
- Serializable
- Serializable
- OptionTInstances
- OptionTInstances0
- OptionTInstances1
- OptionTInstances2
- OptionTInstances3
- AnyRef
- Any
- Hide All
- Show All
Visibility
- 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[[β$14$]OptionT[F, β$14$]]
- Definition Classes
- OptionTInstances0
-
implicit
def
catsDataContravariantMonoidalForOptionT[F[_]](implicit F0: ContravariantMonoidal[F]): ContravariantMonoidal[[β$11$]OptionT[F, β$11$]]
- Definition Classes
- OptionTInstances0
-
implicit
def
catsDataDeferForOptionT[F[_]](implicit F: Defer[F]): Defer[[β$5$]OptionT[F, β$5$]]
- 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[[β$17$]OptionT[F, β$17$]]
- Definition Classes
- OptionTInstances2
-
implicit
def
catsDataFunctorForOptionT[F[_]](implicit F0: Functor[F]): Functor[[β$19$]OptionT[F, β$19$]]
- Definition Classes
- OptionTInstances3
-
implicit
def
catsDataInvariantForOptionT[F[_]](implicit F0: Invariant[F]): Invariant[[β$18$]OptionT[F, β$18$]]
- Definition Classes
- OptionTInstances2
-
implicit
def
catsDataMonadErrorForOptionT[F[_], E](implicit F0: MonadError[F, E]): MonadError[[β$10$]OptionT[F, β$10$], E] { type Dummy }
- Definition Classes
- OptionTInstances0
-
implicit
def
catsDataMonadErrorMonadForOptionT[F[_]](implicit F0: Monad[F]): MonadError[[β$16$]OptionT[F, β$16$], Unit]
- Definition Classes
- OptionTInstances1
-
def
catsDataMonadForOptionT[F[_]](implicit F0: Monad[F]): Monad[[β$3$]OptionT[F, β$3$]]
- 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[[β$12$]OptionT[F, β$12$]]
- Definition Classes
- OptionTInstances0
-
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
- OptionTInstances0
-
implicit
def
catsDataSemigroupKForOptionT[F[_]](implicit F0: Monad[F]): SemigroupK[[β$15$]OptionT[F, β$15$]]
- Definition Classes
- OptionTInstances1
-
implicit
def
catsDataShowForOptionT[F[_], A](implicit F: Show[F[Option[A]]]): Show[OptionT[F, A]]
- Definition Classes
- OptionTInstances
-
implicit
def
catsDataTraverseForOptionT[F[_]](implicit F0: Traverse[F]): Traverse[[β$4$]OptionT[F, β$4$]]
- Definition Classes
- OptionTInstances
-
implicit
def
catsDateFunctorFilterForOptionT[F[_]](implicit F0: Functor[F]): FunctorFilter[[β$13$]OptionT[F, β$13$]]
- Definition Classes
- OptionTInstances0
-
implicit
def
catsDateTraverseFilterForOptionT[F[_]](implicit F0: Traverse[F]): TraverseFilter[[β$7$]OptionT[F, β$7$]]
- Definition Classes
- OptionTInstances
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @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 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()
-
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
-
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
- @native() @throws( ... )