interface Eq a where
(==) : a -> a -> Bool
(/=) : a -> a -> Bool
Interface d'égalité. Deux méthodes : (==) et (/=). Par défaut : (/=) est défini à partir de not et (==), donc les implémentations n'ont qu'à fournir (==).
import nécessaire.interface Eq a where
(==) : a -> a -> Bool
(/=) : a -> a -> Bool
Interface d'égalité. Deux méthodes : (==) et (/=). Par défaut : (/=) est défini à partir de not et (==), donc les implémentations n'ont qu'à fournir (==).
data Ordering
= LT
| EQ
| GT
Ordering est le type résultat de compare (voir Ord ci-dessous).
LTl'opérande de gauche est plus petit
EQles deux sont égaux
GTl'opérande de gauche est plus grand