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.
|
Lazy.Compose<A> |
|
Lazy.Later<A> |
|
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.
|