alle opties
bullseye  ] [  bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Bron: haskell-type-level-numbers  ]

Pakket: libghc-type-level-numbers-dev (0.1.1.2-3 en anderen)

Verwijzigingen voor libghc-type-level-numbers-dev

Screenshot

Debian bronnen:

Het bronpakket haskell-type-level-numbers downloaden:

Beheerder:

Externe bronnen:

Vergelijkbare pakketten:

library representing integers using Haskell type families

This library represents numbers in Haskell at the level of types. This is achieved by means of type families.

Numbers up to 2^18-1 can be represented.

In this version of the package, comparison of numbers, subtraction and multiplication of numbers is supported.

This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.

Andere aan libghc-type-level-numbers-dev gerelateerde pakketten

  • depends
  • recommends
  • suggests
  • enhances

libghc-type-level-numbers-dev downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Versie Pakketgrootte Geïnstalleerde grootte Bestanden
alpha (unofficial port) 0.1.1.2-3 140,3 kB1.529,0 kB [overzicht]
amd64 0.1.1.2-3+b1 105,6 kB1.042,0 kB [overzicht]
arm64 0.1.1.2-3+b1 109,0 kB1.123,0 kB [overzicht]
armel 0.1.1.2-3 131,5 kB1.266,0 kB [overzicht]
armhf 0.1.1.2-3+b1 126,7 kB1.256,0 kB [overzicht]
hppa (unofficial port) 0.1.1.2-3+b1 157,7 kB1.401,0 kB [overzicht]
i386 0.1.1.2-3+b1 137,2 kB1.159,0 kB [overzicht]
ia64 (unofficial port) 0.1.1.2-2+b1 149,1 kB2.282,0 kB [overzicht]
loong64 (unofficial port) 0.1.1.2-3+b1 167,8 kB1.989,0 kB [overzicht]
m68k (unofficial port) 0.1.1.2-2 139,7 kB1.235,0 kB [overzicht]
mips64el 0.1.1.2-3 130,2 kB1.503,0 kB [overzicht]
ppc64 (unofficial port) 0.1.1.2-3 126,9 kB1.506,0 kB [overzicht]
ppc64el 0.1.1.2-3 129,1 kB1.419,0 kB [overzicht]
riscv64 0.1.1.2-3 154,9 kB1.742,0 kB [overzicht]
s390x 0.1.1.2-3 149,7 kB1.796,0 kB [overzicht]
sh4 (unofficial port) 0.1.1.1-6+b1 132,2 kB1.324,0 kB [overzicht]
sparc64 (unofficial port) 0.1.1.2-3 142,3 kB2.275,0 kB [overzicht]
x32 (unofficial port) 0.1.1.2-2 158,9 kB1.398,0 kB [overzicht]