Galchin, Vasili [EMAIL PROTECTED] wrote in article [EMAIL PROTECTED] in
gmane.comp.lang.haskell.cafe:
Do you have any examples of say instance Lattice?
http://web.cecs.pdx.edu/~mpj/pubs/lattices.html
http://web.cecs.pdx.edu/~mpj/pubs/springschool.html
--
Edit this signature at
Num is basically Ring, but is spoiled by the inclusion of abs and signum,
which of course mainly only make sense for subrings of C.
Hello, I see that there is a Monoid class from Data.Monoid. What other
algebras like Group, Ring, etc. have support in Haskell?Thanks, Vasili
This question is relevant to a project I'm working on. I've been putting
together an abstract algebra library for handling computations inside group
rings, polynomial rings, and rings with adjoined elements. Once I've got it
cleaned up a little I'll upload it to an appropriate place.
(I forgot to
On Thu, 23 Oct 2008 22:56:32 -0500, Galchin, Vasili
[EMAIL PROTECTED] 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.
-- Benjamin
On Fri, 24 Oct 2008 13:50:47 +0900, Benjamin L.Russell
[EMAIL PROTECTED] wrote:
On Thu, 23 Oct 2008 22:56:32 -0500, Galchin, Vasili
[EMAIL PROTECTED] 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