Dependencies for cl3-posit-1.0.0.0
Libraries
cl3-posit
- cl3
- deepseq (>=1.1 && <2)
- posit (>=2022.0.1)
- if !flag(do-no-random)
- random (>=1.0 && <2)
- if !flag(do-liquid)
- base (>=4.7 && <5)
- if flag(do-liquid)
Flags
Manual Flags
Name | Description | Default |
---|---|---|
do-no-derived-instances | Disable derived instances to reduce noise when inspecting GHC Core | Enabled |
do-no-random | Build without random library support | Disabled |
do-no-storable | Build without Storable Class support | Disabled |
do-liquid | Build with Liquid Haskell checking | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info