Uses of Class
com.jnape.palatable.lambda.functor.builtin.Writer
Packages that use Writer
-
Uses of Writer in com.jnape.palatable.lambda.functor.builtin
Classes in com.jnape.palatable.lambda.functor.builtin that implement interfaces with type arguments of type WriterModifier and TypeClassDescriptionfinal classWriter<W,A> The lazy writer monad, a monad capturing some accumulation (eventually to be folded in terms of a given monoid) and a value.final classWriter<W,A> The lazy writer monad, a monad capturing some accumulation (eventually to be folded in terms of a given monoid) and a value.Methods in com.jnape.palatable.lambda.functor.builtin that return WriterModifier and TypeMethodDescriptionUpdate the accumulated state.Writer.discardL(Applicative<B, Writer<W, ?>> appB) Sequence both thisApplicativeandappB, discarding thisApplicative'sresult and returningappB.Writer.discardR(Applicative<B, Writer<W, ?>> appB) Sequence both thisApplicativeandappB, discardingappB'sresult 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.static <W,A> Writer <W, A> Writer.listen(A a) Construct aWriterfrom a value.Map the accumulation into a value and pair it with the current output.Writer.pure(B b) Lift the valuebinto this applicative functor.Writer.tell(W w) Construct aWriterfrom an accumulation.Writer.trampolineM(Fn1<? super A, ? extends MonadRec<RecursiveResult<A, B>, Writer<W, ?>>> fn) Given some operation yielding aRecursiveResultinside thisMonadRec, internally trampoline the operation until it yields aterminationinstruction.static <W,A> Writer <W, A> Construct aWriterfrom an accumulation and a value.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.functor.builtin that return types with arguments of type WriterModifier and TypeMethodDescriptionGiven alazyinstance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Writer.pureWriter()Method parameters in com.jnape.palatable.lambda.functor.builtin with type arguments of type WriterModifier and TypeMethodDescriptionWriter.discardL(Applicative<B, Writer<W, ?>> appB) Sequence both thisApplicativeandappB, discarding thisApplicative'sresult and returningappB.Writer.discardR(Applicative<B, Writer<W, ?>> appB) Sequence both thisApplicativeandappB, discardingappB'sresult and returning thisApplicative.Chain dependent computations that may continue or short-circuit based on previous results.Given alazyinstance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Writer.trampolineM(Fn1<? super A, ? extends MonadRec<RecursiveResult<A, B>, Writer<W, ?>>> fn) Given some operation yielding aRecursiveResultinside thisMonadRec, internally trampoline the operation until it yields aterminationinstruction.Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.