ghc-typelits-presburger-0.3.0.0: Presburger Arithmetic Solver for GHC Type-level natural numbers.
GHC.TypeLits.Presburger
Description
Provides a plain Presburger solver plugin for Nat.
Nat
For an interface for extension, see GHC.TypeLits.Presburger.Types.
plugin :: Plugin Source #