Package com.jnape.palatable.lambda.functor.builtin
package com.jnape.palatable.lambda.functor.builtin
-
ClassesClassDescriptionA functor representing the type-level composition of two
Applicative
functors; useful for preserving nested type-level transformations during traversal of aTraversable
.Const<A,B> A (surprisingly useful) functor over some phantom typeB
, retaining a value of typeA
that can be retrieved later.Exchange<A,B, S, T> A profunctor used to extract the isomorphic functions anIso
is composed of.Identity<A>A functor over some value of typeA
that can be mapped over and retrieved later.Lazy<A>AMonad
representing a lazily-computed value.Lazy.Compose<A>Lazy.Later<A>Market<A,B, S, T> A profunctor used to extract the isomorphic functions aPrism
is composed of.State<S,A> The stateMonad
, useful for iteratively building up state and state-contextualized result.Tagged<S,B> LikeConst
, but the phantom parameter is in the contravariant position, and the value is in covariant position.Writer<W,A> The lazy writer monad, a monad capturing some accumulation (eventually to be folded in terms of a given monoid) and a value.