ghc-typelits-presburger-0.7.1.0: Presburger Arithmetic Solver for GHC Type-level natural numbers.
Safe HaskellSafe-Inferred
LanguageHaskell2010

GHC.TypeLits.Presburger

Description

Provides a plain Presburger solver plugin for Nat.

For an interface for extension, see GHC.TypeLits.Presburger.Types.

Documentation