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

Binary nondeterminism #197

Merged
merged 40 commits into from
Sep 11, 2019
Merged

Binary nondeterminism #197

merged 40 commits into from
Sep 11, 2019

Commits on Aug 22, 2019

  1. Lift MonadFail/MonadIO using MonadTrans.

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

Commits on Aug 24, 2019

  1. Test that empty is handled correctly within cull.

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

  2. Fix the doc reference to runNonDetOnce.

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

  3. Fix the doc reference to [].

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

  4. Add some simple tests of Applicative.

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

  5. Add a simple test of Alternative.

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

  6. Define a datatype of binary trees.

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

  7. Derive some instances for B.

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

  8. Define an Applicative instance for B.

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

  9. Define an Alternative instance for B.

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

  10. Define a Monad instance for B.

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

  11. Rename B to Bin.

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

  12. Derive some more instances for Bin.

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

  13. Export Bin.

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

  14. Define a fold over Bin.

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

  15. Test that NonDetC preserves branching structure.

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

  16. Define NonDetC as a church-encoded binary tree.

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

  17. Don’t prime the names in mfix.

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

  18. Simplify the MonadFail & MonadIO instances for CutC using MonadTrans.

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

  19. Simplify the MonadTrans instance for NonDetC.

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

Commits on Aug 25, 2019

  1. Stub in a module for binary trees.

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

  2. Move Bin to its own module.

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

  3. Rename Bin to BinaryTree & foldBin to fold.

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

  4. Spacing.

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

  5. Alignment.

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

  6. Alignment.

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

  7. Move BinaryTree back into Control.Effect.NonDet but don’t export it.

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

  8. 🔥 a redundant use of GeneralizedNewtypeDeriving.

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

  9. 🔥 uses of DeriveAnyClass & DerivingStrategies.

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

  10. Spacing.

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

Commits on Sep 3, 2019

  1. Merge branch 'master' into binary-nondet

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

  2. Try to be consistent with eliminator names.

    @robrix
    robrix committed Sep 3, 2019
    Configuration menu
    Copy the full SHA
    5674d9b 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
    0a08f49 View commit details
    Browse the repository at this point in the history

  4. Define <*> using fold.

    @robrix
    robrix committed Sep 3, 2019
    Configuration menu
    Copy the full SHA
    e70be43 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
    3eabaf1 View commit details
    Browse the repository at this point in the history

  6. Add a note to the changelog.

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

Commits on Sep 8, 2019

  1. Merge branch 'master' into binary-nondet

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

Commits on Sep 9, 2019

  1. INLINE all the things.

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

  2. Merge branch 'master' into binary-nondet

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

  3. Merge branch 'master' into binary-nondet

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