Dependencies for ghc-typelits-presburger-0.1.1.1
Libraries
ghc-typelits-presburger
- base (>=4.7 && <5)
- equational-reasoning (>=0.4.0.0 && <0.6)
- ghc (>=7.10 && <8.4)
- ghc-tcplugins-extra (>=0.2 && <0.3)
- presburger (>=1.3 && <1.4)
- reflection (>=2.1.2 && <2.2)
Executables
simple-arith
- base (>=4.7 && <5)
- equational-reasoning (>=0.5.0.0 && <0.6)
- ghc-typelits-presburger (>=0.1.1.1 && <0.2)
- singletons (>=2.2 && <2.4)
- if !flag(examples)
- buildable: False
Flags
Automatic Flags
| Name | Description | Default |
|---|---|---|
| examples | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info