Class and Description |
---|
Lazy
A
Monad representing a lazily-computed value. |
Class and Description |
---|
Lazy
A
Monad representing a lazily-computed value. |
Class and Description |
---|
Lazy
A
Monad representing a lazily-computed value. |
Class and Description |
---|
Lazy
A
Monad representing a lazily-computed value. |
Class and Description |
---|
Lazy
A
Monad representing a lazily-computed value. |
Class and Description |
---|
Lazy
A
Monad representing a lazily-computed value. |
Class and Description |
---|
Lazy
A
Monad representing a lazily-computed value. |
Class and Description |
---|
Compose
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 (surprisingly useful) functor over some phantom type
B , retaining a value of type A that
can be retrieved later. |
Exchange
A profunctor used to extract the isomorphic functions an
Iso is composed of. |
Identity
A functor over some value of type
A that can be mapped over and retrieved later. |
Lazy
A
Monad representing a lazily-computed value. |
Market
A profunctor used to extract the isomorphic functions a
Prism is composed of. |
State
The state
Monad , useful for iteratively building up state and state-contextualized result. |
Tagged
Like
Const , but the phantom parameter is in the contravariant position, and the value is in covariant
position. |
Writer
The lazy writer monad, a monad capturing some accumulation (eventually to be folded in terms of a given monoid) and
a value.
|
Class and Description |
---|
Lazy
A
Monad representing a lazily-computed value. |
Class and Description |
---|
Lazy
A
Monad representing a lazily-computed value. |
Class and Description |
---|
Lazy
A
Monad representing a lazily-computed value. |
Class and Description |
---|
Identity
A functor over some value of type
A that can be mapped over and retrieved later. |
Lazy
A
Monad representing a lazily-computed value. |
Class and Description |
---|
Lazy
A
Monad representing a lazily-computed value. |
Class and Description |
---|
Identity
A functor over some value of type
A that can be mapped over and retrieved later. |
Lazy
A
Monad representing a lazily-computed value. |
Class and Description |
---|
Const
A (surprisingly useful) functor over some phantom type
B , retaining a value of type A that
can be retrieved later. |
Exchange
A profunctor used to extract the isomorphic functions an
Iso is composed of. |
Identity
A functor over some value of type
A that can be mapped over and retrieved later. |
Market
A profunctor used to extract the isomorphic functions a
Prism is composed of. |
Tagged
Like
Const , but the phantom parameter is in the contravariant position, and the value is in covariant
position. |
Class and Description |
---|
Lazy
A
Monad representing a lazily-computed value. |
Class and Description |
---|
Lazy
A
Monad representing a lazily-computed value. |