object Kleisli extends KleisliFunctions with KleisliInstances
- Source
- Kleisli.scala
- Alphabetic
- By Inheritance
- Kleisli
- KleisliInstances
- KleisliInstances0
- KleisliInstances1
- KleisliInstances2
- KleisliInstances3
- KleisliInstances4
- KleisliInstances5
- KleisliInstances6
- KleisliInstances7
- KleisliInstances8
- KleisliFunctions
- 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
- def apply[M[+_], A, B](f: (A) ⇒ M[B]): Kleisli[M, A, B]
-
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]): KleisliArrow[F]
- Definition Classes
- KleisliInstances
-
implicit
def
kleisliContravariant[F[+_], A]: KleisliContravariant[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]: KleisliMonadReader[Id.Id, R]
- Definition Classes
- KleisliInstances
-
implicit
def
kleisliMonadPlus[F[+_], A](implicit F0: MonadPlus[F]): KleisliMonadPlus[F, A]
- Definition Classes
- KleisliInstances4
-
implicit
def
kleisliMonadReader[F[+_], R](implicit F0: Monad[F]): KleisliMonadReader[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]]): KleisliMonoid[F, A, B]
- Definition Classes
- KleisliInstances
-
implicit
def
kleisliPlus[F[+_], A](implicit F0: Plus[F]): KleisliPlus[F, A]
- Definition Classes
- KleisliInstances6
-
implicit
def
kleisliPlusEmpty[F[+_], A](implicit F0: PlusEmpty[F]): KleisliPlusEmpty[F, A]
- Definition Classes
- KleisliInstances
-
implicit
def
kleisliSemigroup[F[+_], A, B](implicit FB0: Semigroup[F[B]]): KleisliSemigroup[F, A, B]
- Definition Classes
- KleisliInstances5
-
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( ... )