Uses of Interface
com.jnape.palatable.lambda.monad.transformer.MonadT
Packages that use MonadT
Package
Description
-
Uses of MonadT in com.jnape.palatable.lambda.monad
Classes in com.jnape.palatable.lambda.monad that implement MonadTModifier and TypeClassDescriptionfinal class
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 MonadTModifier and TypeInterfaceDescriptioninterface
interface
Methods in com.jnape.palatable.lambda.monad.transformer that return MonadTModifier and TypeMethodDescriptionMonadT.discardL
(Applicative<B, MT> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.MonadT.discardR
(Applicative<B, MT> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Chain dependent computations that may continue or short-circuit based on previous results.Covariantly transmute this functor's parameter using the given mapping function.MonadT.pure
(B b) Lift the valueb
into this applicative functor.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 MonadTModifier and TypeMethodDescriptionGiven 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 MonadTModifier and TypeClassDescriptionfinal class
Amonad transformer
forEither
.final class
Amonad transformer
forIdentity
.class
Amonad transformer
over a co-inductive, singly-linked spine of values embedded in effects.final class
Amonad transformer
forLazy
.final class
Amonad transformer
forMaybe
.final class
final class
TheState
monad transformer
.final class
Amonad transformer
forWriter
.