Package com.github.tonivade.purefun.instances

Class MonadMTL.EffectS<F extends Kind<F,?>,S,R,E,A>

java.lang.Object

com.github.tonivade.purefun.instances.MonadMTL.EffectS<F,S,R,E,A>

All Implemented Interfaces:

Kind<MonadMTL.EffectS<F,S,R,E,?>,A>

Enclosing class:

MonadMTL<F extends Kind<F,?>,S,R,E>

public static final class MonadMTL.EffectS<F extends Kind<F,?>,S,R,E,A>
extends Object
implements Kind<MonadMTL.EffectS<F,S,R,E,?>,A>

Field Summary

Fields

Modifier and Type	Field	Description
private final StateT<MonadMTL.EffectR<F,R,E,?>,S,A>	value

Constructor Summary

Constructors

Constructor	Description
EffectS(Kind<StateT<MonadMTL.EffectR<F,R,E,?>,S,?>,A> value)

Method Summary

Modifier and Type	Method	Description
MonadMTL.EffectR<F,R,E,Tuple2<S,A>>	run(S state)
MonadMTL.EffectE<F,E,Tuple2<S,A>>	run(S state, R env)
static <F extends Kind<F, ?>, S, R, E, A> MonadMTL.EffectS<F,S,R,E,A>	toEffectS(Kind<MonadMTL.EffectS<F,S,R,E,?>,? extends A> hkt)
StateT<MonadMTL.EffectR<F,R,E,?>,S,A>	value()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface com.github.tonivade.purefun.Kind

fix, kind

Field Details

value

private final StateT<MonadMTL.EffectR<F extends Kind<F,?>,R,E,?>,S,A> value

Constructor Details

EffectS

public EffectS(Kind<StateT<MonadMTL.EffectR<F,R,E,?>,S,?>,A> value)

Method Details

value

public StateT<MonadMTL.EffectR<F,R,E,?>,S,A> value()

run

public MonadMTL.EffectR<F,R,E,Tuple2<S,A>> run(S state)

run

public MonadMTL.EffectE<F,E,Tuple2<S,A>> run(S state,
 R env)

toEffectS

public static <F extends Kind<F,
?>,
S,
R,
E,
A>
MonadMTL.EffectS<F,S,R,E,A> toEffectS(Kind<MonadMTL.EffectS<F,S,R,E,?>,? extends A> hkt)