lib:singletons-presburger

Modules

• Data.Singletons.TypeNats.Presburger

Dependencies

• base lib:base >=4.7 && <5
• ghc lib:ghc >=0
• ghc-typelits-presburger lib:ghc-typelits-presburger >=0.4
• mtl lib:mtl >=0
• reflection lib:reflection >=0
• singletons lib:singletons >=0 && >=0
• singletons-base lib:singletons-base >=3.0

Reverse dependencies

Direct only. Not exhaustive.

• singletons-presburger exe:simple-arith
• sized lib:sized