lib:ghc-typelits-presburger
Modules
Dependencies
- base lib:base >=4.7 && <5
- containers lib:containers >=0
- ghc lib:ghc <9.13
- ghc-tcplugins-extra lib:ghc-tcplugins-extra >=0.2 && <0.5
- mtl lib:mtl >=0
- pretty lib:pretty >=0
- reflection lib:reflection >=0
- syb lib:syb >=0
- transformers lib:transformers >=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
- sized lib:sized
- type-natural lib:type-natural