object Kleisli extends KleisliInstances with KleisliFunctions with Serializable
- Source
- Kleisli.scala
- Alphabetic
- By Inheritance
- Kleisli
- Serializable
- Serializable
- KleisliFunctions
- KleisliInstances
- KleisliInstances0
- KleisliInstances1
- KleisliInstances2
- KleisliInstances3
- KleisliInstances4
- KleisliInstances5
- KleisliInstances6
- KleisliInstances7
- KleisliInstances8
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
ask[M[_], A](implicit arg0: Monad[M]): Kleisli[M, A, A]
Pure Kleisli arrow
Pure Kleisli arrow
- Definition Classes
- KleisliFunctions
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
kleisli[M[_], A, B](f: (A) ⇒ M[B]): Kleisli[M, A, B]
Construct a Kleisli from a Function1
Construct a Kleisli from a Function1
- Definition Classes
- KleisliFunctions
-
implicit
def
kleisliApplicative[F[_], R](implicit F0: Applicative[F]): Applicative[[α]Kleisli[F, R, α]]
- Definition Classes
- KleisliInstances6
-
implicit
def
kleisliApplicativePlus[F[_], R](implicit F0: ApplicativePlus[F]): ApplicativePlus[[α]Kleisli[F, R, α]]
- Definition Classes
- KleisliInstances5
-
implicit
def
kleisliApply[F[_], R](implicit F0: Apply[F]): Apply[[α]Kleisli[F, R, α]]
- Definition Classes
- KleisliInstances7
-
implicit
def
kleisliArrow[F[_]](implicit F0: Monad[F]): Arrow[[α, β]Kleisli[F, α, β]] with Choice[[α, β]Kleisli[F, α, β]]
- Definition Classes
- KleisliInstances
-
implicit
def
kleisliCatchable[F[_], A](implicit F0: Catchable[F]): Catchable[[α]Kleisli[F, A, α]]
- Definition Classes
- KleisliInstances
-
implicit
def
kleisliCompose[F[_]](implicit F0: Bind[F]): Compose[[α, β]Kleisli[F, α, β]]
- Definition Classes
- KleisliInstances0
-
implicit
def
kleisliContravariant[F[_], A]: Contravariant[[α]Kleisli[F, α, A]]
- Definition Classes
- KleisliInstances
-
implicit
def
kleisliDistributive[F[_], R](implicit F0: Distributive[F]): Distributive[[α]Kleisli[F, R, α]]
- Definition Classes
- KleisliInstances7
-
implicit
def
kleisliFn[M[_], A, B](k: Kleisli[M, A, B]): (A) ⇒ M[B]
Implicitly unwrap the Function1 represented by the Kleisli
Implicitly unwrap the Function1 represented by the Kleisli
- Definition Classes
- KleisliFunctions
-
implicit
def
kleisliFunctor[F[_], R](implicit F0: Functor[F]): Functor[[α]Kleisli[F, R, α]]
- Definition Classes
- KleisliInstances8
-
implicit
def
kleisliIdApplicative[R]: Applicative[[α]Kleisli[[X]X, R, α]]
- Definition Classes
- KleisliInstances1
-
implicit
def
kleisliIdApply[R]: Apply[[α]Kleisli[[X]X, R, α]]
- Definition Classes
- KleisliInstances0
-
implicit
def
kleisliIdFunctor[R]: Functor[[α]Kleisli[[X]X, R, α]]
- Definition Classes
- KleisliInstances2
-
implicit
def
kleisliIdMonadReader[R]: MonadReader[[α, β]Kleisli[[X]X, α, β], R]
- Definition Classes
- KleisliInstances
- implicit def kleisliMonadError[F[_, _], E, R](implicit F0: MonadError[F, E]): MonadError[[E0, A]Kleisli[[a]F[E0, a], R, A], E]
-
implicit
def
kleisliMonadPlus[F[_], A](implicit F0: MonadPlus[F]): MonadPlus[[α]Kleisli[F, A, α]]
- Definition Classes
- KleisliInstances4
-
implicit
def
kleisliMonadReader[F[_], R](implicit F0: Monad[F]): MonadReader[[α, β]Kleisli[F, α, β], R]
- Definition Classes
- KleisliInstances3
-
implicit
def
kleisliMonadTrans[R]: Hoist[[α[_], β]Kleisli[α, R, β]]
- Definition Classes
- KleisliInstances
-
implicit
def
kleisliMonoid[F[_], A, B](implicit FB0: Monoid[F[B]]): Monoid[Kleisli[F, A, B]]
- Definition Classes
- KleisliInstances
-
implicit
def
kleisliPlus[F[_], A](implicit F0: Plus[F]): Plus[[α]Kleisli[F, A, α]]
- Definition Classes
- KleisliInstances6
-
implicit
def
kleisliPlusEmpty[F[_], A](implicit F0: PlusEmpty[F]): PlusEmpty[[α]Kleisli[F, A, α]]
- Definition Classes
- KleisliInstances
-
implicit
def
kleisliProChoice[F[_]](implicit F0: Applicative[F]): ProChoice[[α, β]Kleisli[F, α, β]]
- Definition Classes
- KleisliInstances0
-
implicit
def
kleisliProfunctor[F[_]](implicit F0: Functor[F]): Profunctor[[α, β]Kleisli[F, α, β]]
- Definition Classes
- Kleisli → KleisliInstances0
-
implicit
def
kleisliSemigroup[F[_], A, B](implicit FB0: Semigroup[F[B]]): Semigroup[Kleisli[F, A, B]]
- Definition Classes
- KleisliInstances5
-
def
kleisliU[A, MB](f: (A) ⇒ MB)(implicit MB: Unapply[Bind, MB]): Kleisli[M, A, A]
A version of
kleisli
that infers the type constructorM
, whenM
isBind
A version of
kleisli
that infers the type constructorM
, whenM
isBind
- Definition Classes
- KleisliFunctions
Kleisli.kleisliU{s: String => try \/-(s.toInt) catch{ case e: NumberFormatException => -\/(e) }}
Example: -
implicit
def
kleisliZip[F[_], R](implicit F: Zip[F]): Zip[[α]Kleisli[F, R, α]]
- Definition Classes
- KleisliInstances8
-
def
local[M[_], A, R](f: (R) ⇒ R)(fa: Kleisli[M, R, A])(implicit arg0: Monad[M]): Kleisli[M, R, A]
- Definition Classes
- KleisliFunctions
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )