@hackage refined0.8.2
Refinement types with static and runtime checking
Installation
Tested Compilers
Dependencies (11)
- QuickCheck >=2.1
- aeson >=0.9
- base >=4.11 && <5
- bytestring >=0.10
- deepseq >=1.4
- exceptions >=0.8 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.
refined
In type theory, a refinement type is a type endowed with a predicate which is assumed to hold for any element of the refined type.
This library allows one to capture the idea of a refinement type
using the Refined type. A Refined p x wraps a value
of type x, ensuring that it satisfies a type-level predicate p.
A simple introduction to this library can be found here: http://nikita-volkov.github.io/refined/