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

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

Verwijzigingen voor libghc-type-level-numbers-prof

Screenshot

Debian bronnen:

Het bronpakket haskell-type-level-numbers downloaden:

Beheerder:

Externe bronnen:

Vergelijkbare pakketten:

library representing integers using Haskell type families; profiling libraries

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

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

  • depends
  • recommends
  • suggests
  • enhances

libghc-type-level-numbers-prof downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Versie Pakketgrootte Geïnstalleerde grootte Bestanden
alpha (unofficial port) 0.1.1.2-3 117,1 kB1.177,0 kB [overzicht]
amd64 0.1.1.2-3+b1 95,4 kB860,0 kB [overzicht]
arm64 0.1.1.2-3+b1 103,6 kB991,0 kB [overzicht]
armel 0.1.1.2-3 122,3 kB1.073,0 kB [overzicht]
armhf 0.1.1.2-3+b1 117,8 kB1.060,0 kB [overzicht]
hppa (unofficial port) 0.1.1.2-3+b1 131,0 kB1.043,0 kB [overzicht]
i386 0.1.1.2-3+b1 113,1 kB851,0 kB [overzicht]
ia64 (unofficial port) 0.1.1.2-2+b1 134,0 kB2.008,0 kB [overzicht]
loong64 (unofficial port) 0.1.1.2-3+b1 156,4 kB1.806,0 kB [overzicht]
m68k (unofficial port) 0.1.1.2-2 115,2 kB896,0 kB [overzicht]
mips64el 0.1.1.2-3 113,7 kB1.150,0 kB [overzicht]
ppc64 (unofficial port) 0.1.1.2-3 111,0 kB1.202,0 kB [overzicht]
ppc64el 0.1.1.2-3 113,9 kB1.177,0 kB [overzicht]
riscv64 0.1.1.2-3 159,1 kB1.752,0 kB [overzicht]
s390x 0.1.1.2-3 128,5 kB1.560,0 kB [overzicht]
sh4 (unofficial port) 0.1.1.1-6+b1 103,5 kB874,0 kB [overzicht]
sparc64 (unofficial port) 0.1.1.2-3 124,9 kB1.496,0 kB [overzicht]
x32 (unofficial port) 0.1.1.2-2 118,4 kB993,0 kB [overzicht]