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

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

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



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


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 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) 36,6 kbyte390,0 kbyte [filförteckning]
amd64 32,2 kbyte321,0 kbyte [filförteckning]
arm64 35,0 kbyte416,0 kbyte [filförteckning]
armel 33,0 kbyte331,0 kbyte [filförteckning]
armhf 32,9 kbyte330,0 kbyte [filförteckning]
hppa (inofficiell anpassning) 39,2 kbyte371,0 kbyte [filförteckning]
i386 31,3 kbyte292,0 kbyte [filförteckning]
m68k (inofficiell anpassning) 35,1 kbyte354,0 kbyte [filförteckning]
mips64el 35,9 kbyte439,0 kbyte [filförteckning]
mipsel 33,4 kbyte348,0 kbyte [filförteckning]
powerpcspe (inofficiell anpassning) 36,1 kbyte406,0 kbyte [filförteckning]
ppc64 (inofficiell anpassning) 35,9 kbyte433,0 kbyte [filförteckning]
ppc64el 36,1 kbyte427,0 kbyte [filförteckning]
riscv64 (inofficiell anpassning) 38,2 kbyte421,0 kbyte [filförteckning]
s390x 37,5 kbyte389,0 kbyte [filförteckning]
sh4 (inofficiell anpassning) 35,5 kbyte345,0 kbyte [filförteckning]
sparc64 (inofficiell anpassning) 37,5 kbyte430,0 kbyte [filförteckning]
x32 (inofficiell anpassning) 40,2 kbyte375,0 kbyte [filförteckning]