Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision |
| codesnippets:prelude:basictypeclasses [2021/04/10 18:57] – [Eq] f2b216 | codesnippets:prelude:basictypeclasses [2021/04/10 19:49] (current) – removed f2b216 |
|---|
| ====== 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, and 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. | |
| |
| |
