Packages

object Kleisli extends KleisliInstances with Serializable

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Kleisli
  2. Serializable
  3. KleisliInstances
  4. KleisliInstances0
  5. KleisliInstances1
  6. KleisliInstances2
  7. KleisliInstances3
  8. KleisliInstances4
  9. KleisliInstances5
  10. KleisliInstances6
  11. KleisliInstances7
  12. KleisliInstances8
  13. KleisliInstances9
  14. KleisliInstances10
  15. KleisliInstances11
  16. KleisliInstances12
  17. KleisliInstances13
  18. KleisliInstances14
  19. KleisliInstances15
  20. AnyRef
  21. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

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. def ask[M[_], A](implicit arg0: Applicative[M]): Kleisli[M, A, A]

    Pure Kleisli arrow

  6. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  7. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  8. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  9. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  10. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  11. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  12. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  13. def iso[D[_], I, O[_]](instance: ~>[[a](I) => O[a], D], decode: ~>[D, [a](I) => O[a]]): Isomorphism.<~>[D, [γ$43$]Kleisli[O, I, γ$43$]]
  14. def kleisli[M[_], A, B](f: (A) => M[B]): Kleisli[M, A, B]

    Construct a Kleisli from a Function1

  15. implicit def kleisliAlt[F[_], A](implicit arg0: Alt[F], arg1: Applicative[F]): Alt[[γ$24$]Kleisli[F, A, γ$24$]]
    Definition Classes
    KleisliInstances5
  16. implicit def kleisliApplicative[F[_], R](implicit F0: Applicative[F]): Applicative[[γ$17$]Kleisli[F, R, γ$17$]]
    Definition Classes
    KleisliInstances8
  17. implicit def kleisliApplicativePlus[F[_], R](implicit F0: ApplicativePlus[F]): ApplicativePlus[[γ$21$]Kleisli[F, R, γ$21$]]
    Definition Classes
    KleisliInstances6
  18. implicit def kleisliApply[F[_], R](implicit F0: Apply[F]): Apply[[γ$12$]Kleisli[F, R, γ$12$]]
    Definition Classes
    KleisliInstances12
  19. implicit def kleisliArrow[F[_]](implicit F0: Monad[F]): Arrow[[β$37$, γ$38$]Kleisli[F, β$37$, γ$38$]] with Choice[[β$39$, γ$40$]Kleisli[F, β$39$, γ$40$]]
    Definition Classes
    KleisliInstances
  20. implicit def kleisliBind[F[_], R](implicit F0: Bind[F]): Bind[[γ$14$]Kleisli[F, R, γ$14$]]
    Definition Classes
    KleisliInstances10
  21. implicit def kleisliBindRec[F[_], R](implicit F0: BindRec[F]): BindRec[[γ$19$]Kleisli[F, R, γ$19$]]
    Definition Classes
    KleisliInstances7
  22. implicit def kleisliCompose[F[_]](implicit F0: Bind[F]): Compose[[β$35$, γ$36$]Kleisli[F, β$35$, γ$36$]]
    Definition Classes
    KleisliInstances0
  23. implicit def kleisliContravariant[F[_], A]: Contravariant[[β$41$]Kleisli[F, β$41$, A]]
    Definition Classes
    KleisliInstances
  24. implicit def kleisliDecidable[F[_], R](implicit F0: Decidable[F]): Decidable[[γ$10$]Kleisli[F, R, γ$10$]]
    Definition Classes
    KleisliInstances14
  25. implicit def kleisliDistributive[F[_], R](implicit F0: Distributive[F]): Distributive[[γ$13$]Kleisli[F, R, γ$13$]]
    Definition Classes
    KleisliInstances11
  26. implicit def kleisliDivisible[F[_], R](implicit F0: Divisible[F]): Divisible[[γ$9$]Kleisli[F, R, γ$9$]]
    Definition Classes
    KleisliInstances15
  27. implicit def kleisliFn[M[_], A, B](k: Kleisli[M, A, B]): (A) => M[B]

    Implicitly unwrap the Function1 represented by the Kleisli

  28. implicit def kleisliFunctor[F[_], R](implicit F0: Functor[F]): Functor[[γ$11$]Kleisli[F, R, γ$11$]]
    Definition Classes
    KleisliInstances13
  29. implicit def kleisliIdApplicative[R]: Applicative[[γ$29$]Kleisli[[X]X, R, γ$29$]]
    Definition Classes
    KleisliInstances1
  30. implicit def kleisliIdApply[R]: Apply[[γ$32$]Kleisli[[X]X, R, γ$32$]]
    Definition Classes
    KleisliInstances0
  31. implicit def kleisliIdFunctor[R]: Functor[[γ$28$]Kleisli[[X]X, R, γ$28$]]
    Definition Classes
    KleisliInstances2
  32. implicit def kleisliIdMonadReader[R]: MonadReader[[γ$42$]Kleisli[[X]X, R, γ$42$], R]
    Definition Classes
    KleisliInstances
  33. implicit def kleisliMonadError[F[_], E, R](implicit F0: MonadError[F, E]): MonadError[[γ$23$]Kleisli[F, R, γ$23$], E]
    Definition Classes
    KleisliInstances5
  34. implicit def kleisliMonadPlus[F[_], A](implicit F0: MonadPlus[F]): MonadPlus[[γ$26$]Kleisli[F, A, γ$26$]]
    Definition Classes
    KleisliInstances4
  35. implicit def kleisliMonadReader[F[_], R](implicit F0: Monad[F]): MonadReader[[γ$27$]Kleisli[F, R, γ$27$], R]
    Definition Classes
    KleisliInstances3
  36. implicit def kleisliMonadTrans[R]: Hoist[[α[_], β]Kleisli[α, R, β]]
    Definition Classes
    KleisliInstances
  37. implicit def kleisliMonoid[F[_], A, B](implicit FB0: Monoid[F[B]]): Monoid[Kleisli[F, A, B]]
    Definition Classes
    KleisliInstances
  38. implicit def kleisliPlus[F[_], A](implicit F0: Plus[F]): Plus[[γ$18$]Kleisli[F, A, γ$18$]]
    Definition Classes
    KleisliInstances8
  39. implicit def kleisliPlusEmpty[F[_], A](implicit F0: PlusEmpty[F]): PlusEmpty[[γ$20$]Kleisli[F, A, γ$20$]]
    Definition Classes
    KleisliInstances7
  40. implicit def kleisliProChoice[F[_]](implicit F0: Applicative[F]): ProChoice[[β$33$, γ$34$]Kleisli[F, β$33$, γ$34$]]
    Definition Classes
    KleisliInstances0
  41. implicit def kleisliSemigroup[F[_], A, B](implicit FB0: Semigroup[F[B]]): Semigroup[Kleisli[F, A, B]]
    Definition Classes
    KleisliInstances6
  42. implicit def kleisliStrong[F[_]](implicit arg0: Functor[F]): Strong[[β$30$, γ$31$]Kleisli[F, β$30$, γ$31$]]
    Definition Classes
    KleisliInstances1
  43. def kleisliU[A, MB](f: (A) => MB)(implicit MB: Unapply[Bind, MB]): Kleisli[M, A, A]

    A version of kleisli that infers the type constructor M, when M is Bind

    A version of kleisli that infers the type constructor M, when M is Bind

    Example:
    1. Kleisli.kleisliU{s: String => try \/-(s.toInt) catch{ case e: NumberFormatException => -\/(e) }}
  44. implicit def kleisliZip[F[_], R](implicit F: Zip[F]): Zip[[γ$15$]Kleisli[F, R, γ$15$]]
    Definition Classes
    KleisliInstances9
  45. def local[M[_], A, R](f: (R) => R)(fa: Kleisli[M, R, A]): Kleisli[M, R, A]
  46. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  47. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  48. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  49. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  50. def toString(): String
    Definition Classes
    AnyRef → Any
  51. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  52. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  53. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()

Inherited from Serializable

Inherited from KleisliInstances

Inherited from KleisliInstances0

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 KleisliInstances10

Inherited from KleisliInstances11

Inherited from KleisliInstances12

Inherited from KleisliInstances13

Inherited from KleisliInstances14

Inherited from KleisliInstances15

Inherited from AnyRef

Inherited from Any

Ungrouped