# Package com.jnape.palatable.lambda.functor.builtin

- Class Summary
  Class | Description
  --- | ---
  Compose<F extends Applicative<?,F>,G extends Applicative<?,G>,A> | A functor representing the type-level composition of two `Applicative` functors; useful for preserving nested type-level transformations during traversal of a `Traversable`.
  Const<A,B> | A (surprisingly useful) functor over some phantom type `B`, retaining a value of type `A` that can be retrieved later.
  Exchange<A,B,S,T> | A profunctor used to extract the isomorphic functions an `Iso` is composed of.
  Identity<A> | A functor over some value of type `A` that can be mapped over and retrieved later.
  Lazy<A> | A `Monad` representing a lazily-computed value.
  Market<A,B,S,T> | A profunctor used to extract the isomorphic functions a `Prism` is composed of.
  State<S,A> | The state `Monad`, useful for iteratively building up state and state-contextualized result.
  Tagged<S,B> | Like `Const`, 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.