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, KleisliInstances9, 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. KleisliInstances9
  18. AnyRef
  19. 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[[γ$46$]Kleisli[F, A, γ$46$]]

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

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

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

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

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

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

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

    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[[γ$48$]Kleisli[F, A, γ$48$]]

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

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

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

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

    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[[γ$63$]Kleisli[F, R, γ$63$]]

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

    Permalink
    Definition Classes
    KleisliInstances4
  23. implicit def catsDataFunctorFilterForKleisli[F[_], A](implicit ev: FunctorFilter[F]): FunctorFilter[[γ$12$]Kleisli[F, A, γ$12$]]

    Permalink
    Definition Classes
    KleisliInstances
  24. implicit def catsDataFunctorForKleisli[F[_], A](implicit F0: Functor[F]): Functor[[γ$64$]Kleisli[F, A, γ$64$]]

    Permalink
    Definition Classes
    KleisliInstances9
  25. implicit def catsDataMonadErrorForKleisli[F[_], A, E](implicit ME: MonadError[F, E]): MonadError[[γ$19$]Kleisli[F, A, γ$19$], E]

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

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

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

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

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

    Permalink
    Definition Classes
    KleisliInstances1
  31. implicit def catsDataRepresentableForKleisli[M[_], R, E](implicit R: Aux[M, R], FK: Functor[[γ$23$]Kleisli[M, E, γ$23$]]): Aux[[γ$24$]Kleisli[M, E, γ$24$], (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
  32. implicit def catsDataSemigroupForKleisli[F[_], A, B](implicit FB0: Semigroup[F[B]]): Semigroup[Kleisli[F, A, B]]

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

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

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

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

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

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

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

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

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

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

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

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

    Permalink
    Definition Classes
    KleisliFunctions
  45. 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
  46. def local[M[_], A, R](f: (R) ⇒ R)(fa: Kleisli[M, R, A]): Kleisli[M, R, A]

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

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

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

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

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

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

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  55. 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 KleisliInstances9

Inherited from AnyRef

Inherited from Any

Ungrouped