Uses of Class
com.jnape.palatable.lambda.monad.transformer.builtin.IdentityT
Packages that use IdentityT
-
Uses of IdentityT in com.jnape.palatable.lambda.monad.transformer.builtin
Methods in com.jnape.palatable.lambda.monad.transformer.builtin that return IdentityTModifier and TypeMethodDescriptionIdentityT.discardL
(Applicative<B, IdentityT<M, ?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.IdentityT.discardR
(Applicative<B, IdentityT<M, ?>> 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.IdentityT.pure
(B b) Lift the valueb
into this applicative functor.IdentityT.trampolineM
(Fn1<? super A, ? extends MonadRec<RecursiveResult<A, B>, IdentityT<M, ?>>> fn) Given some operation yielding aRecursiveResult
inside thisMonadRec
, internally trampoline the operation until it yields atermination
instruction.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.builtin that return types with arguments of type IdentityTModifier and TypeMethodDescriptionGiven alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.IdentityT.liftIdentityT()
IdentityT.pureIdentityT
(Pure<M> pureM) Method parameters in com.jnape.palatable.lambda.monad.transformer.builtin with type arguments of type IdentityTModifier and TypeMethodDescriptionIdentityT.discardL
(Applicative<B, IdentityT<M, ?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.IdentityT.discardR
(Applicative<B, IdentityT<M, ?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Chain dependent computations that may continue or short-circuit based on previous results.Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.IdentityT.trampolineM
(Fn1<? super A, ? extends MonadRec<RecursiveResult<A, B>, IdentityT<M, ?>>> fn) Given some operation yielding aRecursiveResult
inside thisMonadRec
, internally trampoline the operation until it yields atermination
instruction.Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.