@hackage refined10.9.0
Refinement types with static and runtime checking (+ Refined1)
Categories
License
MIT
Maintainer
Ben Orchard <thefirstmuffinman@gmail.com>
Links
- Homepage
- Documentation
- No source repository
- Changelog
- Security
Versions
- 0.9.0 Wed, 10 May 2023
Deprecated
Tested Compilers
Dependencies (11)
- QuickCheck >=2.1 && <2.15
- aeson >=0.9 && <2.2
- base >=4.11 && <4.19
- bytestring >=0.10 && <0.12
- deepseq >=1.4 && <1.5
- exceptions >=0.8 && <0.11 Show all…
Dependents (2)
@hackage/binrep, @hackage/strongweak
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.
refined1
Fork of nikita-volkov/refined with minimal changes. Hopefully temporary.
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/