final
case class
Kleisli[M[_], A, B](run: (A) ⇒ M[B]) extends Product with Serializable
Instance Constructors
-
new
Kleisli(run: (A) ⇒ M[B])
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
def
<=<[C](k: Kleisli[M, C, A])(implicit b: Bind[M]): Kleisli[M, C, B]
-
def
<==<[C](k: (C) ⇒ M[A])(implicit b: Bind[M]): Kleisli[M, C, B]
-
def
=<<(a: M[A])(implicit m: Bind[M]): M[B]
-
final
def
==(arg0: Any): Boolean
-
def
>==>[C](k: (B) ⇒ M[C])(implicit b: Bind[M]): Kleisli[M, A, C]
-
def
>=>[C](k: Kleisli[M, B, C])(implicit b: Bind[M]): Kleisli[M, A, C]
-
def
andThen[C](k: Kleisli[M, B, C])(implicit b: Bind[M]): Kleisli[M, A, C]
-
def
andThenK[C](k: (B) ⇒ M[C])(implicit b: Bind[M]): Kleisli[M, A, C]
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
def
compose[C](k: Kleisli[M, C, A])(implicit b: Bind[M]): Kleisli[M, C, B]
-
def
composeK[C](k: (C) ⇒ M[A])(implicit b: Bind[M]): Kleisli[M, C, B]
-
def
dimap[C, D](f: (C) ⇒ A, g: (B) ⇒ D)(implicit b: Functor[M]): Kleisli[M, C, D]
-
def
endo(implicit M: Functor[M], ev: >~>[A, B]): Endomorphic[[β$3$, γ$4$]Kleisli[M, β$3$, γ$4$], A]
-
-
def
finalize(): Unit
-
def
flatMap[C](f: (B) ⇒ Kleisli[M, A, C])(implicit M: Bind[M]): Kleisli[M, A, C]
-
def
flatMapK[C](f: (B) ⇒ M[C])(implicit M: Bind[M]): Kleisli[M, A, C]
-
final
def
getClass(): Class[_]
-
final
def
isInstanceOf[T0]: Boolean
-
def
lift[L[_]](implicit arg0: Applicative[L]): Kleisli[[α]L[M[α]], A, B]
-
def
liftF: Free[[γ$7$]Kleisli[M, A, γ$7$], B]
-
def
liftMK[T[_[_], _]](implicit T: MonadTrans[T], M: Monad[M]): Kleisli[[β$1$]T[M, β$1$], A, B]
-
def
local[AA](f: (AA) ⇒ A): Kleisli[M, AA, B]
-
def
lower(implicit M: Applicative[M]): Kleisli[M, A, M[B]]
-
def
map[C](f: (B) ⇒ C)(implicit M: Functor[M]): Kleisli[M, A, C]
-
def
mapK[N[_], C](f: (M[B]) ⇒ N[C]): Kleisli[N, A, C]
-
def
mapT[N[_], C](f: (M[B]) ⇒ N[C]): Kleisli[N, A, C]
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
val
run: (A) ⇒ M[B]
-
-
def
state(implicit M: Monad[M]): StateT[A, M, B]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
-
def
transform[N[_]](f: ~>[M, N]): Kleisli[N, A, B]
-
def
traverse[F[_]](f: F[A])(implicit M: Applicative[M], F: Traverse[F]): M[F[B]]
-
def
unlift[N[_], FF[_]](implicit M: Comonad[N], ev: <~<[Kleisli.this.type, Kleisli[[α]N[FF[α]], A, B]]): Kleisli[FF, A, B]
-
def
unliftId[N[_]](implicit M: Comonad[N], ev: <~<[Kleisli.this.type, Kleisli[[α$0$]N[α$0$], A, B]]): Reader[A, B]
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Represents a function
A => M[B]
.