quickcheck-state-machine v0.2.0 Release Notes

Release Date: 2017-10-11 // over 4 years ago
    • Z-inspired definition of relations and associated operations were added to help defining concise and showable models;

    • Template Haskell derivation of shrink and type classes: Show, Constructors, HFunctor, HFoldable, HTraversable;

    • New and more flexible combinators for building sequential and parallel properties replaced the old clunky ones;

    • Circular buffer example was added;

    • Two examples of how to test CRUD web applications were added.