universal algebra "support" in Haskell?

Galchin, Vasili

23 Oct 2008 23 Oct '08

2:41 a.m.

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

Attachments:

attachment.html (text/html — 198 bytes)

Show replies by date

DavidA

23 Oct 23 Oct

4:21 a.m.

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

Henning Thielemann

12:14 p.m.

On Thu, 23 Oct 2008, Galchin, Vasili wrote:

...

I see that there is a "Monoid" class from Data.Monoid. What other algebras like Group, Ring, etc. have support in Haskell?

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

Galchin, Vasili

11:56 p.m.

Hi Henning, Do you have any examples of say "instance Lattice"? Vasili On Thu, Oct 23, 2008 at 11:14 AM, Henning Thielemann < lemming@henning-thielemann.de> wrote:

...

On Thu, 23 Oct 2008, Galchin, Vasili wrote:

I see that there is a "Monoid" class from Data.Monoid. What other

...
algebras like Group, Ring, etc. have support in Haskell?

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

Galchin, Vasili

24 Oct 24 Oct

12:45 a.m.

oops .. I see C Bool and C Integer on http://cvs.haskell.org/darcs/numericprelude/docs/html/Algebra-Lattice.html. .. On Thu, Oct 23, 2008 at 10:56 PM, Galchin, Vasili wrote:

...

Hi Henning,

Do you have any examples of say "instance Lattice"?

Vasili

On Thu, Oct 23, 2008 at 11:14 AM, Henning Thielemann < lemming@henning-thielemann.de> wrote:

...
On Thu, 23 Oct 2008, Galchin, Vasili wrote:

I see that there is a "Monoid" class from Data.Monoid. What other

...
algebras like Group, Ring, etc. have support in Haskell?

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

Benjamin L.Russell

12:50 a.m.

On Thu, 23 Oct 2008 22:56:32 -0500, "Galchin, Vasili" 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 L. Russell

Benjamin L.Russell

12:53 a.m.

On Fri, 24 Oct 2008 13:50:47 +0900, Benjamin L.Russell wrote:

...

On Thu, 23 Oct 2008 22:56:32 -0500, "Galchin, Vasili" 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/A... This could be an answer. -- Benjamin L. Russell

Chung-chieh Shan

7:59 a.m.

Galchin, Vasili wrote in article <5ae4f2ba0810232056h266dee93pbde4d0fd50164781@mail.gmail.com> 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 http://www.digitas.harvard.edu/cgi-bin/ken/sig You can take the boy out of Harvard, but you can't take the boy's signature...

I "cabal installed" numeric-prelude .. however, unlike other packages(e.g. Sqlite3), I am unable to ":m numeric-prelude" in a ghci session.?? Vasili On Thu, Oct 23, 2008 at 11:14 AM, Henning Thielemann < lemming@henning-thielemann.de> wrote:

...

On Thu, 23 Oct 2008, Galchin, Vasili wrote:

I see that there is a "Monoid" class from Data.Monoid. What other

...
algebras like Group, Ring, etc. have support in Haskell?

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