BSD-2-Clause licensed by Christiaan Baaij
This version can be pinned in stack with:ghc-typelits-extra-0.2@sha256:52861a8d689da7f12990a870c6f3c0a219e9b2946570733710e21841947afdbc,4690
Module documentation for 0.2
ghc-typelits-extra
Extra type-level operations on GHC.TypeLits.Nat and a custom solver implemented
as a GHC type-checker plugin:
GHC.TypeLits.Extra.Max
: type-level max
GHC.TypeLits.Extra.Min
: type-level min
GHC.TypeLits.Extra.Div
: type-level div
GHC.TypeLits.Extra.Mod
: type-level mod
GHC.TypeLits.Extra.FLog
: type-level equivalent of integerLogBase#
.i.e. the exact integer equivalent to “floor (logBase x y)
”
GHC.TypeLits.Extra.CLog
: type-level equivalent of the ceiling of integerLogBase#
.i.e. the exact integer equivalent to “ceiling (logBase x y)
”
- ‘GHC.TypeLits.Extra.Log’: type-level equivalent of <https://hackage.haskell.org/package/integer-gmp/docs/GHC-Integer-Logarithms.html#v:integerLogBase-35- integerLogBase#>
where the operation only reduces when “
floor (logBase b x) ~ ceiling (logBase b x)
”
GHC.TypeLits.Extra.GCD
: a type-level gcd
GHC.TypeLits.Extra.LCM
: a type-level lcm
0.2 August 19th 2016
- New type-level operations:
Max
: type-level max
Min
: type-level min
Div
: type-level div
Mod
: type-level mod
FLog
: floor of logBase
Log
: exact integer logBase (i.e. where floor (logBase b x) ~ ceiling (logBase b x)
holds)
LCM
: type-level lcm
- Fixes bugs:
CLog b 1
doesn’t reduce to 0
0.1.3 July 19th 2016
- Fixes bugs:
- Rounding error in
CLog
calculation
0.1.2 July 8th 2016
- Solve KnownNat constraints over CLog and GCD, i.e., KnownNat (CLog 2 4)
0.1.1 January 20th 2016
0.1 October 21st 2015