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

Non-empty nondeterminism effect #198

Merged
merged 42 commits into from
Sep 18, 2019
Merged

Non-empty nondeterminism effect #198

merged 42 commits into from
Sep 18, 2019

Commits on Aug 25, 2019

  1. Stub in a module for non-empty nondeterminism.

    @robrix
    robrix committed Aug 25, 2019
    Configuration menu
    Copy the full SHA
    0bf995a View commit details
    Browse the repository at this point in the history

  2. Define a NonDet effect.

    @robrix
    robrix committed Aug 25, 2019
    Configuration menu
    Copy the full SHA
    5633307 View commit details
    Browse the repository at this point in the history

  3. Derive a Functor instance for NonDet.

    @robrix
    robrix committed Aug 25, 2019
    Configuration menu
    Copy the full SHA
    27509ae View commit details
    Browse the repository at this point in the history

  4. Derive a Generic1 instance for NonDet.

    @robrix
    robrix committed Aug 25, 2019
    Configuration menu
    Copy the full SHA
    22cde3f View commit details
    Browse the repository at this point in the history

  5. Define HFunctor & Effect instances for NonDet.

    @robrix
    robrix committed Aug 25, 2019
    Configuration menu
    Copy the full SHA
    e0eb437 View commit details
    Browse the repository at this point in the history

  6. Define a carrier for non-empty nondeterminism.

    @robrix
    robrix committed Aug 25, 2019
    Configuration menu
    Copy the full SHA
    98cd780 View commit details
    Browse the repository at this point in the history

  7. Define a smart constructor for Choose.

    @robrix
    robrix committed Aug 25, 2019
    Configuration menu
    Copy the full SHA
    2123fd6 View commit details
    Browse the repository at this point in the history

  8. Improve the docs for runNonDetC.

    @robrix
    robrix committed Aug 25, 2019
    Configuration menu
    Copy the full SHA
    32de1d3 View commit details
    Browse the repository at this point in the history

  9. Define an Applicative instance for NonDetC.

    @robrix
    robrix committed Aug 25, 2019
    Configuration menu
    Copy the full SHA
    9e29027 View commit details
    Browse the repository at this point in the history

  10. Define a Monad instance for NonDetC.

    @robrix
    robrix committed Aug 25, 2019
    Configuration menu
    Copy the full SHA
    af80d08 View commit details
    Browse the repository at this point in the history

  11. Define a MonadTrans instance for NonDetC.

    @robrix
    robrix committed Aug 25, 2019
    Configuration menu
    Copy the full SHA
    d371d49 View commit details
    Browse the repository at this point in the history

  12. Define a MonadFail instance for NonDetC.

    @robrix
    robrix committed Aug 25, 2019
    Configuration menu
    Copy the full SHA
    3bb2dff View commit details
    Browse the repository at this point in the history

  13. Define a MonadIO instance for NonDetC.

    @robrix
    robrix committed Aug 25, 2019
    Configuration menu
    Copy the full SHA
    20fcef4 View commit details
    Browse the repository at this point in the history

  14. Define a handler for NonDetC.

    @robrix
    robrix committed Aug 25, 2019
    Configuration menu
    Copy the full SHA
    40646e6 View commit details
    Browse the repository at this point in the history

  15. Define a type of non-empty binary trees.

    @robrix
    robrix committed Aug 25, 2019
    Configuration menu
    Copy the full SHA
    9937560 View commit details
    Browse the repository at this point in the history

  16. Define an Applicative instance for BinaryTree.

    @robrix
    robrix committed Aug 25, 2019
    Configuration menu
    Copy the full SHA
    99e5595 View commit details
    Browse the repository at this point in the history

  17. Define a Monad instance for BinaryTree.

    @robrix
    robrix committed Aug 25, 2019
    Configuration menu
    Copy the full SHA
    84f96e9 View commit details
    Browse the repository at this point in the history

  18. Define an eliminator for BinaryTree.

    @robrix
    robrix committed Aug 25, 2019
    Configuration menu
    Copy the full SHA
    bb328d3 View commit details
    Browse the repository at this point in the history

  19. Define a Carrier instance for NonDetC.

    @robrix
    robrix committed Aug 25, 2019
    Configuration menu
    Copy the full SHA
    123e6ae View commit details
    Browse the repository at this point in the history

  20. Define a MonadFix instance for NonDetC.

    @robrix
    robrix committed Aug 25, 2019
    Configuration menu
    Copy the full SHA
    4150e66 View commit details
    Browse the repository at this point in the history

