Uses of Class
com.jnape.palatable.lambda.monad.transformer.builtin.LazyT
Packages that use LazyT
-
Uses of LazyT in com.jnape.palatable.lambda.monad.transformer.builtin
Methods in com.jnape.palatable.lambda.monad.transformer.builtin that return LazyTModifier and TypeMethodDescriptionLazyT.discardL
(Applicative<B, LazyT<M, ?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.LazyT.discardR
(Applicative<B, LazyT<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.LazyT.pure
(B b) Lift the valueb
into this applicative functor.LazyT.trampolineM
(Fn1<? super A, ? extends MonadRec<RecursiveResult<A, B>, LazyT<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 LazyTModifier and TypeMethodDescriptionGiven alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.LazyT.liftLazyT()
Method parameters in com.jnape.palatable.lambda.monad.transformer.builtin with type arguments of type LazyTModifier and TypeMethodDescriptionLazyT.discardL
(Applicative<B, LazyT<M, ?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.LazyT.discardR
(Applicative<B, LazyT<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.LazyT.trampolineM
(Fn1<? super A, ? extends MonadRec<RecursiveResult<A, B>, LazyT<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.