./math/hs-semirings, Two monoids as one, in holy haskimony

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]


Branch: CURRENT, Version: 0.7nb1, Package name: hs-semirings-0.7nb1, Maintainer: pkgsrc-users

Haskellers are usually familiar with monoids and semigroups. A monoid has
an appending operation <> (or mappend), and an identity element, mempty. A
semigroup has an appending <> operation, but does not require a mempty
element.

A Semiring has two appending operations, plus and times, and two respective
identity elements, zero and one.

More formally, a Semiring R is a set equipped with two binary relations +
and *, such that:
- (R,+) is a commutative monoid with identity element 0,
- (R,*) is a monoid with identity element 1,
- (*) left and right distributes over addition, and multiplication by '0'
annihilates R.


Master sites:

Filesize: 21.433 KB

Version history: (Expand)


CVS history: (Expand)


   2025-02-02 14:06:08 by Masatake Daimon | Files touched by this commit (1173)
Log message:
Bump all Haskell packages after switching the default compiler.
   2025-01-31 09:08:47 by Masatake Daimon | Files touched by this commit (4) | Package updated
Log message:
math/hs-semirings: update to semirings-0.7

0.7: [2024-05-21]
-----------------
* Add `Data.Semiring.Directed` for the semiring of directed sets.
* Add `Data.Ring.Ordered` to represent ordered rings (as well as a simpler
  finitary case) and provide `signum` and `abs` via type class.
* Modify code and CI to support GHC 8.0 and later only.
* Support newer versions of dependencies
* Move Generics-derived tuple instances from Data.Semiring.Generic to \ 
manually-written Data.Semiring
   2024-05-09 03:32:57 by Masatake Daimon | Files touched by this commit (1137)
Log message:
Recursive revbump after changing the default Haskell compiler
   2024-04-30 15:27:31 by Masatake Daimon | Files touched by this commit (1)
Log message:
math/hs-semirings: Fix build with GHC 9.8

This breaks build with the currently default GHC 9.6. Please bear with me
until I switch the default compiler.
   2023-11-02 07:37:49 by Masatake Daimon | Files touched by this commit (1141)
Log message:
Revbump all Haskell after updating lang/ghc96
   2023-10-29 08:08:57 by Masatake Daimon | Files touched by this commit (1)
Log message:
math/hs-semirings: Fix build with GHC 9.6
   2023-10-09 06:55:01 by Masatake Daimon | Files touched by this commit (988)
Log message:
Bump Haskell packages after updating lang/ghc94
   2023-01-25 18:35:14 by Masatake Daimon | Files touched by this commit (4)
Log message:
math/hs-semirings: Fix build with hashable-1.4