Commits on Sep 3, 2019

  1. Correct a doc comment.

    @robrix
    robrix committed Sep 3, 2019
    Configuration menu
    Copy the full SHA
    d4132f9 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'binary-nondet' into nonempty-nondet

    @robrix
    robrix committed Sep 3, 2019
    Configuration menu
    Copy the full SHA
    5a201f1 View commit details
    Browse the repository at this point in the history

  3. Don’t shadow pure.

    @robrix
    robrix committed Sep 3, 2019
    Configuration menu
    Copy the full SHA
    e95a2cc View commit details
    Browse the repository at this point in the history

  4. Qualify the import of and references to MonadFail.

    @robrix
    robrix committed Sep 3, 2019
    Configuration menu
    Copy the full SHA
    9d8dbce View commit details
    Browse the repository at this point in the history

  5. Define <*> using fold.

    @robrix
    robrix committed Sep 3, 2019
    Configuration menu
    Copy the full SHA
    d0ac9b5 View commit details
    Browse the repository at this point in the history

  6. Define >>= using fold.

    @robrix
    robrix committed Sep 3, 2019
    Configuration menu
    Copy the full SHA
    daf3c1c View commit details
    Browse the repository at this point in the history

  7. Rename NonDet to Choose.

    @robrix
    robrix committed Sep 3, 2019
    Configuration menu
    Copy the full SHA
    6b23eb7 View commit details
    Browse the repository at this point in the history

  8. Rename Control.Effect.NonDet.NonEmpty to Control.Effect.Choose.

    @robrix
    robrix committed Sep 3, 2019
    Configuration menu
    Copy the full SHA
    1e8d3e1 View commit details
    Browse the repository at this point in the history

  9. Add a changelog entry.

    @robrix
    robrix committed Sep 3, 2019
    Configuration menu
    Copy the full SHA
    713394d View commit details
    Browse the repository at this point in the history

  10. Define >>= tacitly.

    @robrix
    robrix committed Sep 3, 2019
    Configuration menu
    Copy the full SHA
    b0e1185 View commit details
    Browse the repository at this point in the history

  11. Define mfix tacitly.

    @robrix
    robrix committed Sep 3, 2019
    Configuration menu
    Copy the full SHA
    8524968 View commit details
    Browse the repository at this point in the history

  12. Reformat.

    @robrix
    robrix committed Sep 3, 2019
    Configuration menu
    Copy the full SHA
    9b2cb36 View commit details
    Browse the repository at this point in the history

  13. 📝 choose.

    @robrix
    robrix committed Sep 3, 2019
    Configuration menu
    Copy the full SHA
    72abc72 View commit details
    Browse the repository at this point in the history

  14. Link to the PR.

    @robrix
    robrix committed Sep 3, 2019
    Configuration menu
    Copy the full SHA
    91b5e15 View commit details
    Browse the repository at this point in the history

Commits on Sep 8, 2019

  1. Merge branch 'binary-nondet' into nonempty-nondet

    @robrix
    robrix committed Sep 8, 2019
    Configuration menu
    Copy the full SHA
    f124776 View commit details
    Browse the repository at this point in the history

Commits on Sep 11, 2019

  1. Merge branch 'master' into nonempty-nondet

    @robrix
    robrix committed Sep 11, 2019
    Configuration menu
    Copy the full SHA
    abd633f View commit details
    Browse the repository at this point in the history

  2. Inline all the things!

    @robrix
    robrix committed Sep 11, 2019
    Configuration menu
    Copy the full SHA
    bc99fa6 View commit details
    Browse the repository at this point in the history

Commits on Sep 12, 2019

  1. Define an optional operator for Choose.

    @robrix
    robrix committed Sep 12, 2019
    Configuration menu
    Copy the full SHA
    432f280 View commit details
    Browse the repository at this point in the history

  2. 📝 optional.

    @robrix
    robrix committed Sep 12, 2019
    Configuration menu
    Copy the full SHA
    5ef4237 View commit details
    Browse the repository at this point in the history

  3. Define zero-or-more repetition using Choose.

    @robrix
    robrix committed Sep 12, 2019
    Configuration menu
    Copy the full SHA
    2f62573 View commit details
    Browse the repository at this point in the history

  4. Define one-or-more repetition using Choose.

    @robrix
    robrix committed Sep 12, 2019
    Configuration menu
    Copy the full SHA
    6c0aefb View commit details
    Browse the repository at this point in the history

  5. Define one-or-more repetion into NonEmpty.

    @robrix
    robrix committed Sep 12, 2019
    Configuration menu
    Copy the full SHA
    ed78263 View commit details
    Browse the repository at this point in the history