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

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

libghc-semirings-prof 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; profiling libraries

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, compiled for profiling. See http://www.haskell.org/ for more information on Haskell.

libghc-semirings-prof ile İlgili Diğer Paketler

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

libghc-semirings-prof 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 339,8 kB3.810,0 kB [dosya listesi]
amd64 0.6-4 266,5 kB2.601,0 kB [dosya listesi]
arm64 0.6-4 303,4 kB3.183,0 kB [dosya listesi]
armel 0.6-4+b1 341,4 kB3.111,0 kB [dosya listesi]
armhf 0.6-4+b1 336,0 kB3.065,0 kB [dosya listesi]
hppa (resmi olmayan port) 0.6-4 405,3 kB3.637,0 kB [dosya listesi]
i386 0.6-4+b1 360,1 kB2.832,0 kB [dosya listesi]
ia64 (resmi olmayan port) 0.6-3+b1 385,2 kB6.860,0 kB [dosya listesi]
m68k (resmi olmayan port) 0.6-2+b1 329,5 kB2.854,0 kB [dosya listesi]
mips64el 0.6-4+b1 328,5 kB3.715,0 kB [dosya listesi]
ppc64 (resmi olmayan port) 0.6-4 317,6 kB3.947,0 kB [dosya listesi]
ppc64el 0.6-4 323,1 kB3.838,0 kB [dosya listesi]
riscv64 0.6-4 476,3 kB5.439,0 kB [dosya listesi]
s390x 0.6-4 367,6 kB4.749,0 kB [dosya listesi]
sparc64 (resmi olmayan port) 0.6-4 368,2 kB5.600,0 kB [dosya listesi]
x32 (resmi olmayan port) 0.6-2 362,1 kB3.345,0 kB [dosya listesi]