[Haskell-cafe] Re: universal algebra "support" in Haskell?

Benjamin L.Russell DekuDekuplex at Yahoo.com
Fri Oct 24 00:53:26 EDT 2008


On Fri, 24 Oct 2008 13:50:47 +0900, Benjamin L.Russell
<DekuDekuplex at Yahoo.com> wrote:

>On Thu, 23 Oct 2008 22:56:32 -0500, "Galchin, Vasili"
><vigalchin at gmail.com> wrote:
>
>>Hi Henning,
>>
>>     Do you have any examples of say "instance Lattice"?
>
>I would be interested in an "instance Lattice" as well.  Such an
>example could be related to a complete partial ordering in domain
>theory.

Whoops!  At the following site:

HackageDB: numeric-prelude-0.0.5
http://hackage.haskell.org/cgi-bin/hackage-scripts/package/numeric-prelude/

I just found a reference to the following page:

Algebra.Lattice
http://hackage.haskell.org/packages/archive/numeric-prelude/0.0.5/doc/html/Algebra-Lattice.html

This could be an answer.

-- Benjamin L. Russell



More information about the Haskell-Cafe mailing list