@hackage refined0.4
Refinement types with static and runtime checking
Deprecated
Tested Compilers
Dependencies (10)
- QuickCheck >=2.1 && <2.13
- aeson >=0.9 && <1.5.0.0
- base >=4.9.1.0 && <4.13.0.0
- deepseq >=1.4.0.0 && <1.5.0.0
- exceptions >=0.8.0.0 && <0.11.0
- mtl >=2.2.1.0 && <3.0.0.0 Show all…
Dependents (24)
@hackage/circle, @hackage/binrep, @hackage/strongweak, @hackage/refined-with, @hackage/refined-http-api-data, @hackage/string-variants, Show all…
Package Flags
aeson
(on by default)
You can disable the use of the aeson package using `-f-aeson`.
This may be useful for accelerating builds in sandboxes for expert users.
quickcheck
(on by default)
You can disable the use of the QuickCheck package using `-f-QuickCheck`.
This may be useful for accelerating builds in sandboxes for expert users.
For an extensive introduction to the library please follow to this blog-post.