Uses of Interface
com.jnape.palatable.lambda.monad.transformer.MonadT
-
Packages that use MonadT Package Description com.jnape.palatable.lambda.monad com.jnape.palatable.lambda.monad.transformer com.jnape.palatable.lambda.monad.transformer.builtin -
-
Uses of MonadT in com.jnape.palatable.lambda.monad
Classes in com.jnape.palatable.lambda.monad that implement MonadT Modifier and Type Class Description class
SafeT<M extends MonadRec<?,M>,A>
A stack-safemonad transformer
that can safely interpret deeply nested left- or right-associated binds for anyMonadRec
. -
Uses of MonadT in com.jnape.palatable.lambda.monad.transformer
Classes in com.jnape.palatable.lambda.monad.transformer with type parameters of type MonadT Modifier and Type Interface Description interface
MonadT<M extends MonadRec<?,M>,A,MT extends MonadT<M,?,MT,T>,T extends MonadT<?,?,?,T>>
interface
MonadT<M extends MonadRec<?,M>,A,MT extends MonadT<M,?,MT,T>,T extends MonadT<?,?,?,T>>
Methods in com.jnape.palatable.lambda.monad.transformer that return MonadT Modifier and Type Method Description default <B> MonadT<M,B,MT,T>
MonadT. discardL(Applicative<B,MT> appB)
Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.default <B> MonadT<M,A,MT,T>
MonadT. discardR(Applicative<B,MT> appB)
Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.<B> MonadT<M,B,MT,T>
MonadT. flatMap(Fn1<? super A,? extends Monad<B,MT>> f)
Chain dependent computations that may continue or short-circuit based on previous results.default <B> MonadT<M,B,MT,T>
MonadT. fmap(Fn1<? super A,? extends B> fn)
Covariantly transmute this functor's parameter using the given mapping function.<B,N extends MonadRec<?,N>>
MonadT<N,B,?,T>MonadT. lift(MonadRec<B,N> mb)
<B> MonadT<M,B,MT,T>
MonadT. pure(B b)
Lift the valueb
into this applicative functor.default <B> MonadT<M,B,MT,T>
MonadT. zip(Applicative<Fn1<? super A,? extends B>,MT> appFn)
Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Methods in com.jnape.palatable.lambda.monad.transformer that return types with arguments of type MonadT Modifier and Type Method Description default <B> Lazy<? extends MonadT<M,B,MT,T>>
MonadT. lazyZip(Lazy<? extends Applicative<Fn1<? super A,? extends B>,MT>> lazyAppFn)
Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports. -
Uses of MonadT in com.jnape.palatable.lambda.monad.transformer.builtin
Classes in com.jnape.palatable.lambda.monad.transformer.builtin that implement MonadT Modifier and Type Class Description class
EitherT<M extends MonadRec<?,M>,L,R>
Amonad transformer
forEither
.class
IdentityT<M extends MonadRec<?,M>,A>
Amonad transformer
forIdentity
.class
IterateT<M extends MonadRec<?,M>,A>
Amonad transformer
over a co-inductive, singly-linked spine of values embedded in effects.class
LazyT<M extends MonadRec<?,M>,A>
Amonad transformer
forLazy
.class
MaybeT<M extends MonadRec<?,M>,A>
Amonad transformer
forMaybe
.class
ReaderT<R,M extends MonadRec<?,M>,A>
class
StateT<S,M extends MonadRec<?,M>,A>
TheState
monad transformer
.class
WriterT<W,M extends MonadRec<?,M>,A>
Amonad transformer
forWriter
.
-