@hackage control-invariants0.1.0.0
Invariants and contract monitoring
Categories
License
MIT
Maintainer
simon.hudon@gmail.com
Links
Versions
- 0.1.0.0 Fri, 28 Oct 2016
Installation
Dependencies (14)
- QuickCheck
- assert >=0.0 && <0.1
- base >=4.8 && <5
- containers >=0.5 && <0.6
- data-default >=0.5 && <0.8
- deepseq >=1.4 && <1.5 Show all…
Dependents (2)
@hackage/existential, @hackage/axiomatic-classes
Invariants and contract monitoring