Dependencies for liquidhaskell-0.8.0.2
Libraries
liquidhaskell
- aeson (>=0.10 && <1.0)
- array (>=0.5)
- base (>=4.8.1.0 && <5)
- bifunctors (>=5.1)
- binary
- bytestring (>=0.10)
- Cabal (>=1.18)
- cereal
- cmdargs (>=0.10)
- containers (>=0.5)
- data-default (>=0.5)
- deepseq (>=1.3)
- Diff (>=0.3)
- directory (>=1.2)
- exceptions (>=0.6)
- filepath (>=1.3)
- fingertree (>=0.1)
- ghc (==8.0.2)
- ghc-boot (==8.0.2)
- ghc-paths (>=0.1)
- ghc-prim
- hashable (>=1.2)
- hpc (>=0.6)
- hscolour (>=1.22)
- liquid-fixpoint (>=0.7)
- located-base
- mtl (>=2.1)
- parsec (>=3.1)
- pretty (>=1.1)
- process (>=1.2)
- QuickCheck (>=2.7)
- syb (>=0.4.4)
- template-haskell (>=2.9)
- temporary (>=1.2)
- text (>=1.2)
- text-format
- th-lift
- time (>=1.4)
- transformers (>=0.3)
- unordered-containers (>=0.2)
- vector (>=0.10)
Executables
liquid
- base (>=4.8.1.0 && <5)
- cmdargs
- deepseq
- ghc
- ghc-boot (==8.0.2)
- hpc (>=0.6)
- liquid-fixpoint (>=0.7)
- liquidhaskell
- located-base
- pretty
- process
- time
target
- base (>=4.8.1.0 && <5)
- hint
- liquidhaskell
Flags
Manual Flags
| Name | Description | Default |
|---|---|---|
| devel | turn on stricter error reporting for development | Disabled |
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