This is an old revision of the document!

Prelude

Basic type classes
- class Eq a
- class Eq a ⇒ Ord a * class Enum a * class Bounded a * class Num a * class (Num a, Ord a) ⇒ Real a * class (Real a, Enum a) ⇒ Integral a * class Num a ⇒ Fractional a * class (Real a, Fractional a) ⇒ RealFrac a * class Semigroup a * class Semigroup a ⇒ Monoid a * class Functor f * class Functor f ⇒ Applicative f * class Applicative m ⇒ Monad m * class Monad m ⇒ MonadFail m * class Foldable t * class (Functor t, Foldable t) ⇒ Traversable t * class Show a * class Read** a
Composition operator
Folds
Applicative
Monads
State monads