# quickcheck-property-comb: Combinators for Quickcheck Property construction and diagnostics

These are simple monads that aim to reduce the pain of composing invariants/properties, and the documenting of those invariants for determining the cause of failure. Specifically, they provide a tool for effective diagnostic for invariants with changing post-conditions, leading to a faster cause-of-failure diagnosis.

Example case for invariants on a data structure Consumers.

data (Ord l) => Consumers l = Consumers { introduced :: S.Set l, met :: M.Map (S.Set l) Bool, disjoints :: Disjoints l } introduced_in_disjoint :: Inv (Consumers l) introduced_in_disjoint = do doc "all at quantity are a singleton subset in disjoints" subsets <- (map S.singleton) . S.toList . introduced <$> cause disjoint_sets <- disjoints <$> cause return . and . map ((flip S.member) disjoint_sets) $ subsets disjoint_sizes :: Inv (Disjoints l) disjoint_sizes = do doc . unlines $ [ "the intersection of introduced and disjoints are the only allowed", "singleton sets in disjoints" ] disjoints' <- cause -- Do the checking return False disjoints_eq :: Inv (Disjoints l) disjoints_eq = do doc "disjoint sets are equal in size" -- .. return True disjoints_inv :: Invariants (Disjoints l) disjoints_inv= do sat disjoints_eq sat disjoints_sizes inv_consumers :: Invariants (Consumers l) inv_consumers = do satcomp disjoints disjoints_inv satcomp met met_inv sat introduced_in_disjoint

And to run the Consumer invariant on generated cases:

prop_testedFunction :: Arg -> Property prop_testedFunction arg = let consumers = testedFunction arg in runInvariants consumers inv_consumers

[Skip to Readme]

Versions [faq] | 0.1.0.0, 0.1.0.1, 0.1.0.2 |
---|---|

Dependencies | base (==4.5.*), mtl (==2.1.*), QuickCheck (>=2.5 && <=2.6) [details] |

License | LicenseRef-PublicDomain |

Author | John Feltz |

Maintainer | jfeltz@gmail.com |

Category | Testing |

Home page | http://www.github.com/jfeltz/quickcheck-property-comb |

Uploaded | by jfeltz at Thu Dec 26 14:30:48 UTC 2013 |

Distributions | NixOS:0.1.0.2 |

Downloads | 1348 total (30 in the last 30 days) |

Rating | (no votes yet) [estimated by rule of succession] |

Your Rating | |

Status | Docs not available [build log] All reported builds failed as of 2016-12-19 [all 5 reports] |

## Modules

*Test**QuickCheck**Property*- Test.QuickCheck.Property.Comb

## Downloads

- quickcheck-property-comb-0.1.0.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)