Modules

Here is a list of all modules:

Bitwise	Typeclass for datatypes supporting the usual bitwise operations
Comparable	The Comparable typeclass defines equality and inequality
Core	Module containing miscellaneous core utilities
Enumerable	The Enumerable typeclass defines operations on sequentially ordered datatypes
Field	Ring whose non-zero elements form a Group under multiplication
Foldable	The Foldable typeclass is used for data structures that can be folded
Functional	General purpose metafunctions and metafunction classes
Functor	The Functor typeclass is used for types that can be mapped over
Group	Monoid where all objects have an inverse w.r.t
Integer	Holds a compile-time value of an integral type
Integral Domain	Commutative Ring without nonzero zero divisors
Iterable	Data structures allowing external iteration
List	A sequence of types
Logical	Logical operators and conditional branch selection
Maybe	Maybe encapsulates an optional value
Monad	Monads are Functors with additional structure allowing values to be lifted and nested monads to be flattened
Monoid	The Monoid typeclass is used for datatypes with an associative binary operation that has an identity
Orderable	The Orderable typeclass is used for totally ordered datatypes
Rational	Exact rational number represented as a ratio of two integers
Ring	The Ring typeclass is used for Groups that also form a Monoid under a second binary operation that distributes over the first