Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Hedgehog state machine #48

Open
wants to merge 4 commits into
base: main
Choose a base branch
from
Open

Hedgehog state machine #48

wants to merge 4 commits into from

Commits on Feb 20, 2018

  1. Add instances of MonadCatch and MonadThrow to WaiSession

    @ajmcmiddlin
    ajmcmiddlin committed Feb 20, 2018
    Configuration menu
    Copy the full SHA
    2da149d View commit details
    Browse the repository at this point in the history

  2. Add exceptions to test target in cabal file

    @ajmcmiddlin
    ajmcmiddlin committed Feb 20, 2018
    Configuration menu
    Copy the full SHA
    4289756 View commit details
    Browse the repository at this point in the history

  3. Remove unused OverloadedStrings in Internal.hs

    @ajmcmiddlin
    ajmcmiddlin committed Feb 20, 2018
    Configuration menu
    Copy the full SHA
    4ed6b97 View commit details
    Browse the repository at this point in the history

  4. Make runWaiSession part of the public interface 

    While using state machine testing from hedgehog, it's useful to build up a
session in a `PropertyT WaiSession` and then run the session at the end. In
order to do that access to `runWaiSession` is needed. It can currently be
accessed by importing the `Internal` module, but I think making it more
prominent is useful.
    @ajmcmiddlin
    ajmcmiddlin committed Feb 20, 2018
    Configuration menu
    Copy the full SHA
    ea5c126 View commit details
    Browse the repository at this point in the history