Packages

object OptionT extends OptionTInstances with Serializable

Source
OptionT.scala
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 catsDataContravariantForOptionT[F[_]](implicit F0: Contravariant[F]): Contravariant[[β$31$]OptionT[F, β$31$]]
    Definition Classes
    OptionTInstances0
  6. implicit def catsDataContravariantMonoidalForOptionT[F[_]](implicit F0: ContravariantMonoidal[F]): ContravariantMonoidal[[β$28$]OptionT[F, β$28$]]
    Definition Classes
    OptionTInstances0
  7. implicit def catsDataDeferForOptionT[F[_]](implicit F: Defer[F]): Defer[[β$8$]OptionT[F, β$8$]]
    Definition Classes
    OptionTInstances
  8. implicit def catsDataEqForOptionT[F[_], A](implicit F0: Eq[F[Option[A]]]): Eq[OptionT[F, A]]
    Definition Classes
    OptionTInstances1
  9. implicit def catsDataFoldableForOptionT[F[_]](implicit F0: Foldable[F]): Foldable[[β$34$]OptionT[F, β$34$]]
    Definition Classes
    OptionTInstances2
  10. implicit def catsDataFunctorForOptionT[F[_]](implicit F0: Functor[F]): Functor[[β$36$]OptionT[F, β$36$]]
    Definition Classes
    OptionTInstances3
  11. implicit def catsDataInvariantForOptionT[F[_]](implicit F0: Invariant[F]): Invariant[[β$35$]OptionT[F, β$35$]]
    Definition Classes
    OptionTInstances2
  12. implicit def catsDataMonadErrorForOptionT[F[_], E](implicit F0: MonadError[F, E]): MonadError[[β$27$]OptionT[F, β$27$], E] { type Dummy }
    Definition Classes
    OptionTInstances0
  13. implicit def catsDataMonadErrorMonadForOptionT[F[_]](implicit F0: Monad[F]): MonadError[[β$33$]OptionT[F, β$33$], Unit]
    Definition Classes
    OptionTInstances1
  14. def catsDataMonadForOptionT[F[_]](implicit F0: Monad[F]): Monad[[β$6$]OptionT[F, β$6$]]
    Definition Classes
    OptionTInstances
  15. implicit def catsDataMonoidForOptionT[F[_], A](implicit F0: Monoid[F[Option[A]]]): Monoid[OptionT[F, A]]
    Definition Classes
    OptionTInstances
  16. implicit def catsDataMonoidKForOptionT[F[_]](implicit F0: Monad[F]): MonoidK[[β$29$]OptionT[F, β$29$]]
    Definition Classes
    OptionTInstances0
  17. implicit def catsDataOrderForOptionT[F[_], A](implicit F0: Order[F[Option[A]]]): Order[OptionT[F, A]]
    Definition Classes
    OptionTInstances
  18. implicit def catsDataParallelForOptionT[M[_]](implicit P: Parallel[M]): Aux[[β$14$]OptionT[M, β$14$], [γ$15$]Nested[Parallel.F, Option, γ$15$]]
    Definition Classes
    OptionTInstances
  19. implicit def catsDataPartialOrderForOptionT[F[_], A](implicit F0: PartialOrder[F[Option[A]]]): PartialOrder[OptionT[F, A]]
    Definition Classes
    OptionTInstances0
  20. implicit def catsDataSemigroupForOptionT[F[_], A](implicit F0: Semigroup[F[Option[A]]]): Semigroup[OptionT[F, A]]
    Definition Classes
    OptionTInstances0
  21. implicit def catsDataSemigroupKForOptionT[F[_]](implicit F0: Monad[F]): SemigroupK[[β$32$]OptionT[F, β$32$]]
    Definition Classes
    OptionTInstances1
  22. implicit def catsDataShowForOptionT[F[_], A](implicit F: Show[F[Option[A]]]): Show[OptionT[F, A]]
    Definition Classes
    OptionTInstances
  23. implicit def catsDataTraverseFilterForOptionT[F[_]](implicit F0: Traverse[F]): TraverseFilter[[β$10$]OptionT[F, β$10$]]
    Definition Classes
    OptionTInstances
  24. implicit def catsDataTraverseForOptionT[F[_]](implicit F0: Traverse[F]): Traverse[[β$7$]OptionT[F, β$7$]]
    Definition Classes
    OptionTInstances
  25. implicit def catsDateFunctorFilterForOptionT[F[_]](implicit F0: Functor[F]): FunctorFilter[[β$30$]OptionT[F, β$30$]]
    Definition Classes
    OptionTInstances0
  26. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native() @IntrinsicCandidate()
  27. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  28. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  29. 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)))
  30. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  31. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  32. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  33. def liftF[F[_], A](fa: F[A])(implicit F: Functor[F]): OptionT[F, A]

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

  34. 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))
  35. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  36. def none[F[_], A](implicit F: Applicative[F]): OptionT[F, A]
  37. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  38. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  39. 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)))
  40. 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)))
  41. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  42. def toString(): String
    Definition Classes
    AnyRef → Any
  43. def unless[F[_], A](cond: Boolean)(a: ⇒ A)(implicit F: Applicative[F]): OptionT[F, A]

    Creates a non-empty OptionT[F, A] from an A if the given condition is false.

    Creates a non-empty OptionT[F, A] from an A if the given condition is false. Otherwise, none[F, A] is returned. Analogous to Option.unless.

  44. def unlessF[F[_], A](cond: Boolean)(fa: ⇒ F[A])(implicit F: Applicative[F]): OptionT[F, A]

    Creates an non-empty OptionT[F, A] from an F[A] if the given condition is false.

    Creates an non-empty OptionT[F, A] from an F[A] if the given condition is false. Otherwise, none[F, A] is returned. Analogous to Option.unless.

  45. 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.

  46. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  47. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  48. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  49. def when[F[_], A](cond: Boolean)(a: ⇒ A)(implicit F: Applicative[F]): OptionT[F, A]

    Creates a non-empty OptionT[F, A] from an A value if the given condition is true.

    Creates a non-empty OptionT[F, A] from an A value if the given condition is true. Otherwise, none[F, A] is returned. Analogous to Option.when.

  50. def whenF[F[_], A](cond: Boolean)(fa: ⇒ F[A])(implicit F: Applicative[F]): OptionT[F, A]

    Creates a non-empty OptionT[F, A] from an F[A] value if the given condition is true.

    Creates a non-empty OptionT[F, A] from an F[A] value if the given condition is true. Otherwise, none[F, A] is returned. Analogous to Option.when.

  51. 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

  1. 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

  2. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] ) @Deprecated
    Deprecated

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