Kleisli

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[F[_], A](implicit F: Applicative[F]): Kleisli[F, A, A]

Definition Classes
KleisliFunctions
implicit def catsDataAlternativeForKleisli[F[_], A](implicit F0: Alternative[F]): Alternative[[γ$33$]Kleisli[F, A, γ$33$]]

Definition Classes
KleisliInstances2
implicit def catsDataApplicativeErrorForKleisli[F[_], E, A](implicit F0: ApplicativeError[F, E]): ApplicativeError[[γ$45$]Kleisli[F, A, γ$45$], E]

Definition Classes
KleisliInstances4
implicit def catsDataApplicativeForKleisli[F[_], A](implicit A: Applicative[F]): Applicative[[γ$46$]Kleisli[F, A, γ$46$]]

Definition Classes
KleisliInstances5
implicit def catsDataApplyForKleisli[F[_], A](implicit A: Apply[F]): Apply[[γ$47$]Kleisli[F, A, γ$47$]]

Definition Classes
KleisliInstances6
implicit def catsDataArrowForKleisli[F[_]](implicit M: Monad[F]): Arrow[[β$6$, γ$7$]Kleisli[F, β$6$, γ$7$]]

Definition Classes
KleisliInstances
implicit def catsDataChoiceForKleisli[F[_]](implicit M: Monad[F]): Choice[[β$36$, γ$37$]Kleisli[F, β$36$, γ$37$]]

Definition Classes
KleisliInstances3
implicit val catsDataChoiceForKleisliId: Choice[[β$38$, γ$39$]Kleisli[[A]A, β$38$, γ$39$]]

Definition Classes
KleisliInstances3
implicit def catsDataCommutativeArrowForKleisli[F[_]](implicit M: CommutativeMonad[F]): CommutativeArrow[[β$10$, γ$11$]Kleisli[F, β$10$, γ$11$]]

Definition Classes
KleisliInstances0
implicit val catsDataCommutativeArrowForKleisliId: CommutativeArrow[[β$12$, γ$13$]Kleisli[[A]A, β$12$, γ$13$]]

Definition Classes
KleisliInstances0
implicit def catsDataCommutativeMonadForKleisli[F[_], A, B](implicit F0: CommutativeMonad[F]): CommutativeMonad[[γ$4$]Kleisli[F, A, γ$4$]]

Definition Classes
KleisliInstances
implicit def catsDataComposeForKleisli[F[_]](implicit FM: FlatMap[F]): Compose[[β$40$, γ$41$]Kleisli[F, β$40$, γ$41$]]

Definition Classes
KleisliInstances3
implicit def catsDataContravariantForKleisli[F[_], C]: Contravariant[[β$14$]Kleisli[F, β$14$, C]]

Definition Classes
KleisliInstances0
implicit def catsDataFlatMapForKleisli[F[_], A](implicit FM: FlatMap[F]): FlatMap[[γ$35$]Kleisli[F, A, γ$35$]]

Definition Classes
KleisliInstances3
implicit def catsDataFunctorForKleisli[F[_], A](implicit F0: Functor[F]): Functor[[γ$48$]Kleisli[F, A, γ$48$]]

Definition Classes
KleisliInstances7
implicit def catsDataMonadErrorForKleisli[F[_], A, E](implicit ME: MonadError[F, E]): MonadError[[γ$8$]Kleisli[F, A, γ$8$], E]

Definition Classes
KleisliInstances0
implicit def catsDataMonadForKleisli[F[_], A](implicit M: Monad[F]): Monad[[γ$16$]Kleisli[F, A, γ$16$]]

Definition Classes
KleisliInstances1
implicit def catsDataMonadForKleisliId[A]: Monad[[γ$9$]Kleisli[[A]A, A, γ$9$]]

Definition Classes
KleisliInstances0
implicit def catsDataMonoidForKleisli[F[_], A, B](implicit FB0: Monoid[F[B]]): Monoid[Kleisli[F, A, B]]

Definition Classes
KleisliInstances0
implicit def catsDataMonoidKForKleisli[F[_], A](implicit F0: MonoidK[F]): MonoidK[[γ$34$]Kleisli[F, A, γ$34$]]

Definition Classes
KleisliInstances3
implicit def catsDataParallelForKleisli[F[_], M[_], A](implicit P: Parallel[M, F]): Parallel[[γ$17$]Kleisli[M, A, γ$17$], [γ$18$]Kleisli[F, A, γ$18$]]

Definition Classes
KleisliInstances1
implicit def catsDataSemigroupForKleisli[F[_], A, B](implicit FB0: Semigroup[F[B]]): Semigroup[Kleisli[F, A, B]]

Definition Classes
KleisliInstances3
implicit def catsDataSemigroupKForKleisli[F[_], A](implicit F0: SemigroupK[F]): SemigroupK[[γ$44$]Kleisli[F, A, γ$44$]]

Definition Classes
KleisliInstances4
implicit def catsDataStrongForKleisli[F[_]](implicit F0: Functor[F]): Strong[[β$42$, γ$43$]Kleisli[F, β$42$, γ$43$]]

Definition Classes
KleisliInstances3
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def endoMonoidK[F[_]](implicit M: Monad[F]): MonoidK[[α]Kleisli[F, α, α]]

Definition Classes
KleisliExplicitInstances
def endoSemigroupK[F[_]](implicit FM: FlatMap[F]): SemigroupK[[α]Kleisli[F, α, α]]

