arrow-mtl / arrow.mtl.extensions / KleisliMonadReader

KleisliMonadReader

@extension interface KleisliMonadReader<F, D> : MonadReader<KleisliPartialOf<F, D>, D>, KleisliMonad<F, D>

Functions

ask open fun ask(): Kleisli<F, D, D>
local open fun <A> Kind<KleisliPartialOf<F, D>, A>.local(f: (D) -> D): Kleisli<F, D, A>
MF abstract fun MF(): Monad<F>

Inheritors

KleisliMtlContext class KleisliMtlContext<F, D, E> : KleisliMonadReader<F, D>, KleisliMonadError<F, D, E>