Differences

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

--- codesnippets:prelude:basictypeclasses [2021/04/10 18:59] – f2b216
+++ codesnippets:prelude:basictypeclasses [2021/04/10 19:49] (current) – removed f2b216
@@ Line 1: / Line 1: @@
-====== Basic type classes ======
-===== Eq =====
-  * source: [[https://hackage.haskell.org/package/base-4.15.0.0/docs/Prelude.html#g:4|class Eq a]]
-  * main functions
-    * ''%%(==)%%'' ''%%:: a -> a -> Bool%%'' ''infix 4'', true if equal otherwise false
-    * ''%%(/=)%%'' ''%%:: a -> a -> Bool%%'' ''infix 4'', false if equal otherwise true
-  * Minimal complete definition: either ''%%==%%'' or ''%%/=%%''.
-===== Ord =====
-  * source: [[https://hackage.haskell.org/package/base-4.15.0.0/docs/Prelude.html#t:Ord|class Eq a => Ord a]]
-  * main functions
-    * ''%%compare%%'' ''%%:: a -> a -> Ordering%%''
-      * LT if first parameter is less then second parameter,
-      * EQ if first parameter is equal second parameter, and
-      * GT if first parameter is greater then second parameter
-    * ''%%(<)%%'' ''%%:: a -> a -> Bool%%'' ''infix 4'', true if first parameter is less than second parameter otherwise false
-    * ''%%(<=)%%'' ''%%:: a -> a -> Bool%%'' ''infix 4'', true if first parameter is equal or less than second parameter otherwise false
-    * ''%%(>)%%'' ''%%:: a -> a -> Bool%%'' ''infix 4'', true if first parameter is greater than second parameter otherwise false
-    * ''%%(>=)%%'' ''%%:: a -> a -> Bool%%'' ''infix 4'', true if first parameter is equal or greater than second parameter otherwise false
-    * ''%%max%%'' ''%%:: a -> a -> a%%'' the greater or equal value of both parameters
-    * ''%%min%%'' ''%%:: a -> a -> a%%'' the smaller or equal value of both parameters
-  * Minimal complete definition: either compare or ''%%<=%%''. Using compare can be more efficient for complex types.