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

Paket: libghc-semirings-dev (0.6-3 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-3+b1 276,8 kB2.819,0 kB [dosya listesi]
arm64 0.6-3+b1 283,4 kB3.166,0 kB [dosya listesi]
armel 0.6-3+b2 309,3 kB3.275,0 kB [dosya listesi]
armhf 0.6-3+b2 304,8 kB3.252,0 kB [dosya listesi]
hppa (resmi olmayan port) 0.6-3+b2 465,0 kB4.564,0 kB [dosya listesi]
i386 0.6-3 419,1 kB3.560,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-3+b1 362,8 kB4.489,0 kB [dosya listesi]
ppc64 (resmi olmayan port) 0.6-3+b1 354,0 kB4.528,0 kB [dosya listesi]
ppc64el 0.6-3+b1 360,2 kB4.223,0 kB [dosya listesi]
riscv64 0.6-3+b2 392,5 kB4.552,0 kB [dosya listesi]
s390x 0.6-3+b1 362,0 kB4.756,0 kB [dosya listesi]
sparc64 (resmi olmayan port) 0.6-3+b1 414,7 kB5.775,0 kB [dosya listesi]
x32 (resmi olmayan port) 0.6-2 471,2 kB4.206,0 kB [dosya listesi]