软件包:libghc-semirings-dev(0.6-3 以及其他的) [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.2)
- GNU C 语言运行库:共享库
同时作为一个虚包由这些包填实: libc6-udeb
-
- dep: libghc-base-dev-4.17.2.0-de4d5
- 软件包暂时不可用
-
- dep: libghc-containers-dev-0.6.7-6c33c
- 软件包暂时不可用
-
- dep: libghc-hashable-dev-1.4.3.0-36a37
- 本虚包由这些包填实: libghc-hashable-dev
-
- dep: libgmp10 (>= 2:6.3.0+dfsg)
- 多精度运算库