singletons-presburger-0.7.1.0: Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Singletons.TypeNats.Presburger

Documentation

plugin :: Plugin Source #

singletonTranslation :: TcPluginM Translation Source #