Dependencies for synthesizer-inference-0.2
Libraries
synthesizer-inference
- event-list (>=0.0.8 && <0.1)
- non-negative (>=0.0.5 && <0.1)
- numeric-prelude (>=0.1.1 && <0.2)
- synthesizer-core (>=0.2 && <0.3)
- transformers (>=0.0.1 && <0.2)
- UniqueLogicNP (>=0.2 && <0.3)
- utility-ht (>=0.0.5 && <0.1)
- if flag(splitbase)else
- base (>=1.0 && <2)
- special-functors (>=1.0 && <1.1)
Executables
alinea
- if !flag(buildexamples)
- buildable: False
Flags
Automatic Flags
| Name | Description | Default |
|---|---|---|
| splitbase | Choose the new smaller, split-up base package. | Enabled |
| category | Check whether Arrow class is split into Arrow and Category. | Enabled |
| optimizeadvanced | Enable advanced optimizations. They slow down compilation considerably. | Enabled |
| buildprofilers | Build executables for investigating efficiency of code | Disabled |
| buildtests | Build test suite | Disabled |
| buildexamples | Build example executables | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info