Differences

This shows you the differences between two versions of the page.

--- modules:prelude [2021/04/10 19:50] – f2b216
+++ modules:prelude [2025/10/08 00:48] (current) – external edit 127.0.0.1
@@ Line 2: / Line 2: @@
   * [[modules:prelude:basictypeclasses|Basic type classes]]
-    * class **Eq** a
+    * class **[[modules:prelude:basictypeclasses#eq|Eq]]** a
-    * class Eq a %%=>%% **Ord** a
+    * class Eq a %%=>%% **[[modules:prelude:basictypeclasses#ord|Ord]]** a
-    * class **Enum** a
+    * class **[[modules:prelude:basictypeclasses#enum|Enum]]** a
-    * class **Bounded** a
+    * class **[[modules:prelude:basictypeclasses#bounded|Bounded]]** a
-    * class **Num** a
+    * class **[[modules:prelude:basictypeclasses#num|Num]]** a
-    * class (Num a, Ord a) %%=>%% **Real** a
+    * class (Num a, Ord a) %%=>%% **[[modules:prelude:basictypeclasses#real|Real]]** a
-    * class (Real a, Enum a) %%=>%% **Integral** a
+    * class (Real a, Enum a) %%=>%% **[[modules:prelude:basictypeclasses#integral|Integral]]** a
-    * class Num a => **Fractional** a
+    * class Num a => **[[modules:prelude:basictypeclasses#fractional|Fractional]]** a
-    * class (Real a, Fractional a) %%=>%% **RealFrac** a
+    * class (Real a, Fractional a) %%=>%% **[[modules:prelude:basictypeclasses#realfrac|RealFrac]]** a
-    * class **Semigroup** a
+    * class **[[modules:prelude:basictypeclasses#semigroup|Semigroup]]** a
-    * class Semigroup a %%=>%% **Monoid** a
+    * class Semigroup a %%=>%% **[[modules:prelude:basictypeclasses#monoid|Monoid]]** a
-    * class **Functor** f
+    * class **[[modules:prelude:basictypeclasses#functor|Functor]]** f
-    * class Functor f => **Applicative** f
+    * class Functor f => **[[modules:prelude:basictypeclasses#applicative|Applicative]]** f
-    * class Applicative m => **Monad** m
+    * class Applicative m => **[[modules:prelude:basictypeclasses#monad|Monad]]** m
-    * class Monad m => **MonadFail** m
+    * class Monad m => **[[modules:prelude:basictypeclasses#monadfail|MonadFail]]** m
-    * class **Foldable** t
+    * class **[[modules:prelude:basictypeclasses#foldable|Foldable]]** t
-    * class (Functor t, Foldable t) => **Traversable** t
+    * class (Functor t, Foldable t) => **[[modules:prelude:basictypeclasses#traversable|Traversable]]** t
-    * class **Show** a
+    * class **[[modules:prelude:basictypeclasses#show|Show]]** a
-    * class **Read** a
+    * class **[[modules:prelude:basictypeclasses#read|Read]]** a
-    * {{:modules:preludetypeclasses.png?|Prelude type classes}}
+    * {{: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~~