lib:ghc-typelits-presburger

Modules

• GHC.TypeLits.Presburger

Dependencies

• base lib:base >=4.7 && <5
• equational-reasoning lib:equational-reasoning >=0.4.0.0
• ghc lib:ghc >=7.10 && <8.2
• ghc-tcplugins-extra lib:ghc-tcplugins-extra >=0.2 && <0.3
• presburger lib:presburger >=1.3 && <1.4
• reflection lib:reflection >=0

Reverse dependencies

Direct only. Not exhaustive.

• ghc-typelits-presburger exe:simple-arith
• ghc-typelits-presburger exe:simple-arith-core
• ghc-typelits-presburger test:test-typeltis-presburger
• singletons-presburger lib:singletons-presburger
• type-natural lib:type-natural