alla flaggor
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Källkod: haskell-numtype-dk  ]

Paket: libghc-numtype-dk-dev (0.5.0.3-2 och andra)

Länkar för libghc-numtype-dk-dev

Screenshot

Debianresurser:

Hämta källkodspaketet haskell-numtype-dk:

Ansvariga:

Externa resurser:

Liknande paket:

type-level integers without fundeps

This package provides type level representations of the (positive and negative) integers and basic operations (addition, subtraction, multiplication, division, exponentiation) on these. The numtype-dk package differs from the numtype package in that the NumTypes are implemented using Data Kinds, TypeNats, and Closed Type Families rather than Functional Dependencies.

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

Andra paket besläktade med libghc-numtype-dk-dev

  • beror
  • rekommenderar
  • föreslår
  • enhances

Hämta libghc-numtype-dk-dev

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Version Paketstorlek Installerad storlek Filer
alpha (inofficiell anpassning) 0.5.0.3-2+b1 36,7 kbyte390,0 kbyte [filförteckning]
amd64 0.5.0.3-2+b1 32,3 kbyte279,0 kbyte [filförteckning]
arm64 0.5.0.3-2+b1 32,9 kbyte290,0 kbyte [filförteckning]
armel 0.5.0.3-2+b2 35,5 kbyte336,0 kbyte [filförteckning]
armhf 0.5.0.3-2+b2 35,6 kbyte335,0 kbyte [filförteckning]
hppa (inofficiell anpassning) 0.5.0.3-2+b4 39,4 kbyte329,0 kbyte [filförteckning]
i386 0.5.0.3-2+b1 38,1 kbyte306,0 kbyte [filförteckning]
ia64 (inofficiell anpassning) 0.5.0.3-2+b1 36,8 kbyte401,0 kbyte [filförteckning]
m68k (inofficiell anpassning) 0.5.0.3-2 34,9 kbyte304,0 kbyte [filförteckning]
mips64el 0.5.0.3-2+b1 36,0 kbyte398,0 kbyte [filförteckning]
ppc64 (inofficiell anpassning) 0.5.0.3-2+b1 36,2 kbyte391,0 kbyte [filförteckning]
ppc64el 0.5.0.3-2+b1 36,6 kbyte386,0 kbyte [filförteckning]
riscv64 0.5.0.3-2+b2 36,8 kbyte381,0 kbyte [filförteckning]
s390x 0.5.0.3-2+b1 38,5 kbyte433,0 kbyte [filförteckning]
sh4 (inofficiell anpassning) 0.5.0.3-1 35,4 kbyte399,0 kbyte [filförteckning]
sparc64 (inofficiell anpassning) 0.5.0.3-2+b2 38,8 kbyte406,0 kbyte [filförteckning]
x32 (inofficiell anpassning) 0.5.0.3-2 41,3 kbyte375,0 kbyte [filförteckning]