The control-invariants package

[Tags:library, mit]

Invariants and contract monitoring

Properties

Versions 0.1.0.0
Dependencies assert (==0.0.*), base (>=4.8 && <5), containers (==0.5.*), data-default (>=0.5 && <0.8), deepseq (==1.4.*), either (==4.4.*), lens (>=4.12 && <4.15), mtl (==2.2.*), QuickCheck, semigroups (>=0.16 && <0.19), template-haskell (>=2.10 && <2.12), th-lift, th-printf, transformers (>=0.4 && <0.6) [details]
License MIT
Author Simon Hudon
Maintainer simon.hudon@gmail.com
Category Control
Source repository head: git clone https://github.com/literate-unitb/invariants.git
Uploaded Fri Oct 28 17:53:59 UTC 2016 by SimonHudon
Updated Fri Oct 28 17:56:07 UTC 2016 by SimonHudon to revision 1
Distributions
Downloads 71 total (14 in the last 30 days)
Votes
0 []
Status Docs available [build log]
Last success reported on 2016-10-28 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees