@rzeta0 does this help?
[minBound .. maxBound] :: [Ordering]
[LT,EQ,GT]
I'm just trying to work out why it is semantically the successor rather than "by definition".
That is, how is it useful?
@rzeta0 @jonocarroll I think it's mainly for use with collections.
Take a list of numbers, pick a number, annotate each item with the comparison to that number, sort the annotated list - the items would be in that lt/eq/gt order wrt. to pivot.
The same as subtracting the pivot, the numbers will be negative, then zeroes, then positive.
@dpwiz @rzeta0 I think the question is about the ordering of the enum itself, not the application to a collection. There needs to be some order of the values, and perhaps it's arbitrary, but LT, EQ, GT seems the most natural.
Similarly, and perhaps more enlightening:
ghci> succ False
True
ghci> pred True
False
because it's defined as
data Bool = False | True
for me, even this example is a puzzle.
why would False precede True
my (limited) experience tells me they are concepts with neither being cardinally or ordinally different in nature
why would Orange precede Apple?
( I understand the causation being the definition in the library )
@rzeta0 @jonocarroll I think this has roots in logic.
TLDR: There's a privileged element for "nothingness" and the rest are "something". So, for the types that map to some number it is natural to expect at least the 0th elements to align.
If you take numerical encoding of enums as an inductive type then there would be the "smallest" element - `Zero`, and the "next" element and you'd get the type `data N = Zero | Next N`. It can be used to encode all kinds of enums. But then, the same principle is used to encode e.g. lists: `data List a = Empty | Item a (List a)`.
So, why would the `False` go first then? Consider the function `len` that maps arbitrary lists to numbers: len Empty = Zero; len (Item next) = Next (len next).
The empty lists has no layers and so the number zero has no layers.
Recall my previous diatribe about multiple ways converging on the same outcome? Here we have another case of that. We can handwave the property being "has something". The lists have elements, the numbers have quantity, and the True is some bit being "on".
Exactly the same thing goes for the Maybe type, it's just more specific in what exactly it have got in there.
