Package com.github.tonivade.purefun.instances

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

All Superinterfaces:

Applicative<StateT<F,S,?>>, Functor<StateT<F,S,?>>, Invariant<StateT<F,S,?>>, Monad<StateT<F,S,?>>, MonadReader<StateT<F,S,?>,R>, Selective<StateT<F,S,?>>, StateTMonad<F,S>

interface StateTMonadReader<F extends Kind<F,?>,S,R>
extends MonadReader<StateT<F,S,?>,R>, StateTMonad<F,S>

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 StateT<F,S,R>	ask()
static <F extends Kind<F, ?>, S, R> StateTMonadReader<F,S,R>	instance(MonadReader<F,R> monadReaderF)
MonadReader<F,R>	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.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

Methods inherited from interface com.github.tonivade.purefun.instances.StateTMonad

flatMap, pure

Method Details

instance

static <F extends Kind<F,
?>,
S,
R>
StateTMonadReader<F,S,R> instance(MonadReader<F,R> monadReaderF)

monadF

MonadReader<F,R> monadF()

Specified by:

monadF in interface StateTMonad<F extends Kind<F,?>,S>

ask

default StateT<F,S,R> ask()

Specified by:

ask in interface MonadReader<F extends Kind<F,?>,S>