软件包:libghc-semirings-dev(0.6-2) [debports]
two monoids as one, in holy haskimony
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.
This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.
其他与 libghc-semirings-dev 有关的软件包
|
|
|
|
-
- dep: libc6 (>= 2.16)
- GNU C 语言运行库:共享库
同时作为一个虚包由这些包填实: libc6-udeb
-
- dep: libghc-base-dev-4.13.0.0-f73fa
- 本虚包由这些包填实: ghc
-
- dep: libghc-containers-dev-0.6.2.1-5e2b2
- 本虚包由这些包填实: ghc
-
- dep: libghc-hashable-dev-1.3.5.0-c9b4c
- 本虚包由这些包填实: libghc-hashable-dev
-
- dep: sgml-base (>= 1.28)
- SGML infrastructure and SGML catalog file support