Differences

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

--- codesnippets:prelude:basictypeclasses [2021/04/10 19:12] – [Real] 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.
-===== Enum =====
-  * [[https://hackage.haskell.org/package/base-4.15.0.0/docs/Prelude.html#t:Enum|class Enum a]]
-  * main functions
-    * ''%%succ%%'' ''%%:: a -> a%%''
-    * ''%%pred%%'' ''%%:: a -> a%%''
-    * ''%%toEnum%%'' ''%%:: Int -> a%%''
-    * ''%%fromEnum%%'' ''%%:: a -> Int%%''
-    * ''%%enumFrom%%'' ''%%:: a -> [a]%%''
-    * ''%%enumFromThen%%'' ''%%:: a -> a -> [a]%%''
-    * ''%%enumFromTo%%'' ''%%:: a -> a -> [a]%%''
-    * ''%%enumFromThenTo%%'' ''%%:: a -> a -> a -> [a]%%''
-===== Bounded =====
-  * source: [[https://hackage.haskell.org/package/base-4.15.0.0/docs/Prelude.html#t:Bounded|class Bounded a]]
-===== Num =====
-  * source: [[https://hackage.haskell.org/package/base-4.15.0.0/docs/Prelude.html#t:Num|class Num a]]
-===== Real =====
-  * source: [[https://hackage.haskell.org/package/base-4.15.0.0/docs/Prelude.html#t:Real|class (Num a, Ord a) => Real a]]
-===== Integral =====
-  * source: [[https://hackage.haskell.org/package/base-4.15.0.0/docs/Prelude.html#t:Integral|class (Real a, Enum a) => Integral a]]
-===== Fractional =====
-  * source: [[https://hackage.haskell.org/package/base-4.15.0.0/docs/Prelude.html#t:Fractional|class Num a => Fractional a]]
-===== RealFrac =====
-  * source: [[https://hackage.haskell.org/package/base-4.15.0.0/docs/Prelude.html#t:RealFrac|class (Real a, Fractional a) => RealFrac a]]
-===== Semigroup =====
-  * source: [[https://hackage.haskell.org/package/base-4.15.0.0/docs/Prelude.html#t:Semigroup|class Semigroup a]]
-===== Monoid =====
-  * source: [[https://hackage.haskell.org/package/base-4.15.0.0/docs/Prelude.html#t:Monoid|class Semigroup a => Monoid a]]
-===== xyz =====
-  * source: [[httpssssssssssssssss|class XYZ]]
-===== xyz =====
-  * source: [[httpssssssssssssssss|class XYZ]]
-===== xyz =====
-  * source: [[httpssssssssssssssss|class XYZ]]