[Haskell-cafe] What puts False before True?

[Marc A. Ziegert]

Am Donnerstag, 31. Mai 2007 05:52 schrieb PR Stanley:
> What is the basic philosophy for Bool being a member of Ord?
you can do sth like

Data.Set.fromList [minBound .. maxBound] :: Data.Set.Set Bool

> What justifies False < True?
in most interpretations this equals:

False == 0
True == 1
and == (*)
or == max
not == (1 -)
a `xor` b == (a + b) `mod` 2

and not this:

False == 1
True == 0
and == max
or == (*)
not == (1 -)
a `xor` b == (a + b) `mod` 2
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: not available
Url : http://www.haskell.org/pipermail/haskell-cafe/attachments/20070531/fabcf0a0/attachment-0001.bin