Package com.github.tonivade.purefun.instances

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

java.lang.Object

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

All Implemented Interfaces:

Kind<MonadMTL.EffectE<F,E,?>,A>

Enclosing class:

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

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

Field Summary

Fields

Modifier and Type	Field	Description
private final EitherT<F,E,A>	value

Constructor Summary

Constructors

Constructor	Description
EffectE(Kind<EitherT<F,E,?>,A> value)

Method Summary

Modifier and Type	Method	Description
Kind<F,Either<E,A>>	run()
<R extends Kind<F, Either<E, A>>> R	run(Function<Kind<F,? extends Either<E,A>>,R> fixer)
static <F extends Kind<F, ?>, E, A> MonadMTL.EffectE<F,E,A>	toEffectE(Kind<MonadMTL.EffectE<F,E,?>,? extends A> hkt)
EitherT<F,E,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 EitherT<F extends Kind<F,?>,E,A> value

Constructor Details

EffectE

public EffectE(Kind<EitherT<F,E,?>,A> value)

Method Details

value

public EitherT<F,E,A> value()

run

public Kind<F,Either<E,A>> run()

run

public <R extends Kind<F,
Either<E,
A>>> R run(Function<Kind<F,? extends Either<E,A>>,R> fixer)

toEffectE

public static <F extends Kind<F,
?>,
E,
A>
MonadMTL.EffectE<F,E,A> toEffectE(Kind<MonadMTL.EffectE<F,E,?>,? extends A> hkt)