Object/Class

cats.data

Kleisli

Related Docs: class Kleisli | package data

Permalink

object Kleisli extends KleisliInstances with KleisliFunctions with KleisliExplicitInstances with Serializable

Linear Supertypes
Serializable, Serializable, KleisliExplicitInstances, KleisliFunctions, KleisliInstances, KleisliInstances0, KleisliInstances0_5, KleisliInstances1, KleisliInstances2, KleisliInstances3, KleisliInstances4, KleisliInstances5, KleisliInstances6, KleisliInstances7, KleisliInstances8, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Kleisli
  2. Serializable
  3. Serializable
  4. KleisliExplicitInstances
  5. KleisliFunctions
  6. KleisliInstances
  7. KleisliInstances0
  8. KleisliInstances0_5
  9. KleisliInstances1
  10. KleisliInstances2
  11. KleisliInstances3
  12. KleisliInstances4
  13. KleisliInstances5
  14. KleisliInstances6
  15. KleisliInstances7
  16. KleisliInstances8
  17. AnyRef
  18. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  5. def ask[F[_], A](implicit F: Applicative[F]): Kleisli[F, A, A]

    Permalink
    Definition Classes
    KleisliFunctions
  6. implicit def catsDataAlternativeForKleisli[F[_], A](implicit F0: Alternative[F]): Alternative[[γ$45$]Kleisli[F, A, γ$45$]]

    Permalink
    Definition Classes
    KleisliInstances2
  7. implicit def catsDataApplicativeErrorForKleisli[F[_], E, A](implicit F0: ApplicativeError[F, E]): ApplicativeError[[γ$58$]Kleisli[F, A, γ$58$], E]

    Permalink
    Definition Classes
    KleisliInstances4
  8. implicit def catsDataApplicativeForKleisli[F[_], A](implicit A: Applicative[F]): Applicative[[γ$60$]Kleisli[F, A, γ$60$]]

    Permalink
    Definition Classes
    KleisliInstances5
  9. implicit def catsDataApplyForKleisli[F[_], A](implicit A: Apply[F]): Apply[[γ$61$]Kleisli[F, A, γ$61$]]

    Permalink
    Definition Classes
    KleisliInstances6
  10. implicit def catsDataArrowChoiceForKleisli[F[_]](implicit M: Monad[F]): ArrowChoice[[β$19$, γ$20$]Kleisli[F, β$19$, γ$20$]]

    Permalink
    Definition Classes
    KleisliInstances0_5
  11. implicit def catsDataChoiceForKleisli[F[_]](implicit M: Monad[F]): Choice[[β$49$, γ$50$]Kleisli[F, β$49$, γ$50$]]

    Permalink
    Definition Classes
    KleisliInstances3
  12. implicit val catsDataChoiceForKleisliId: Choice[[β$51$, γ$52$]Kleisli[[A]A, β$51$, γ$52$]]

    Permalink
    Definition Classes
    KleisliInstances3
  13. implicit def catsDataCommutativeArrowForKleisli[F[_]](implicit M: CommutativeMonad[F]): CommutativeArrow[[β$12$, γ$13$]Kleisli[F, β$12$, γ$13$]] with ArrowChoice[[β$14$, γ$15$]Kleisli[F, β$14$, γ$15$]]

    Permalink
    Definition Classes
    KleisliInstances0
  14. implicit val catsDataCommutativeArrowForKleisliId: CommutativeArrow[[β$8$, γ$9$]Kleisli[[A]A, β$8$, γ$9$]]

    Permalink
    Definition Classes
    KleisliInstances
  15. implicit def catsDataCommutativeFlatMapForKleisli[F[_], A](implicit F0: CommutativeFlatMap[F]): CommutativeFlatMap[[γ$47$]Kleisli[F, A, γ$47$]]

    Permalink
    Definition Classes
    KleisliInstances3
  16. implicit def catsDataCommutativeMonadForKleisli[F[_], A](implicit F0: CommutativeMonad[F]): CommutativeMonad[[γ$16$]Kleisli[F, A, γ$16$]]

    Permalink
    Definition Classes
    KleisliInstances0
  17. implicit def catsDataComposeForKleisli[F[_]](implicit FM: FlatMap[F]): Compose[[β$53$, γ$54$]Kleisli[F, β$53$, γ$54$]]

    Permalink
    Definition Classes
    KleisliInstances3
  18. implicit def catsDataContravariantForKleisli[F[_], C]: Contravariant[[β$43$]Kleisli[F, β$43$, C]]

    Permalink
    Definition Classes
    KleisliInstances1
  19. implicit def catsDataContravariantMonoidalForKleisli[F[_], A](implicit F0: ContravariantMonoidal[F]): ContravariantMonoidal[[γ$21$]Kleisli[F, A, γ$21$]]

    Permalink
    Definition Classes
    KleisliInstances0_5
  20. implicit def catsDataDeferForKleisli[F[_], A](implicit F: Defer[F]): Defer[[γ$10$]Kleisli[F, A, γ$10$]]

    Permalink
    Definition Classes
    KleisliInstances
  21. implicit def catsDataDistributiveForKleisli[F[_], R](implicit F0: Distributive[F]): Distributive[[γ$62$]Kleisli[F, R, γ$62$]]

    Permalink
    Definition Classes
    KleisliInstances7
  22. implicit def catsDataFlatMapForKleisli[F[_], A](implicit FM: FlatMap[F]): FlatMap[[γ$59$]Kleisli[F, A, γ$59$]]

    Permalink
    Definition Classes
    KleisliInstances4
  23. implicit def catsDataFunctorForKleisli[F[_], A](implicit F0: Functor[F]): Functor[[γ$63$]Kleisli[F, A, γ$63$]]

    Permalink
    Definition Classes
    KleisliInstances8
  24. implicit def catsDataMonadErrorForKleisli[F[_], A, E](implicit ME: MonadError[F, E]): MonadError[[γ$18$]Kleisli[F, A, γ$18$], E]

    Permalink
    Definition Classes
    KleisliInstances0_5
  25. implicit def catsDataMonadForKleisli[F[_], A](implicit M: Monad[F]): Monad[[γ$26$]Kleisli[F, A, γ$26$]]

    Permalink
    Definition Classes
    KleisliInstances1
  26. implicit def catsDataMonadForKleisliId[A]: CommutativeMonad[[γ$7$]Kleisli[[A]A, A, γ$7$]]

    Permalink
    Definition Classes
    KleisliInstances
  27. implicit def catsDataMonoidForKleisli[F[_], A, B](implicit FB0: Monoid[F[B]]): Monoid[Kleisli[F, A, B]]

    Permalink
    Definition Classes
    KleisliInstances0_5
  28. implicit def catsDataMonoidKForKleisli[F[_], A](implicit F0: MonoidK[F]): MonoidK[[γ$46$]Kleisli[F, A, γ$46$]]

    Permalink
    Definition Classes
    KleisliInstances3
  29. implicit def catsDataParallelForKleisli[F[_], M[_], A](implicit P: Parallel[M, F]): Parallel[[γ$27$]Kleisli[M, A, γ$27$], [γ$28$]Kleisli[F, A, γ$28$]]

    Permalink
    Definition Classes
    KleisliInstances1
  30. implicit def catsDataRepresentableForKleisli[M[_], R, E](implicit R: Aux[M, R], FK: Functor[[γ$22$]Kleisli[M, E, γ$22$]]): Aux[[γ$23$]Kleisli[M, E, γ$23$], (E, R)]

    Permalink

    Witness for: Kleisli[M, E, A] <-> (E, R) => A if M is Representable

    Witness for: Kleisli[M, E, A] <-> (E, R) => A if M is Representable

    Definition Classes
    KleisliInstances0_5
  31. implicit def catsDataSemigroupForKleisli[F[_], A, B](implicit FB0: Semigroup[F[B]]): Semigroup[Kleisli[F, A, B]]

    Permalink
    Definition Classes
    KleisliInstances3
  32. implicit def catsDataSemigroupKForKleisli[F[_], A](implicit F0: SemigroupK[F]): SemigroupK[[γ$57$]Kleisli[F, A, γ$57$]]

    Permalink
    Definition Classes
    KleisliInstances4
  33. implicit def catsDataStrongForKleisli[F[_]](implicit F0: Functor[F]): Strong[[β$55$, γ$56$]Kleisli[F, β$55$, γ$56$]]

    Permalink
    Definition Classes
    KleisliInstances3
  34. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  35. def endoMonoidK[F[_]](implicit M: Monad[F]): MonoidK[[α]Kleisli[F, α, α]]

    Permalink
    Definition Classes
    KleisliExplicitInstances
  36. def endoSemigroupK[F[_]](implicit FM: FlatMap[F]): SemigroupK[[α]Kleisli[F, α, α]]

    Permalink
    Definition Classes
    KleisliExplicitInstances
  37. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  38. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  39. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  40. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  41. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  42. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  43. def liftF[F[_], A, B](x: F[B]): Kleisli[F, A, B]

    Permalink
    Definition Classes
    KleisliFunctions
  44. def liftK[F[_], A]: ~>[F, [γ$0$]Kleisli[F, A, γ$0$]]

    Permalink

    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: OptionT[Eval, Int] = 1.pure[OptionT[Eval, ?]]
    scala> val b: OptionT[Kleisli[Eval, String, ?], Int] = a.mapK(Kleisli.liftK)
    scala> b.value.run("").value
    res0: Option[Int] = Some(1)
    Definition Classes
    KleisliFunctions
  45. def local[M[_], A, R](f: (R) ⇒ R)(fa: Kleisli[M, R, A]): Kleisli[M, R, A]

    Permalink
    Definition Classes
    KleisliFunctions
  46. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  47. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  48. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  49. def pure[F[_], A, B](x: B)(implicit F: Applicative[F]): Kleisli[F, A, B]

    Permalink
    Definition Classes
    KleisliFunctions
  50. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  51. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  52. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  53. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  54. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Deprecated Value Members

  1. def lift[F[_], A, B](x: F[B]): Kleisli[F, A, B]

    Permalink
    Definition Classes
    KleisliFunctions
    Annotations
    @deprecated
    Deprecated

    (Since version 1.0.0-RC2) Use liftF instead

Inherited from Serializable

Inherited from Serializable

Inherited from KleisliExplicitInstances

Inherited from KleisliFunctions

Inherited from KleisliInstances

Inherited from KleisliInstances0

Inherited from KleisliInstances0_5

Inherited from KleisliInstances1

Inherited from KleisliInstances2

Inherited from KleisliInstances3

Inherited from KleisliInstances4

Inherited from KleisliInstances5

Inherited from KleisliInstances6

Inherited from KleisliInstances7

Inherited from KleisliInstances8

Inherited from AnyRef

Inherited from Any

Ungrouped