[Haskell-cafe] Instances of Lattice?

Henning Thielemann lemming at henning-thielemann.de
Mon Oct 27 06:07:23 EDT 2008

On Sun, 26 Oct 2008, Galchin, Vasili wrote:

> Hi Henning,
>    I am rereading my emails and I don't believe I got an examples of
> "instance Lattice". E.g. instance Lattice Bool. ??

Did you look into the Lattice module?

Bool with respect to && and ||
Sets with respect to union and intersection (a set is like multiple booleans)
any real number type with respect to min and max
Natural numbers with respect to GCD and LCM
   (consider the exponents of the prime factor decomposition)

More information about the Haskell-Cafe mailing list