Object/Class

scalaz

Kleisli

Related Docs: class Kleisli | package scalaz

Permalink

object Kleisli extends KleisliInstances with Serializable

Source
Kleisli.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Kleisli
  2. Serializable
  3. Serializable
  4. KleisliInstances
  5. KleisliInstances0
  6. KleisliInstances1
  7. KleisliInstances2
  8. KleisliInstances3
  9. KleisliInstances4
  10. KleisliInstances5
  11. KleisliInstances6
  12. KleisliInstances7
  13. KleisliInstances8
  14. KleisliInstances9
  15. KleisliInstances10
  16. KleisliInstances11
  17. KleisliInstances12
  18. KleisliInstances13
  19. AnyRef
  20. 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[M[_], A](implicit arg0: Applicative[M]): Kleisli[M, A, A]

    Permalink

    Pure Kleisli arrow

  6. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  7. final def eq(arg0: AnyRef): Boolean

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

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

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

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

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

    Permalink
    Definition Classes
    Any
  13. def iso[D[_], I, O[_]](instance: ~>[[a](I) ⇒ O[a], D], decode: ~>[D, [a](I) ⇒ O[a]]): Isomorphism.<~>[D, [γ$42$]Kleisli[O, I, γ$42$]]

    Permalink
  14. def kleisli[M[_], A, B](f: (A) ⇒ M[B]): Kleisli[M, A, B]

    Permalink

    Construct a Kleisli from a Function1

  15. implicit def kleisliApplicative[F[_], R](implicit F0: Applicative[F]): Applicative[[γ$16$]Kleisli[F, R, γ$16$]]

    Permalink
    Definition Classes
    KleisliInstances8
  16. implicit def kleisliApplicativePlus[F[_], R](implicit F0: ApplicativePlus[F]): ApplicativePlus[[γ$20$]Kleisli[F, R, γ$20$]]

    Permalink
    Definition Classes
    KleisliInstances6
  17. implicit def kleisliApply[F[_], R](implicit F0: Apply[F]): Apply[[γ$11$]Kleisli[F, R, γ$11$]]

    Permalink
    Definition Classes
    KleisliInstances12
  18. implicit def kleisliArrow[F[_]](implicit F0: Monad[F]): Arrow[[β$34$, γ$35$]Kleisli[F, β$34$, γ$35$]] with Choice[[β$36$, γ$37$]Kleisli[F, β$36$, γ$37$]]

    Permalink
    Definition Classes
    KleisliInstances
  19. implicit def kleisliBind[F[_], R](implicit F0: Bind[F]): Bind[[γ$13$]Kleisli[F, R, γ$13$]]

    Permalink
    Definition Classes
    KleisliInstances10
  20. implicit def kleisliBindRec[F[_], R](implicit F0: BindRec[F]): BindRec[[γ$18$]Kleisli[F, R, γ$18$]]

    Permalink
    Definition Classes
    KleisliInstances7
  21. implicit def kleisliCatchable[F[_], A](implicit F0: Catchable[F]): Catchable[[γ$41$]Kleisli[F, A, γ$41$]]

    Permalink
    Definition Classes
    KleisliInstances
  22. implicit def kleisliCompose[F[_]](implicit F0: Bind[F]): Compose[[β$32$, γ$33$]Kleisli[F, β$32$, γ$33$]]

    Permalink
    Definition Classes
    KleisliInstances0
  23. implicit def kleisliContravariant[F[_], A]: Contravariant[[β$38$]Kleisli[F, β$38$, A]]

    Permalink
    Definition Classes
    KleisliInstances
  24. implicit def kleisliDistributive[F[_], R](implicit F0: Distributive[F]): Distributive[[γ$12$]Kleisli[F, R, γ$12$]]

    Permalink
    Definition Classes
    KleisliInstances11
  25. implicit def kleisliFn[M[_], A, B](k: Kleisli[M, A, B]): (A) ⇒ M[B]

    Permalink

    Implicitly unwrap the Function1 represented by the Kleisli

  26. implicit def kleisliFunctor[F[_], R](implicit F0: Functor[F]): Functor[[γ$10$]Kleisli[F, R, γ$10$]]

    Permalink
    Definition Classes
    KleisliInstances13
  27. implicit def kleisliIdApplicative[R]: Applicative[[γ$26$]Kleisli[[X]X, R, γ$26$]]

    Permalink
    Definition Classes
    KleisliInstances1
  28. implicit def kleisliIdApply[R]: Apply[[γ$29$]Kleisli[[X]X, R, γ$29$]]

    Permalink
    Definition Classes
    KleisliInstances0
  29. implicit def kleisliIdFunctor[R]: Functor[[γ$25$]Kleisli[[X]X, R, γ$25$]]

    Permalink
    Definition Classes
    KleisliInstances2
  30. implicit def kleisliIdMonadReader[R]: MonadReader[[γ$39$]Kleisli[[X]X, R, γ$39$], R]

    Permalink
    Definition Classes
    KleisliInstances
  31. implicit def kleisliMonadError[F[_], E, R](implicit F0: MonadError[F, E]): MonadError[[γ$22$]Kleisli[F, R, γ$22$], E]

    Permalink
    Definition Classes
    KleisliInstances5
  32. implicit def kleisliMonadPlus[F[_], A](implicit F0: MonadPlus[F]): MonadPlus[[γ$23$]Kleisli[F, A, γ$23$]]

    Permalink
    Definition Classes
    KleisliInstances4
  33. implicit def kleisliMonadReader[F[_], R](implicit F0: Monad[F]): MonadReader[[γ$24$]Kleisli[F, R, γ$24$], R]

    Permalink
    Definition Classes
    KleisliInstances3
  34. implicit def kleisliMonadTrans[R]: Hoist[[α[_$1], β]Kleisli[α, R, β]]

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

    Permalink
    Definition Classes
    KleisliInstances
  36. implicit def kleisliPlus[F[_], A](implicit F0: Plus[F]): Plus[[γ$17$]Kleisli[F, A, γ$17$]]

    Permalink
    Definition Classes
    KleisliInstances8
  37. def kleisliPlusEmpty[F[_], A](implicit F0: PlusEmpty[F]): PlusEmpty[[γ$40$]Kleisli[F, A, γ$40$]]

    Permalink
    Definition Classes
    KleisliInstances
  38. implicit def kleisliPlusEmpty0[F[_], A](implicit F0: PlusEmpty[F]): PlusEmpty[[γ$19$]Kleisli[F, A, γ$19$]]

    Permalink
    Definition Classes
    KleisliInstances7
  39. implicit def kleisliProChoice[F[_]](implicit F0: Applicative[F]): ProChoice[[β$30$, γ$31$]Kleisli[F, β$30$, γ$31$]]

    Permalink
    Definition Classes
    KleisliInstances0
  40. implicit def kleisliSemigroup[F[_], A, B](implicit FB0: Semigroup[F[B]]): Semigroup[Kleisli[F, A, B]]

    Permalink
    Definition Classes
    KleisliInstances6
  41. implicit def kleisliStrong[F[_]](implicit arg0: Functor[F]): Strong[[β$27$, γ$28$]Kleisli[F, β$27$, γ$28$]]

    Permalink
    Definition Classes
    KleisliInstances1
  42. def kleisliU[A, MB](f: (A) ⇒ MB)(implicit MB: Unapply[Bind, MB]): Kleisli[M, A, A]

    Permalink

    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) }}
  43. implicit def kleisliZip[F[_], R](implicit F: Zip[F]): Zip[[γ$14$]Kleisli[F, R, γ$14$]]

    Permalink
    Definition Classes
    KleisliInstances9
  44. def local[M[_], A, R](f: (R) ⇒ R)(fa: Kleisli[M, R, A]): Kleisli[M, R, A]

    Permalink
  45. final def ne(arg0: AnyRef): Boolean

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

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

    Permalink
    Definition Classes
    AnyRef
  48. final def synchronized[T0](arg0: ⇒ T0): T0

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

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

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

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

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

Inherited from Serializable

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 AnyRef

Inherited from Any

Ungrouped