Package com.github.tonivade.purefun.instances

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

java.lang.Object

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

All Implemented Interfaces:

Kind<MonadMTL.EffectR<F,R,E,?>,A>

Enclosing class:

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

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

Field Summary

Fields

Modifier and Type	Field	Description
private final Kleisli<MonadMTL.EffectE<F,E,?>,R,A>	value

Constructor Summary

Constructors

Constructor	Description
EffectR(Kind<Kleisli<MonadMTL.EffectE<F,E,?>,R,?>,A> value)

Method Summary

Modifier and Type	Method	Description
MonadMTL.EffectE<F,E,A>	run(R config)
static <F extends Kind<F, ?>, R, E, A> MonadMTL.EffectR<F,R,E,A>	toEffectR(Kind<MonadMTL.EffectR<F,R,E,?>,? extends A> hkt)
Kleisli<MonadMTL.EffectE<F,E,?>,R,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 Kleisli<MonadMTL.EffectE<F extends Kind<F,?>,E,?>,R,A> value

Constructor Details

EffectR

public EffectR(Kind<Kleisli<MonadMTL.EffectE<F,E,?>,R,?>,A> value)

Method Details

value

public Kleisli<MonadMTL.EffectE<F,E,?>,R,A> value()

run

public MonadMTL.EffectE<F,E,A> run(R config)

toEffectR

public static <F extends Kind<F,
?>,
R,
E,
A>
MonadMTL.EffectR<F,R,E,A> toEffectR(Kind<MonadMTL.EffectR<F,R,E,?>,? extends A> hkt)