@hackage predicate-typed0.7.4.5
Predicates, Refinement types and Dsl
Installation
Dependencies (20)
- QuickCheck
- aeson
- aeson-pretty
- base >=4.7 && <5
- binary
- bytestring Show all…
Dependents (0)
Please see the README on GitHub at https://github.com/gbwey/predicate-typed#readme