Uses of Interface
com.jnape.palatable.lambda.monad.MonadBase
-
-
Uses of MonadBase in com.jnape.palatable.lambda.functions.specialized
Classes in com.jnape.palatable.lambda.functions.specialized with type parameters of type MonadBase Modifier and Type Interface Description interface
Lift<B extends MonadBase<?,?,B>>
Methods in com.jnape.palatable.lambda.functions.specialized with type parameters of type MonadBase Modifier and Type Method Description default <A,M extends MonadRec<?,M>,MBA extends MonadBase<M,A,B>>
MBALift. apply(MonadRec<A,M> ma)
static <B extends MonadBase<?,?,B>>
Lift<B>Lift. lift(Lift<B> lift)
Static method to aid inference.Methods in com.jnape.palatable.lambda.functions.specialized that return MonadBase Modifier and Type Method Description <A,M extends MonadRec<?,M>>
MonadBase<M,A,B>Lift. checkedApply(MonadRec<A,M> ga)
-
Uses of MonadBase in com.jnape.palatable.lambda.monad
Classes in com.jnape.palatable.lambda.monad with type parameters of type MonadBase Modifier and Type Interface Description interface
MonadBase<M extends MonadRec<?,M>,A,MB extends MonadBase<?,?,MB>>
Classes in com.jnape.palatable.lambda.monad that implement MonadBase 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
.Methods in com.jnape.palatable.lambda.monad that return MonadBase Modifier and Type Method Description <C,N extends MonadRec<?,N>>
MonadBase<N,C,MB>MonadBase. lift(MonadRec<C,N> nc)
-
Uses of MonadBase in com.jnape.palatable.lambda.monad.transformer
Subinterfaces of MonadBase in com.jnape.palatable.lambda.monad.transformer Modifier and Type Interface Description interface
MonadT<M extends MonadRec<?,M>,A,MT extends MonadT<M,?,MT,T>,T extends MonadT<?,?,?,T>>
-
Uses of MonadBase in com.jnape.palatable.lambda.monad.transformer.builtin
Classes in com.jnape.palatable.lambda.monad.transformer.builtin that implement MonadBase 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
.
-