Packages

object OptionT extends OptionTInstances with Serializable

Linear Supertypes
Serializable, Serializable, OptionTInstances, OptionTInstances0, OptionTInstances1, OptionTInstances2, OptionTInstances3, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. OptionT
  2. Serializable
  3. Serializable
  4. OptionTInstances
  5. OptionTInstances0
  6. OptionTInstances1
  7. OptionTInstances2
  8. OptionTInstances3
  9. AnyRef
  10. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. implicit def catsDataContravariantMonoidalForOptionT[F[_]](implicit F0: ContravariantMonoidal[F]): ContravariantMonoidal[[β$6$]OptionT[F, β$6$]]
    Definition Classes
    OptionTInstances0
  6. implicit def catsDataEqForOptionT[F[_], A](implicit F0: Eq[F[Option[A]]]): Eq[OptionT[F, A]]
    Definition Classes
    OptionTInstances1
  7. implicit def catsDataFoldableForOptionT[F[_]](implicit F0: Foldable[F]): Foldable[[β$4$]OptionT[F, β$4$]]
    Definition Classes
    OptionTInstances
  8. implicit def catsDataFunctorForOptionT[F[_]](implicit F0: Functor[F]): Functor[[β$10$]OptionT[F, β$10$]]
    Definition Classes
    OptionTInstances3
  9. implicit def catsDataMonadErrorForOptionT[F[_], E](implicit F0: MonadError[F, E]): MonadError[[β$5$]OptionT[F, β$5$], E]
    Definition Classes
    OptionTInstances0
  10. implicit def catsDataMonadForOptionT[F[_]](implicit F0: Monad[F]): Monad[[β$3$]OptionT[F, β$3$]]
    Definition Classes
    OptionTInstances
  11. implicit def catsDataMonoidForOptionT[F[_], A](implicit F0: Monoid[F[Option[A]]]): Monoid[OptionT[F, A]]
    Definition Classes
    OptionTInstances0
  12. implicit def catsDataMonoidKForOptionT[F[_]](implicit F0: Monad[F]): MonoidK[[β$8$]OptionT[F, β$8$]]
    Definition Classes
    OptionTInstances1
  13. implicit def catsDataOrderForOptionT[F[_], A](implicit F0: Order[F[Option[A]]]): Order[OptionT[F, A]]
    Definition Classes
    OptionTInstances
  14. implicit def catsDataPartialOrderForOptionT[F[_], A](implicit F0: PartialOrder[F[Option[A]]]): PartialOrder[OptionT[F, A]]
    Definition Classes
    OptionTInstances0
  15. implicit def catsDataSemigroupForOptionT[F[_], A](implicit F0: Semigroup[F[Option[A]]]): Semigroup[OptionT[F, A]]
    Definition Classes
    OptionTInstances
  16. implicit def catsDataSemigroupKForOptionT[F[_]](implicit F0: Monad[F]): SemigroupK[[β$7$]OptionT[F, β$7$]]
    Definition Classes
    OptionTInstances0
  17. implicit def catsDataShowForOptionT[F[_], A](implicit F: Show[F[Option[A]]]): Show[OptionT[F, A]]
    Definition Classes
    OptionTInstances
  18. implicit def catsDataTraverseForOptionT[F[_]](implicit F0: Traverse[F]): Traverse[[β$9$]OptionT[F, β$9$]]
    Definition Classes
    OptionTInstances2
  19. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  20. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  21. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  22. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  23. 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.

    scala> import cats.implicits._
    scala> val o: Option[Int] = Some(2)
    scala> OptionT.fromOption[List](o)
    res0: OptionT[List, Int] = OptionT(List(Some(2)))
  24. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  25. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  26. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  27. def liftF[F[_], A](fa: F[A])(implicit F: Functor[F]): OptionT[F, A]

    Lifts the F[A] Functor into an OptionT[F, A].

  28. 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))
  29. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  30. def none[F[_], A](implicit F: Applicative[F]): OptionT[F, A]
  31. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  32. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  33. def pure[F[_]]: PurePartiallyApplied[F]

    Creates a OptionT[A] from an A

    Creates a OptionT[A] from an A

    scala> import cats.implicits._
    scala> OptionT.pure[List](2)
    res0: OptionT[List, Int] = OptionT(List(Some(2)))
  34. 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)))
  35. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  36. def toString(): String
    Definition Classes
    AnyRef → Any
  37. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  38. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  39. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )

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