Paket: libghc-ghc-typelits-extra-dev (0.4.7-1 och andra)

Länkar för libghc-ghc-typelits-extra-dev

eLxr Patch Tracker

Hämta källkodspaketet haskell-ghc-typelits-extra:

Ansvariga:

Externa resurser:

Hemsida [www.clash-lang.org]

Liknande paket:

Additional type-level operations on GHC.TypeLits.Nat

Operations:

 * Max: type-level max

 * Min: type-level min

 * Div: type-level div

 * Mod: type-level mod

 * FLog: type-level equivalent of integerLogBase

i.e. the exact integer equivalent to floor (logBase x y)

 * CLog: type-level equivalent of the ceiling of integerLogBase

i.e. the exact integer equivalent to ceiling (logBase x y)

 * Log: type-level equivalent of integerLogBase

where the operation only reduces when floor (logBase b x) ~ ceiling (logBase b x)

 * GCD: a type-level gcd

 * LCM: a type-level lcm

And a custom solver for the above operations defined in GHC.TypeLits.Extra.Solver as a GHC type-checker plugin. To use the plugin, add the

OPTIONS_GHC -fplugin GHC.TypeLits.Extra.Solver

pragma to the header of your file.

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-ghc-typelits-extra-dev

beror

rekommenderar

föreslår

enhances

dep: libc6 (>= 2.17) [arm64]

GNU C Library: Shared libraries
också ett virtuellt paket som tillhandahålls av libc6-udeb

dep: libc6 (>= 2.2.5) [amd64]
dep: libghc-base-dev-4.18.2.1-75247 [arm64]

virtuellt paket som tillhandahålls av ghc
dep: libghc-base-dev-4.18.2.1-8e81e [amd64]

virtuellt paket som tillhandahålls av ghc
dep: libghc-containers-dev-0.6.7-3eda8 [arm64]

virtuellt paket som tillhandahålls av ghc
dep: libghc-containers-dev-0.6.7-7a228 [amd64]

virtuellt paket som tillhandahålls av ghc
dep: libghc-ghc-bignum-dev-1.3-ff2dd

virtuellt paket som tillhandahålls av ghc
dep: libghc-ghc-dev-9.6.6-2b207 [amd64]

virtuellt paket som tillhandahålls av ghc
dep: libghc-ghc-dev-9.6.6-dca42 [arm64]

virtuellt paket som tillhandahålls av ghc
dep: libghc-ghc-prim-dev-0.10.0-e2193

virtuellt paket som tillhandahålls av ghc
dep: libghc-ghc-tcplugins-extra-dev-0.4.6-965f8 [amd64]

virtuellt paket som tillhandahålls av libghc-ghc-tcplugins-extra-dev
dep: libghc-ghc-tcplugins-extra-dev-0.4.6-cdd18 [arm64]

virtuellt paket som tillhandahålls av libghc-ghc-tcplugins-extra-dev
dep: libghc-ghc-typelits-knownnat-dev-0.7.12-1c6d6 [arm64]

virtuellt paket som tillhandahålls av libghc-ghc-typelits-knownnat-dev
dep: libghc-ghc-typelits-knownnat-dev-0.7.12-a237a [amd64]

virtuellt paket som tillhandahålls av libghc-ghc-typelits-knownnat-dev
dep: libghc-ghc-typelits-natnormalise-dev-0.7.10-10a39 [amd64]

virtuellt paket som tillhandahålls av libghc-ghc-typelits-natnormalise-dev
dep: libghc-ghc-typelits-natnormalise-dev-0.7.10-5de26 [arm64]

virtuellt paket som tillhandahålls av libghc-ghc-typelits-natnormalise-dev
dep: libghc-template-haskell-dev-2.20.0.0-54f98 [amd64]

virtuellt paket som tillhandahålls av ghc
dep: libghc-template-haskell-dev-2.20.0.0-a6103 [arm64]

virtuellt paket som tillhandahålls av ghc
dep: libghc-transformers-dev-0.6.1.0-5335d

virtuellt paket som tillhandahålls av ghc
dep: libgmp10 (>= 2:6.3.0+dfsg)

Multiprecision arithmetic library

Hämta libghc-ghc-typelits-extra-dev

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
amd64	0.4.7-1+b2	95,7 kbyte	802,0 kbyte	[filförteckning]
arm64	0.4.7-1+b2	96,4 kbyte	974,0 kbyte	[filförteckning]