Documentation

A solver implement as a type-checker plugin for:

• 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

To use the plugin, add

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

To the header of your file.