Dependencies for liquid-fixpoint-0.8.10.7
Libraries
liquid-fixpoint
- aeson
- ansi-terminal
- array
- async
- attoparsec
- base (>=4.9.1.0 && <5)
- binary
- boxes
- bytestring
- cereal
- cmdargs
- containers
- deepseq
- directory
- fgl
- filepath
- hashable (>=1.3 && <1.3.4)
- intern
- megaparsec (>=7.0.0 && <9)
- mtl
- parallel
- parser-combinators
- pretty (>=1.1.3.1)
- process
- rest-rewrite (>=0.1.1 && <0.2)
- stm
- store
- syb
- text
- transformers
- unordered-containers
- if !os(windows)
- ascii-progress (>=0.3)
Executables
fixpoint
- base (>=4.9.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