====== Prelude ======

  * [[modules:prelude:basictypeclasses|Basic type classes]]
    * class **[[modules:prelude:basictypeclasses#eq|Eq]]** a
    * class Eq a %%=>%% **[[modules:prelude:basictypeclasses#ord|Ord]]** a
    * class **[[modules:prelude:basictypeclasses#enum|Enum]]** a
    * class **[[modules:prelude:basictypeclasses#bounded|Bounded]]** a
    * class **[[modules:prelude:basictypeclasses#num|Num]]** a
    * class (Num a, Ord a) %%=>%% **[[modules:prelude:basictypeclasses#real|Real]]** a
    * class (Real a, Enum a) %%=>%% **[[modules:prelude:basictypeclasses#integral|Integral]]** a
    * class Num a => **[[modules:prelude:basictypeclasses#fractional|Fractional]]** a
    * class (Real a, Fractional a) %%=>%% **[[modules:prelude:basictypeclasses#realfrac|RealFrac]]** a
    * class **[[modules:prelude:basictypeclasses#semigroup|Semigroup]]** a
    * class Semigroup a %%=>%% **[[modules:prelude:basictypeclasses#monoid|Monoid]]** a
    * class **[[modules:prelude:basictypeclasses#functor|Functor]]** f
    * class Functor f => **[[modules:prelude:basictypeclasses#applicative|Applicative]]** f
    * class Applicative m => **[[modules:prelude:basictypeclasses#monad|Monad]]** m
    * class Monad m => **[[modules:prelude:basictypeclasses#monadfail|MonadFail]]** m
    * class **[[modules:prelude:basictypeclasses#foldable|Foldable]]** t
    * class (Functor t, Foldable t) => **[[modules:prelude:basictypeclasses#traversable|Traversable]]** t
    * class **[[modules:prelude:basictypeclasses#show|Show]]** a
    * class **[[modules:prelude:basictypeclasses#read|Read]]** a
    * {{:modules:preludetypeclasses.png?direct&400|}}
      * picture from: Dirk Hünniger
      * source: [[https://commons.wikimedia.org/wiki/File:HaskellClasses.svg]]
      * missing in the picture:
        * Semigroup
        * Monoid
        * Traversable


===== ✎ =====
~~DISCUSSION~~