libghc-ghc-typelits-extra-dev 0.4.2-1 (riscv64 binary) in ubuntu kinetic
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.
add the
.
OPTIONS_GHC -fplugin GHC.TypeLits.
.
pragma to the header of your file.
.
This package provides a library for the Haskell programming language.
See http://
Details
- Package version:
- 0.4.2-1
- Status:
- Superseded
- Component:
- universe
- Priority:
- Optional
Downloadable files
Package relationships
- Depends on:
- libc6 (>= 2.27)
- libghc-base-dev-4.13.0.0-c3729
- libghc-containers-dev-0.6.2.1-c0d6a
- libghc-ghc-dev-8.8.4-d7c73
- libghc-ghc-prim-dev-0.5.3-49209
- libghc-ghc-tcplugins-extra-dev-0.4.1-9ee3b
- libghc-ghc-typelits-knownnat-dev-0.7.4-662fd
- libghc-ghc-typelits-natnormalise-dev-0.7.3-e6b33
- libghc-integer-gmp-dev-1.0.2.0-431ce
- libghc-transformers-dev-0.5.6.2-00bc3
- libgmp10 (>= 2:6.2.1+dfsg)
- libtinfo6 (>= 6)
- sgml-base (>= 1.28)
- Provides:
- libghc-ghc-typelits-extra-dev-0.4.2-f345b