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

interface KleisliMonadState<F extends Kind<F,?>,R,S> extends MonadState<Kleisli<F,R,?>,S>, 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,S>

get()

static <F extends Kind<F, ?>, R, S> KleisliMonadState<F,R,S>

instance(MonadState<F,S> monadStateF)

MonadState<F,S>

monadF()

default Kleisli<F,R,Unit>

set(S state)

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, 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.MonadState
inspect, modify, state

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

Interface KleisliMonadState<F extends Kind<F,?>,R,S>

Nested Class Summary