@hackage ghc-typelits-extra0.4.8

Additional type-level operations on GHC.TypeLits.Nat

Installation
In your cabal file:
Tested Compilers
- 9.12.1
- 9.10.1
- 9.8.4
- 9.6.6
- 9.4.8
- 9.2.8
- 9.0.2
- 8.10.7
- 8.8.4
- 8.6.5
- 8.4.4
- 8.2.2
- 8.0.2
Dependencies (11)
- base >=4.8 && <5
- containers >=0.5.7.1 && <0.8
- ghc-bignum >=1.0 && <1.4
- ghc-prim >=0.5 && <1.0
- integer-gmp >=1.0 && <1.1
- template-haskell >=2.17 && <2.23
Dependents (11)
@hackage/hasktorch, @hackage/ice40-prim, @hackage/clash-ghc, @hackage/clash-finite, @hackage/clash-shake, @hackage/retroclash-sim, Show all…

deverror

(off by default)

Enables `-Werror` for development mode and TravisCI

Additional type-level operations on GHC.TypeLits.Nat:

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.