Dependencies for liquid-fixpoint-0.7.0.2
Libraries
liquid-fixpoint
- ansi-terminal
- array
- async
- attoparsec
- base (>=4.8.1.0 && <5)
- bifunctors
- binary
- boxes
- bytestring
- cereal
- cmdargs
- containers
- deepseq
- directory
- dotgen
- fgl
- fgl-visualize
- filemanip
- filepath
- ghc-prim
- hashable
- intern
- mtl
- parallel
- parallel-io
- parsec
- pretty
- process
- syb
- text
- text-format
- time
- transformers
- unordered-containers
- if impl(ghc>=7.10.2)
- if !os(windows)
- ascii-progress (>=0.3)
Executables
fixpoint
- base (>=4.8.1.0 && <5)
- liquid-fixpoint
Flags
Manual Flags
| Name | Description | Default |
|---|---|---|
| devel | turn on stricter error reporting for development | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info