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

Stateless version of MockT #8

Closed
wants to merge 7 commits into from
Closed

Stateless version of MockT #8

wants to merge 7 commits into from

Commits on Apr 12, 2019

  1. Stateless version of MockT

    @pepeiborra
    pepeiborra committed Apr 12, 2019
    Configuration menu
    Copy the full SHA
    7b074c1 View commit details
    Browse the repository at this point in the history

Commits on Apr 15, 2019

  1. Add missing dependency on primitive

    @pepeiborra
    pepeiborra committed Apr 15, 2019
    Configuration menu
    Copy the full SHA
    e226ce5 View commit details
    Browse the repository at this point in the history

  2. Relax upper bound for template Haskell

    @pepeiborra
    pepeiborra committed Apr 15, 2019
    Configuration menu
    Copy the full SHA
    c28909e View commit details
    Browse the repository at this point in the history

Commits on Apr 17, 2019

  1. Derive also PrimMonad

    @pepeiborra
    pepeiborra committed Apr 17, 2019
    Configuration menu
    Copy the full SHA
    2d4e617 View commit details
    Browse the repository at this point in the history

Commits on Apr 18, 2019

  1. Derive also MonadFix

    @pepeiborra
    pepeiborra committed Apr 18, 2019
    Configuration menu
    Copy the full SHA
    87a3f22 View commit details
    Browse the repository at this point in the history

Commits on Apr 19, 2019

  1. Generalize WithResult to computations

    @pepeiborra
    pepeiborra committed Apr 19, 2019
    Configuration menu
    Copy the full SHA
    52bac81 View commit details
    Browse the repository at this point in the history

  2. Extend the WithResult language with a skipping primitive

    @pepeiborra
    pepeiborra committed Apr 19, 2019
    Configuration menu
    Copy the full SHA
    64ada58 View commit details
    Browse the repository at this point in the history