Dependencies for liquidhaskell-0.4.1.0
Libraries
liquidhaskell
- aeson
- ansi-terminal
- array
- base
- bifunctors
- bytestring
- cmdargs
- containers
- cpphs
- data-default
- deepseq
- Diff
- directory
- filemanip
- filepath
- fingertree
- ghc (>=7.8.3)
- ghc-paths
- hashable
- hpc
- hscolour
- intern
- liquid-fixpoint (>=0.3 && <0.4)
- mtl
- parsec
- pretty
- process
- syb
- template-haskell
- text
- time
- unordered-containers
- vector
Executables
liquid
- aeson
- ansi-terminal
- array
- base (>=4 && <5)
- bifunctors
- bytestring
- cmdargs
- containers
- cpphs
- data-default
- deepseq
- Diff
- directory
- filemanip
- filepath
- fingertree
- ghc (>=7.8.3)
- ghc-paths
- hashable
- hpc
- hscolour
- liquid-fixpoint
- liquidhaskell
- mtl
- parsec
- pretty
- process
- syb
- template-haskell
- text
- time
- unordered-containers
- vector
Flags
Automatic Flags
| Name | Description | Default |
|---|---|---|
| include | use in-tree include directory | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info