Monoid provides a means to represent a binary operation and is usually locked down to a specific type. These are great when you need to combine a list of values down to one value. In this library, any ADT that provides both an
empty and a
concat function can be used as a
Monoid. There are a few of the crocks that are also monoidial, so be on the look out for those as well.
empty functions on their Constructors as well as the following Instance Functions:
Contribute on Github! Edit this section.