All Superinterfaces:: Applicative<Kleisli<F,R,?>>, Functor<Kleisli<F,R,?>>, Invariant<Kleisli<F,R,?>>, KleisliMonad<F,R>, Monad<Kleisli<F,R,?>>, MonadReader<Kleisli<F,R,?>,R>, Selective<Kleisli<F,R,?>>

interface KleisliMonadReader<F extends Kind<F,?>,R> extends MonadReader<Kleisli<F,R,?>,R>, KleisliMonad<F,R>

Nested Class Summary

Nested classes/interfaces inherited from interface com.github.tonivade.purefun.typeclasses.Applicative
Applicative.Map2<F extends Kind<F,?>,A,B>, Applicative.Map3<F extends Kind<F,?>,A,B,C>, Applicative.Map4<F extends Kind<F,?>,A,B,C,D>, Applicative.Map5<F extends Kind<F,?>,A,B,C,D,E>
Method Summary

Modifier and Type

Method

Description

default Kleisli<F,R,R>

ask()

static <F extends Kind<F, ?>, Z> KleisliMonadReader<F,Z>

instance(Monad<F> monadF)

Methods inherited from interface com.github.tonivade.purefun.typeclasses.Applicative
first, last, mapN, mapN, mapN, mapN, mapN, mapN, mapN, mapN, tuple, tuple, tuple, tuple

Methods inherited from interface com.github.tonivade.purefun.typeclasses.Functor
imap, lift

Methods inherited from interface com.github.tonivade.purefun.instances.KleisliMonad
flatMap, monadF, pure

Methods inherited from interface com.github.tonivade.purefun.typeclasses.Monad
andThen, ap, flatten, map, select, tailRecM, use

Methods inherited from interface com.github.tonivade.purefun.typeclasses.MonadReader
reader

Methods inherited from interface com.github.tonivade.purefun.typeclasses.Selective
allS, allS, andS, anyS, anyS, branch, ifS, orS, whenS

Interface KleisliMonadReader<F extends Kind<F,?>,R>

Nested Class Summary