All Superinterfaces:: Applicative<StateT<F,S,?>>, Functor<StateT<F,S,?>>, Invariant<StateT<F,S,?>>, Monad<StateT<F,S,?>>, MonadState<StateT<F,S,?>,S>, Selective<StateT<F,S,?>>, StateTMonad<F,S>

interface StateTMonadState<F extends Kind<F,?>,S> extends MonadState<StateT<F,S,?>,S>, 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,S>

get()

static <F extends Kind<F, ?>, S> StateTMonadState<F,S>

instance(Monad<F> monadF)

default StateT<F,S,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.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

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

Interface StateTMonadState<F extends Kind<F,?>,S>

Nested Class Summary