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 thisApplicativeandappB, discarding thisApplicative'sresult and returningappB.<B> LazyT<M,A>LazyT. discardR(Applicative<B,LazyT<M,?>> appB)Sequence both thisApplicativeandappB, discardingappB'sresult 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 valuebinto this applicative functor.<B> LazyT<M,B>LazyT. trampolineM(Fn1<? super A,? extends MonadRec<RecursiveResult<A,B>,LazyT<M,?>>> fn)Given some operation yielding aRecursiveResultinside thisMonadRec, internally trampoline the operation until it yields aterminationinstruction.<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 alazyinstance 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 thisApplicativeandappB, discarding thisApplicative'sresult and returningappB.<B> LazyT<M,A>LazyT. discardR(Applicative<B,LazyT<M,?>> appB)Sequence both thisApplicativeandappB, discardingappB'sresult 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 alazyinstance 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 aRecursiveResultinside thisMonadRec, internally trampoline the operation until it yields aterminationinstruction.<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.
-