| 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.
|