Documentation

A solver implement as a type-checker plugin for:

• ExtraOp: type-level div
• ExtraOp: type-level mod
• ExtraOp: type-level equivalent of integerLogBase# .i.e. the exact integer equivalent to "floor (logBase x y)"
• ExtraOp: type-level equivalent of the ceiling of integerLogBase# .i.e. the exact integer equivalent to "ceiling (logBase x y)"
• ExtraOp: type-level equivalent of integerLogBase# where the operation only reduces when "floor (logBase b x) ~ ceiling (logBase b x)"
• ExtraOp: a type-level gcd
• ExtraOp: a type-level lcm

To use the plugin, add

{-# OPTIONS_GHC -fplugin GHC.TypeLits.Extra.Solver #-}

To the header of your file.