Package com.github.tonivade.purefun.instances

Class EffectRMonadReader<F extends Kind<F,?>,R,E>

java.lang.Object

com.github.tonivade.purefun.instances.EffectRMonad<F,R,E>

com.github.tonivade.purefun.instances.EffectRMonadReader<F,R,E>

All Implemented Interfaces:

Applicative<MonadMTL.EffectR<F,R,E,?>>, Functor<MonadMTL.EffectR<F,R,E,?>>, Invariant<MonadMTL.EffectR<F,R,E,?>>, Monad<MonadMTL.EffectR<F,R,E,?>>, MonadReader<MonadMTL.EffectR<F,R,E,?>,R>, Selective<MonadMTL.EffectR<F,R,E,?>>

class EffectRMonadReader<F extends Kind<F,?>,R,E>
extends EffectRMonad<F,R,E>
implements MonadReader<MonadMTL.EffectR<F,R,E,?>,R>

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>

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor	Description
EffectRMonadReader(Monad<F> monad)

Method Summary

Modifier and Type	Method	Description
MonadMTL.EffectR<F,R,E,R>	ask()

Methods inherited from class com.github.tonivade.purefun.instances.EffectRMonad

flatMap, pure

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.typeclasses.Applicative

first, last, mapN, mapN, mapN, mapN, mapN, mapN, mapN, mapN, pure, 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, flatMap, 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

Field Details

monad

private final MonadReader<Kleisli<MonadMTL.EffectE<F extends Kind<F,?>,E,?>,R,?>,R> monad

Constructor Details

EffectRMonadReader

public EffectRMonadReader(Monad<F> monad)

Method Details

ask

public MonadMTL.EffectR<F,R,E,R> ask()

Specified by:

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