OptionT

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[[β$14$]OptionT[F, β$14$]]

   

   Definition Classes

   OptionTInstances0

6. implicit def catsDataContravariantMonoidalForOptionT[F[_]](implicit F0: ContravariantMonoidal[F]): ContravariantMonoidal[[β$11$]OptionT[F, β$11$]]

   

   Definition Classes

   OptionTInstances0

7. implicit def catsDataDeferForOptionT[F[_]](implicit F: Defer[F]): Defer[[β$5$]OptionT[F, β$5$]]

   

   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[[β$17$]OptionT[F, β$17$]]

   

   Definition Classes

   OptionTInstances2

10. implicit def catsDataFunctorForOptionT[F[_]](implicit F0: Functor[F]): Functor[[β$19$]OptionT[F, β$19$]]

    

    Definition Classes

    OptionTInstances3

11. implicit def catsDataInvariantForOptionT[F[_]](implicit F0: Invariant[F]): Invariant[[β$18$]OptionT[F, β$18$]]

    

    Definition Classes

    OptionTInstances2

12. implicit def catsDataMonadErrorForOptionT[F[_], E](implicit F0: MonadError[F, E]): MonadError[[β$10$]OptionT[F, β$10$], E] { type Dummy }

    

    Definition Classes

    OptionTInstances0

13. implicit def catsDataMonadErrorMonadForOptionT[F[_]](implicit F0: Monad[F]): MonadError[[β$16$]OptionT[F, β$16$], Unit]

    

    Definition Classes

    OptionTInstances1

14. def catsDataMonadForOptionT[F[_]](implicit F0: Monad[F]): Monad[[β$3$]OptionT[F, β$3$]]

    

    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[[β$12$]OptionT[F, β$12$]]

    

    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 catsDataPartialOrderForOptionT[F[_], A](implicit F0: PartialOrder[F[Option[A]]]): PartialOrder[OptionT[F, A]]

    

    Definition Classes

    OptionTInstances0

19. implicit def catsDataSemigroupForOptionT[F[_], A](implicit F0: Semigroup[F[Option[A]]]): Semigroup[OptionT[F, A]]

    

    Definition Classes

    OptionTInstances0

20. implicit def catsDataSemigroupKForOptionT[F[_]](implicit F0: Monad[F]): SemigroupK[[β$15$]OptionT[F, β$15$]]

    

    Definition Classes

    OptionTInstances1

21. implicit def catsDataShowForOptionT[F[_], A](implicit F: Show[F[Option[A]]]): Show[OptionT[F, A]]

    

    Definition Classes

    OptionTInstances

22. implicit def catsDataTraverseForOptionT[F[_]](implicit F0: Traverse[F]): Traverse[[β$4$]OptionT[F, β$4$]]

    

    Definition Classes

    OptionTInstances

23. implicit def catsDateFunctorFilterForOptionT[F[_]](implicit F0: Functor[F]): FunctorFilter[[β$13$]OptionT[F, β$13$]]

    

    Definition Classes

    OptionTInstances0

24. implicit def catsDateTraverseFilterForOptionT[F[_]](implicit F0: Traverse[F]): TraverseFilter[[β$7$]OptionT[F, β$7$]]

    

    Definition Classes

    OptionTInstances

25. def clone(): AnyRef

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

26. final def eq(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

27. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

28. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

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

31. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

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

38. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

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. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

44. final def wait(arg0: Long, arg1: Int): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

45. final def wait(arg0: Long): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )