ghc-ghc-typelits-extra

Additional type-level operations on GHC.TypeLits.Nat

Additional type-level operations on 'GHC.TypeLits.Nat': * 'Max': type-level <<a href="http://hackage.haskell.org/package/base-4.8.2.0/docs/Prelude.html#v:max">http://hackage.haskell.org/package/base-4.8.2.0/docs/Prelude.html#v:max</a> max> * 'Min': type-level <<a href="http://hackage.haskell.org/package/base-4.8.2.0/docs/Prelude.html#v:min">http://hackage.haskell.org/package/base-4.8.2.0/docs/Prelude.html#v:min</a> min> * 'Div': type-level <<a href="http://hackage.haskell.org/package/base-4.8.2.0/docs/Prelude.html#v:div">http://hackage.haskell.org/package/base-4.8.2.0/docs/Prelude.html#v:div</a> div> * 'Mod': type-level <<a href="http://hackage.haskell.org/package/base-4.8.2.0/docs/Prelude.html#v:mod">http://hackage.haskell.org/package/base-4.8.2.0/docs/Prelude.html#v:mod</a> mod> * 'FLog': type-level equivalent of <<a href="https://hackage.haskell.org/package/integer-gmp/docs/GHC-Integer-Logarithms.html#v:integerLogBase-35-">https://hackage.haskell.org/package/integer-gmp/docs/GHC-Integer-Logarithms.html#v:integerLogBase-35-</a> integerLogBase#> i.e. the exact integer equivalent to 'floor (logBase x y)' * 'CLog': type-level equivalent of /the ceiling of/ <<a href="https://hackage.haskell.org/package/integer-gmp/docs/GHC-Integer-Logarithms.html#v:integerLogBase-35-">https://hackage.haskell.org/package/integer-gmp/docs/GHC-Integer-Logarithms.html#v:integerLogBase-35-</a> integerLogBase#> i.e. the exact integer equivalent to 'ceiling (logBase x y)' * 'Log': type-level equivalent of <<a href="https://hackage.haskell.org/package/integer-gmp/docs/GHC-Integer-Logarithms.html#v:integerLogBase-35-">https://hackage.haskell.org/package/integer-gmp/docs/GHC-Integer-Logarithms.html#v:integerLogBase-35-</a> integerLogBase#> where the operation only reduces when 'floor (logBase b x) ~ ceiling (logBase b x)' * 'GCD': a type-level <<a href="http://hackage.haskell.org/package/base-4.8.2.0/docs/Prelude.html#v:gcd">http://hackage.haskell.org/package/base-4.8.2.0/docs/Prelude.html#v:gcd</a> gcd> * 'LCM': a type-level <<a href="http://hackage.haskell.org/package/base-4.8.2.0/docs/Prelude.html#v:lcm">http://hackage.haskell.org/package/base-4.8.2.0/docs/Prelude.html#v:lcm</a> 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.