Dependencies for grisette-0.13.0.0
Libraries
grisette
- array (>=0.5.4 && <0.6)
- async (>=2.2.2 && <2.3)
- atomic-primops (>=0.8.3 && <0.9)
- base (>=4.14 && <5)
- binary (>=0.8.8.0 && <0.9)
- bytes (>=0.17.1 && <0.18)
- bytestring (>=0.10.12 && <0.13)
- cereal (>=0.5.8.1 && <0.6)
- cereal-text (>=0.1.0.2 && <0.2)
- containers (>=0.5.7 && <0.9)
- deepseq (>=1.4.4 && <1.6)
- generic-deriving (>=1.14.1 && <1.15)
- hashable (>=1.3 && <1.6)
- libBF (>=0.6.3 && <0.7)
- loch-th (>=0.2.2 && <0.3)
- mtl (>=2.2.2 && <2.4)
- parallel (>=3.2.2 && <3.3)
- prettyprinter (>=1.5.0 && <1.8)
- QuickCheck (>=2.14 && <2.17)
- sbv (>=8.17 && <12)
- stm (>=2.5 && <2.6)
- template-haskell (>=2.16 && <2.24)
- text (>=1.2.4.1 && <2.2)
- th-abstraction (>=0.4 && <0.8)
- th-compat (>=0.1.2 && <0.2)
- th-lift-instances (>=0.1.16 && <0.2)
- transformers (>=0.5.6.2 && <0.7)
- unordered-containers (>=0.2.17 && <0.3)
- vector (>=0.12.1.2 && <0.14)
Flags
Automatic Flags
Name | Description | Default |
---|---|---|
optimize | Compile with O2 optimization | Enabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info