tüm seçenekler
bookworm  ] [  trixie  ] [  sid  ]
[ Kaynak: haskell-semirings  ]

Paket: libghc-semirings-dev (0.6-4 ve diğerleri)

libghc-semirings-dev için bağlantılar

Screenshot

Debian Kaynakları:

haskell-semirings Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Benzer paketler:

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 ile İlgili Diğer Paketler

  • bağımlılıklar
  • tavsiye edilen
  • önerilen
  • enhances

libghc-semirings-dev indir

Tüm mevcut mimariler için indir
Mimari Sürüm Paket Boyutu Kurulu Boyut Dosyalar
alpha (resmi olmayan port) 0.6-3+b1 378,9 kB4.539,0 kB [dosya listesi]
amd64 0.6-4 271,9 kB2.845,0 kB [dosya listesi]
arm64 0.6-4 279,2 kB3.182,0 kB [dosya listesi]
armel 0.6-4+b1 343,3 kB3.526,0 kB [dosya listesi]
armhf 0.6-4+b1 336,2 kB3.486,0 kB [dosya listesi]
hppa (resmi olmayan port) 0.6-4 469,6 kB4.644,0 kB [dosya listesi]
i386 0.6-4+b1 415,0 kB3.604,0 kB [dosya listesi]
ia64 (resmi olmayan port) 0.6-3+b1 396,4 kB7.447,0 kB [dosya listesi]
m68k (resmi olmayan port) 0.6-2+b1 383,4 kB3.627,0 kB [dosya listesi]
mips64el 0.6-4+b1 358,7 kB4.544,0 kB [dosya listesi]
ppc64 (resmi olmayan port) 0.6-4 334,9 kB4.464,0 kB [dosya listesi]
ppc64el 0.6-4 338,6 kB4.101,0 kB [dosya listesi]
riscv64 0.6-4 433,4 kB4.940,0 kB [dosya listesi]
s390x 0.6-4 414,3 kB5.258,0 kB [dosya listesi]
sparc64 (resmi olmayan port) 0.6-4 399,8 kB6.228,0 kB [dosya listesi]
x32 (resmi olmayan port) 0.6-2 471,2 kB4.206,0 kB [dosya listesi]