API Reference
Modules
A set of helper functions to ease the process of
working with the Control.*
protocols
The Data.Either
type represents values with
two possibilities: left(a)
or right(b)
The `Data.Maybe type encapsulates an optional value
Protocols
Applicatives (or more specifically applicative functors)
are a special form of Control.Functor
where the value
within the functor is a function
Functors are things that can be mapped over, like lists,
Maybe
s, trees, and such
A monad is essentially a value with a context
A monoid is a function and an identity for a given type