Uses of Class
com.jnape.palatable.lambda.monad.transformer.builtin.LazyT
-
Packages that use LazyT Package Description com.jnape.palatable.lambda.monad.transformer.builtin -
-
Uses of LazyT in com.jnape.palatable.lambda.monad.transformer.builtin
Methods in com.jnape.palatable.lambda.monad.transformer.builtin that return LazyT Modifier and Type Method Description <B> LazyT<M,B>
LazyT. discardL(Applicative<B,LazyT<M,?>> appB)
Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.<B> LazyT<M,A>
LazyT. discardR(Applicative<B,LazyT<M,?>> appB)
Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.<B> LazyT<M,B>
LazyT. flatMap(Fn1<? super A,? extends Monad<B,LazyT<M,?>>> f)
Chain dependent computations that may continue or short-circuit based on previous results.<B> LazyT<M,B>
LazyT. fmap(Fn1<? super A,? extends B> fn)
Covariantly transmute this functor's parameter using the given mapping function.static <M extends MonadRec<?,M>,A>
LazyT<M,A>LazyT. lazyT(MonadRec<Lazy<A>,M> mla)
<B,N extends MonadRec<?,N>>
LazyT<N,B>LazyT. lift(MonadRec<B,N> mb)
<B> LazyT<M,B>
LazyT. pure(B b)
Lift the valueb
into this applicative functor.<B> LazyT<M,B>
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.<B> LazyT<M,B>
LazyT. zip(Applicative<Fn1<? super A,? extends B>,LazyT<M,?>> 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.builtin that return types with arguments of type LazyT Modifier and Type Method Description <B> Lazy<LazyT<M,B>>
LazyT. lazyZip(Lazy<? extends Applicative<Fn1<? super A,? extends B>,LazyT<M,?>>> lazyAppFn)
Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.static Lift<LazyT<?,?>>
LazyT. liftLazyT()
static <M extends MonadRec<?,M>>
Pure<LazyT<M,?>>LazyT. pureLazyT(Pure<M> pureM)
Method parameters in com.jnape.palatable.lambda.monad.transformer.builtin with type arguments of type LazyT Modifier and Type Method Description <B> LazyT<M,B>
LazyT. discardL(Applicative<B,LazyT<M,?>> appB)
Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.<B> LazyT<M,A>
LazyT. discardR(Applicative<B,LazyT<M,?>> appB)
Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.<B> LazyT<M,B>
LazyT. flatMap(Fn1<? super A,? extends Monad<B,LazyT<M,?>>> f)
Chain dependent computations that may continue or short-circuit based on previous results.<B> Lazy<LazyT<M,B>>
LazyT. lazyZip(Lazy<? extends Applicative<Fn1<? super A,? extends B>,LazyT<M,?>>> lazyAppFn)
Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.<B> LazyT<M,B>
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.<B> LazyT<M,B>
LazyT. zip(Applicative<Fn1<? super A,? extends B>,LazyT<M,?>> appFn)
Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
-