Definition Classes
KleisliExplicitInstances
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 lift[F[_], A, B](x: F[B]): Kleisli[F, A, B]

Definition Classes
KleisliFunctions
def local[M[_], A, R](f: (R) ⇒ R)(fa: Kleisli[M, R, A]): 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
def pure[F[_], A, B](x: B)(implicit F: Applicative[F]): Kleisli[F, A, B]

Definition Classes
KleisliFunctions
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( ... )

Related Docs: class Kleisli | package data

object Kleisli extends KleisliInstances with KleisliFunctions with KleisliExplicitInstances with Serializable

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def ask[F[_], A](implicit F: Applicative[F]): Kleisli[F, A, A]

implicit def catsDataAlternativeForKleisli[F[_], A](implicit F0: Alternative[F]): Alternative[[γ$33$]Kleisli[F, A, γ$33$]]

implicit def catsDataApplicativeErrorForKleisli[F[_], E, A](implicit F0: ApplicativeError[F, E]): ApplicativeError[[γ$45$]Kleisli[F, A, γ$45$], E]

implicit def catsDataApplicativeForKleisli[F[_], A](implicit A: Applicative[F]): Applicative[[γ$46$]Kleisli[F, A, γ$46$]]

implicit def catsDataApplyForKleisli[F[_], A](implicit A: Apply[F]): Apply[[γ$47$]Kleisli[F, A, γ$47$]]

implicit def catsDataArrowForKleisli[F[_]](implicit M: Monad[F]): Arrow[[β$6$, γ$7$]Kleisli[F, β$6$, γ$7$]]

implicit def catsDataChoiceForKleisli[F[_]](implicit M: Monad[F]): Choice[[β$36$, γ$37$]Kleisli[F, β$36$, γ$37$]]

implicit val catsDataChoiceForKleisliId: Choice[[β$38$, γ$39$]Kleisli[[A]A, β$38$, γ$39$]]

implicit def catsDataCommutativeArrowForKleisli[F[_]](implicit M: CommutativeMonad[F]): CommutativeArrow[[β$10$, γ$11$]Kleisli[F, β$10$, γ$11$]]

implicit val catsDataCommutativeArrowForKleisliId: CommutativeArrow[[β$12$, γ$13$]Kleisli[[A]A, β$12$, γ$13$]]

implicit def catsDataCommutativeMonadForKleisli[F[_], A, B](implicit F0: CommutativeMonad[F]): CommutativeMonad[[γ$4$]Kleisli[F, A, γ$4$]]

implicit def catsDataComposeForKleisli[F[_]](implicit FM: FlatMap[F]): Compose[[β$40$, γ$41$]Kleisli[F, β$40$, γ$41$]]

implicit def catsDataContravariantForKleisli[F[_], C]: Contravariant[[β$14$]Kleisli[F, β$14$, C]]

implicit def catsDataFlatMapForKleisli[F[_], A](implicit FM: FlatMap[F]): FlatMap[[γ$35$]Kleisli[F, A, γ$35$]]

implicit def catsDataFunctorForKleisli[F[_], A](implicit F0: Functor[F]): Functor[[γ$48$]Kleisli[F, A, γ$48$]]

implicit def catsDataMonadErrorForKleisli[F[_], A, E](implicit ME: MonadError[F, E]): MonadError[[γ$8$]Kleisli[F, A, γ$8$], E]

implicit def catsDataMonadForKleisli[F[_], A](implicit M: Monad[F]): Monad[[γ$16$]Kleisli[F, A, γ$16$]]

implicit def catsDataMonadForKleisliId[A]: Monad[[γ$9$]Kleisli[[A]A, A, γ$9$]]

implicit def catsDataMonoidForKleisli[F[_], A, B](implicit FB0: Monoid[F[B]]): Monoid[Kleisli[F, A, B]]

implicit def catsDataMonoidKForKleisli[F[_], A](implicit F0: MonoidK[F]): MonoidK[[γ$34$]Kleisli[F, A, γ$34$]]

implicit def catsDataParallelForKleisli[F[_], M[_], A](implicit P: Parallel[M, F]): Parallel[[γ$17$]Kleisli[M, A, γ$17$], [γ$18$]Kleisli[F, A, γ$18$]]

implicit def catsDataSemigroupForKleisli[F[_], A, B](implicit FB0: Semigroup[F[B]]): Semigroup[Kleisli[F, A, B]]

implicit def catsDataSemigroupKForKleisli[F[_], A](implicit F0: SemigroupK[F]): SemigroupK[[γ$44$]Kleisli[F, A, γ$44$]]

implicit def catsDataStrongForKleisli[F[_]](implicit F0: Functor[F]): Strong[[β$42$, γ$43$]Kleisli[F, β$42$, γ$43$]]

def clone(): AnyRef

def endoMonoidK[F[_]](implicit M: Monad[F]): MonoidK[[α]Kleisli[F, α, α]]

def endoSemigroupK[F[_]](implicit FM: FlatMap[F]): SemigroupK[[α]Kleisli[F, α, α]]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

def lift[F[_], A, B](x: F[B]): Kleisli[F, A, B]

def local[M[_], A, R](f: (R) ⇒ R)(fa: Kleisli[M, R, A]): Kleisli[M, R, A]

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def pure[F[_], A, B](x: B)(implicit F: Applicative[F]): Kleisli[F, A, B]

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from Serializable

Inherited from Serializable

Inherited from KleisliExplicitInstances

Inherited from KleisliFunctions

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 AnyRef

Inherited from Any

Ungrouped