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