Uses of Package
com.jnape.palatable.lambda.monad
-
Classes in com.jnape.palatable.lambda.monad used by com.jnape.palatable.lambda.adt Class Description Monad Monads areApplicative
functors that support a flattening operation to unwrapM<M<A>> -> M<A>
.MonadError An interface formonads
that can be interrupted with some type of error.MonadRec A class ofmonads
that offer a stack-safe interface for performing arbitrarily manyflatmap-like
operations viaMonadRec.trampolineM(Fn1)
. -
Classes in com.jnape.palatable.lambda.monad used by com.jnape.palatable.lambda.adt.choice Class Description Monad Monads areApplicative
functors that support a flattening operation to unwrapM<M<A>> -> M<A>
.MonadRec A class ofmonads
that offer a stack-safe interface for performing arbitrarily manyflatmap-like
operations viaMonadRec.trampolineM(Fn1)
. -
Classes in com.jnape.palatable.lambda.monad used by com.jnape.palatable.lambda.adt.hlist Class Description Monad Monads areApplicative
functors that support a flattening operation to unwrapM<M<A>> -> M<A>
.MonadRec A class ofmonads
that offer a stack-safe interface for performing arbitrarily manyflatmap-like
operations viaMonadRec.trampolineM(Fn1)
.MonadWriter AMonad
that is capable of writing and accumulating state alongside a value, but is not necessarily capable of simultaneously accessing the state and the value. -
Classes in com.jnape.palatable.lambda.monad used by com.jnape.palatable.lambda.adt.hmap Class Description Monad Monads areApplicative
functors that support a flattening operation to unwrapM<M<A>> -> M<A>
.MonadRec A class ofmonads
that offer a stack-safe interface for performing arbitrarily manyflatmap-like
operations viaMonadRec.trampolineM(Fn1)
. -
Classes in com.jnape.palatable.lambda.monad used by com.jnape.palatable.lambda.functions Class Description Monad Monads areApplicative
functors that support a flattening operation to unwrapM<M<A>> -> M<A>
.MonadReader A monad that is capable of reading an environmentR
and producing a lifted valueA
.MonadRec A class ofmonads
that offer a stack-safe interface for performing arbitrarily manyflatmap-like
operations viaMonadRec.trampolineM(Fn1)
.MonadWriter AMonad
that is capable of writing and accumulating state alongside a value, but is not necessarily capable of simultaneously accessing the state and the value. -
Classes in com.jnape.palatable.lambda.monad used by com.jnape.palatable.lambda.functions.builtin.fn1 Class Description Monad Monads areApplicative
functors that support a flattening operation to unwrapM<M<A>> -> M<A>
.MonadReader A monad that is capable of reading an environmentR
and producing a lifted valueA
.MonadRec A class ofmonads
that offer a stack-safe interface for performing arbitrarily manyflatmap-like
operations viaMonadRec.trampolineM(Fn1)
.MonadWriter AMonad
that is capable of writing and accumulating state alongside a value, but is not necessarily capable of simultaneously accessing the state and the value. -
Classes in com.jnape.palatable.lambda.monad used by com.jnape.palatable.lambda.functions.builtin.fn2 Class Description Monad Monads areApplicative
functors that support a flattening operation to unwrapM<M<A>> -> M<A>
.MonadReader A monad that is capable of reading an environmentR
and producing a lifted valueA
.MonadRec A class ofmonads
that offer a stack-safe interface for performing arbitrarily manyflatmap-like
operations viaMonadRec.trampolineM(Fn1)
.MonadWriter AMonad
that is capable of writing and accumulating state alongside a value, but is not necessarily capable of simultaneously accessing the state and the value. -
Classes in com.jnape.palatable.lambda.monad used by com.jnape.palatable.lambda.functions.builtin.fn3 Class Description Monad Monads areApplicative
functors that support a flattening operation to unwrapM<M<A>> -> M<A>
.MonadReader A monad that is capable of reading an environmentR
and producing a lifted valueA
.MonadRec A class ofmonads
that offer a stack-safe interface for performing arbitrarily manyflatmap-like
operations viaMonadRec.trampolineM(Fn1)
.MonadWriter AMonad
that is capable of writing and accumulating state alongside a value, but is not necessarily capable of simultaneously accessing the state and the value. -
Classes in com.jnape.palatable.lambda.monad used by com.jnape.palatable.lambda.functions.builtin.fn4 Class Description Monad Monads areApplicative
functors that support a flattening operation to unwrapM<M<A>> -> M<A>
.MonadReader A monad that is capable of reading an environmentR
and producing a lifted valueA
.MonadRec A class ofmonads
that offer a stack-safe interface for performing arbitrarily manyflatmap-like
operations viaMonadRec.trampolineM(Fn1)
.MonadWriter AMonad
that is capable of writing and accumulating state alongside a value, but is not necessarily capable of simultaneously accessing the state and the value. -
Classes in com.jnape.palatable.lambda.monad used by com.jnape.palatable.lambda.functions.builtin.fn5 Class Description Monad Monads areApplicative
functors that support a flattening operation to unwrapM<M<A>> -> M<A>
.MonadReader A monad that is capable of reading an environmentR
and producing a lifted valueA
.MonadRec A class ofmonads
that offer a stack-safe interface for performing arbitrarily manyflatmap-like
operations viaMonadRec.trampolineM(Fn1)
.MonadWriter AMonad
that is capable of writing and accumulating state alongside a value, but is not necessarily capable of simultaneously accessing the state and the value. -
Classes in com.jnape.palatable.lambda.monad used by com.jnape.palatable.lambda.functions.builtin.fn6 Class Description Monad Monads areApplicative
functors that support a flattening operation to unwrapM<M<A>> -> M<A>
.MonadReader A monad that is capable of reading an environmentR
and producing a lifted valueA
.MonadRec A class ofmonads
that offer a stack-safe interface for performing arbitrarily manyflatmap-like
operations viaMonadRec.trampolineM(Fn1)
.MonadWriter AMonad
that is capable of writing and accumulating state alongside a value, but is not necessarily capable of simultaneously accessing the state and the value. -
Classes in com.jnape.palatable.lambda.monad used by com.jnape.palatable.lambda.functions.builtin.fn7 Class Description Monad Monads areApplicative
functors that support a flattening operation to unwrapM<M<A>> -> M<A>
.MonadReader A monad that is capable of reading an environmentR
and producing a lifted valueA
.MonadRec A class ofmonads
that offer a stack-safe interface for performing arbitrarily manyflatmap-like
operations viaMonadRec.trampolineM(Fn1)
.MonadWriter AMonad
that is capable of writing and accumulating state alongside a value, but is not necessarily capable of simultaneously accessing the state and the value. -
Classes in com.jnape.palatable.lambda.monad used by com.jnape.palatable.lambda.functions.builtin.fn8 Class Description Monad Monads areApplicative
functors that support a flattening operation to unwrapM<M<A>> -> M<A>
.MonadReader A monad that is capable of reading an environmentR
and producing a lifted valueA
.MonadRec A class ofmonads
that offer a stack-safe interface for performing arbitrarily manyflatmap-like
operations viaMonadRec.trampolineM(Fn1)
.MonadWriter AMonad
that is capable of writing and accumulating state alongside a value, but is not necessarily capable of simultaneously accessing the state and the value. -
Classes in com.jnape.palatable.lambda.monad used by com.jnape.palatable.lambda.functions.recursion Class Description Monad Monads areApplicative
functors that support a flattening operation to unwrapM<M<A>> -> M<A>
.MonadReader A monad that is capable of reading an environmentR
and producing a lifted valueA
.MonadRec A class ofmonads
that offer a stack-safe interface for performing arbitrarily manyflatmap-like
operations viaMonadRec.trampolineM(Fn1)
.MonadWriter AMonad
that is capable of writing and accumulating state alongside a value, but is not necessarily capable of simultaneously accessing the state and the value. -
Classes in com.jnape.palatable.lambda.monad used by com.jnape.palatable.lambda.functions.specialized Class Description Monad Monads areApplicative
functors that support a flattening operation to unwrapM<M<A>> -> M<A>
.MonadBase MonadReader A monad that is capable of reading an environmentR
and producing a lifted valueA
.MonadRec A class ofmonads
that offer a stack-safe interface for performing arbitrarily manyflatmap-like
operations viaMonadRec.trampolineM(Fn1)
.MonadWriter AMonad
that is capable of writing and accumulating state alongside a value, but is not necessarily capable of simultaneously accessing the state and the value. -
Classes in com.jnape.palatable.lambda.monad used by com.jnape.palatable.lambda.functor.builtin Class Description Monad Monads areApplicative
functors that support a flattening operation to unwrapM<M<A>> -> M<A>
.MonadReader A monad that is capable of reading an environmentR
and producing a lifted valueA
.MonadRec A class ofmonads
that offer a stack-safe interface for performing arbitrarily manyflatmap-like
operations viaMonadRec.trampolineM(Fn1)
.MonadWriter AMonad
that is capable of writing and accumulating state alongside a value, but is not necessarily capable of simultaneously accessing the state and the value. -
Classes in com.jnape.palatable.lambda.monad used by com.jnape.palatable.lambda.io Class Description Monad Monads areApplicative
functors that support a flattening operation to unwrapM<M<A>> -> M<A>
.MonadError An interface formonads
that can be interrupted with some type of error.MonadRec A class ofmonads
that offer a stack-safe interface for performing arbitrarily manyflatmap-like
operations viaMonadRec.trampolineM(Fn1)
. -
Classes in com.jnape.palatable.lambda.monad used by com.jnape.palatable.lambda.monad Class Description Monad Monads areApplicative
functors that support a flattening operation to unwrapM<M<A>> -> M<A>
.MonadBase MonadError An interface formonads
that can be interrupted with some type of error.MonadReader A monad that is capable of reading an environmentR
and producing a lifted valueA
.MonadRec A class ofmonads
that offer a stack-safe interface for performing arbitrarily manyflatmap-like
operations viaMonadRec.trampolineM(Fn1)
.MonadWriter AMonad
that is capable of writing and accumulating state alongside a value, but is not necessarily capable of simultaneously accessing the state and the value.SafeT A stack-safemonad transformer
that can safely interpret deeply nested left- or right-associated binds for anyMonadRec
.SafeT.Body SafeT.Body.Suspended SafeT.Body.Suspended.Φ -
Classes in com.jnape.palatable.lambda.monad used by com.jnape.palatable.lambda.monad.transformer Class Description Monad Monads areApplicative
functors that support a flattening operation to unwrapM<M<A>> -> M<A>
.MonadBase MonadRec A class ofmonads
that offer a stack-safe interface for performing arbitrarily manyflatmap-like
operations viaMonadRec.trampolineM(Fn1)
. -
Classes in com.jnape.palatable.lambda.monad used by com.jnape.palatable.lambda.monad.transformer.builtin Class Description Monad Monads areApplicative
functors that support a flattening operation to unwrapM<M<A>> -> M<A>
.MonadBase MonadError An interface formonads
that can be interrupted with some type of error.MonadReader A monad that is capable of reading an environmentR
and producing a lifted valueA
.MonadRec A class ofmonads
that offer a stack-safe interface for performing arbitrarily manyflatmap-like
operations viaMonadRec.trampolineM(Fn1)
.MonadWriter AMonad
that is capable of writing and accumulating state alongside a value, but is not necessarily capable of simultaneously accessing the state and the value. -
Classes in com.jnape.palatable.lambda.monad used by com.jnape.palatable.lambda.monoid Class Description Monad Monads areApplicative
functors that support a flattening operation to unwrapM<M<A>> -> M<A>
.MonadReader A monad that is capable of reading an environmentR
and producing a lifted valueA
.MonadRec A class ofmonads
that offer a stack-safe interface for performing arbitrarily manyflatmap-like
operations viaMonadRec.trampolineM(Fn1)
.MonadWriter AMonad
that is capable of writing and accumulating state alongside a value, but is not necessarily capable of simultaneously accessing the state and the value. -
Classes in com.jnape.palatable.lambda.monad used by com.jnape.palatable.lambda.monoid.builtin Class Description Monad Monads areApplicative
functors that support a flattening operation to unwrapM<M<A>> -> M<A>
.MonadReader A monad that is capable of reading an environmentR
and producing a lifted valueA
.MonadRec A class ofmonads
that offer a stack-safe interface for performing arbitrarily manyflatmap-like
operations viaMonadRec.trampolineM(Fn1)
.MonadWriter AMonad
that is capable of writing and accumulating state alongside a value, but is not necessarily capable of simultaneously accessing the state and the value. -
Classes in com.jnape.palatable.lambda.monad used by com.jnape.palatable.lambda.optics Class Description Monad Monads areApplicative
functors that support a flattening operation to unwrapM<M<A>> -> M<A>
.MonadRec A class ofmonads
that offer a stack-safe interface for performing arbitrarily manyflatmap-like
operations viaMonadRec.trampolineM(Fn1)
. -
Classes in com.jnape.palatable.lambda.monad used by com.jnape.palatable.lambda.optics.functions Class Description Monad Monads areApplicative
functors that support a flattening operation to unwrapM<M<A>> -> M<A>
.MonadReader A monad that is capable of reading an environmentR
and producing a lifted valueA
.MonadRec A class ofmonads
that offer a stack-safe interface for performing arbitrarily manyflatmap-like
operations viaMonadRec.trampolineM(Fn1)
.MonadWriter AMonad
that is capable of writing and accumulating state alongside a value, but is not necessarily capable of simultaneously accessing the state and the value. -
Classes in com.jnape.palatable.lambda.monad used by com.jnape.palatable.lambda.semigroup Class Description Monad Monads areApplicative
functors that support a flattening operation to unwrapM<M<A>> -> M<A>
.MonadReader A monad that is capable of reading an environmentR
and producing a lifted valueA
.MonadRec A class ofmonads
that offer a stack-safe interface for performing arbitrarily manyflatmap-like
operations viaMonadRec.trampolineM(Fn1)
.MonadWriter AMonad
that is capable of writing and accumulating state alongside a value, but is not necessarily capable of simultaneously accessing the state and the value. -
Classes in com.jnape.palatable.lambda.monad used by com.jnape.palatable.lambda.semigroup.builtin Class Description Monad Monads areApplicative
functors that support a flattening operation to unwrapM<M<A>> -> M<A>
.MonadReader A monad that is capable of reading an environmentR
and producing a lifted valueA
.MonadRec A class ofmonads
that offer a stack-safe interface for performing arbitrarily manyflatmap-like
operations viaMonadRec.trampolineM(Fn1)
.MonadWriter AMonad
that is capable of writing and accumulating state alongside a value, but is not necessarily capable of simultaneously accessing the state and the value. -
Classes in com.jnape.palatable.lambda.monad used by com.jnape.palatable.lambda.traversable Class Description Monad Monads areApplicative
functors that support a flattening operation to unwrapM<M<A>> -> M<A>
.MonadRec A class ofmonads
that offer a stack-safe interface for performing arbitrarily manyflatmap-like
operations viaMonadRec.trampolineM(Fn1)
.