PréludeChargé par défaut — aucun import nécessaire.
Interfaces
Eq — equality
Synopsis
interface Eq a where
(==) : a -> a -> Bool
(/=) : a -> a -> Bool
Equality interface. Two methods: (==) and (/=). Default: (/=) is defined from not and (==), so implementations only need to provide (==).
Instances : Bool,
Char,
Double,
Int,
Int16,
Int32,
Int64,
Int8,
Nat,
Ordering,
Path,
Rational,
String,
Unit,
Word16,
Word32,
Word64,
Word8
data Ordering
= LT
| EQ
| GT
Ordering is the result type of compare (see Ord below).
LTthe left operand is smaller
EQboth are equal
GTthe left operand is greater