ghc-typelits-presburger-0.6.0.0: Presburger Arithmetic Solver for GHC Type-level natural numbers.
Safe HaskellNone
LanguageHaskell2010

GHC.TypeLits.Presburger

Description

Provides a plain Presburger solver plugin for Nat.

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

Documentation

plugin :: Plugin Source #