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

Church-encoded State carrier #363

Merged
merged 36 commits into from
Mar 13, 2020
Merged

Church-encoded State carrier #363

merged 36 commits into from
Mar 13, 2020

Commits on Mar 5, 2020

  1. Define a module for a church-encoded state carrier.

    @robrix
    robrix committed Mar 5, 2020
    Configuration menu
    Copy the full SHA
    d79f7a5 View commit details
    Browse the repository at this point in the history

  2. Define a church-encoded state carrier.

    @robrix
    robrix committed Mar 5, 2020
    Configuration menu
    Copy the full SHA
    c9525a8 View commit details
    Browse the repository at this point in the history

  3. Re-export the State effect.

    @robrix
    robrix committed Mar 5, 2020
    Configuration menu
    Copy the full SHA
    22ecf67 View commit details
    Browse the repository at this point in the history

  4. Derive a Functor instance for StateC.

    @robrix
    robrix committed Mar 5, 2020
    Configuration menu
    Copy the full SHA
    0ec1262 View commit details
    Browse the repository at this point in the history

  5. Define an Applicative instance for Church.StateC.

    @robrix
    robrix committed Mar 5, 2020
    Configuration menu
    Copy the full SHA
    2ac83b9 View commit details
    Browse the repository at this point in the history

  6. 🔥 the StateC selector.

    @robrix
    robrix committed Mar 5, 2020
    Configuration menu
    Copy the full SHA
    41e90b5 View commit details
    Browse the repository at this point in the history

  7. Define a Monad instance for Church.StateC.

    @robrix
    robrix committed Mar 5, 2020
    Configuration menu
    Copy the full SHA
    7047ea5 View commit details
    Browse the repository at this point in the history

  8. Define a MonadTrans instance for StateC.

    @robrix
    robrix committed Mar 5, 2020
    Configuration menu
    Copy the full SHA
    0e4e4b7 View commit details
    Browse the repository at this point in the history

  9. Define a MonadIO instance for StateC.

    @robrix
    robrix committed Mar 5, 2020
    Configuration menu
    Copy the full SHA
    5e68e65 View commit details
    Browse the repository at this point in the history

  10. Define a MonadFail instance for StateC.

    @robrix
    robrix committed Mar 5, 2020
    Configuration menu
    Copy the full SHA
    0a09b37 View commit details
    Browse the repository at this point in the history

  11. Define an Alternative instance for StateC.

    @robrix
    robrix committed Mar 5, 2020
    Configuration menu
    Copy the full SHA
    bd49b4a View commit details
    Browse the repository at this point in the history

  12. Define a MonadPlus instance for StateC.

    @robrix
    robrix committed Mar 5, 2020
    Configuration menu
    Copy the full SHA
    ca8a9a0 View commit details
    Browse the repository at this point in the history

  13. Define a handler for StateC.

    @robrix
    robrix committed Mar 5, 2020
    Configuration menu
    Copy the full SHA
    fabf8ad View commit details
    Browse the repository at this point in the history

  14. Define a MonadFix instance for StateC.

    @robrix
    robrix committed Mar 5, 2020
    Configuration menu
    Copy the full SHA
    244ae62 View commit details
    Browse the repository at this point in the history

Commits on Mar 6, 2020

  1. Define an Algebra instance for StateC.

    @robrix
    robrix committed Mar 6, 2020
    Configuration menu
    Copy the full SHA
    4b3c11f View commit details
    Browse the repository at this point in the history

  2. Spacing.

    @robrix
    robrix committed Mar 6, 2020
    Configuration menu
    Copy the full SHA
    7fcd543 View commit details
    Browse the repository at this point in the history

  3. Inline all the methods.

    @robrix
    robrix committed Mar 6, 2020
    Configuration menu
    Copy the full SHA
    f31c998 View commit details
    Browse the repository at this point in the history

  4. Inline the handlers.

    @robrix
    robrix committed Mar 6, 2020
    Configuration menu
    Copy the full SHA
    0bc1315 View commit details
    Browse the repository at this point in the history

  5. Reinstitute a selector for StateC.

    @robrix
    robrix committed Mar 6, 2020
    Configuration menu
    Copy the full SHA
    2b120c7 View commit details
    Browse the repository at this point in the history

  6. Provide the state type first.

    @robrix
    robrix committed Mar 6, 2020
    Configuration menu
    Copy the full SHA
    d70ff6b View commit details
    Browse the repository at this point in the history

  7. 🔥 ExplicitForAll.

    @robrix
    robrix committed Mar 6, 2020
    Configuration menu
    Copy the full SHA
    4b5d946 View commit details
    Browse the repository at this point in the history

  8. Define an evalState handler for Church.StateC.

    @robrix
    robrix committed Mar 6, 2020
    Configuration menu
    Copy the full SHA
    8040205 View commit details
    Browse the repository at this point in the history

  9. Define an execState handler for Church.StateC.

    @robrix
    robrix committed Mar 6, 2020
    Configuration menu
    Copy the full SHA
    26b847d View commit details
    Browse the repository at this point in the history

  10. Rename the imported modules.

    @robrix
    robrix committed Mar 6, 2020
    Configuration menu
    Copy the full SHA
    e1b034d View commit details
    Browse the repository at this point in the history

  11. Test the church-encoded State carrier.

    @robrix
    robrix committed Mar 6, 2020
    Configuration menu
    Copy the full SHA
    a0e41a3 View commit details
    Browse the repository at this point in the history

  12. Add a changelog entry.

    @robrix
    robrix committed Mar 6, 2020
    Configuration menu
    Copy the full SHA
    a318af3 View commit details
    Browse the repository at this point in the history

  13. 📝 runState.

    @robrix
    robrix committed Mar 6, 2020
    Configuration menu
    Copy the full SHA
    16108d8 View commit details
    Browse the repository at this point in the history

  14. 📝 evalState.

    @robrix
    robrix committed Mar 6, 2020
    Configuration menu
    Copy the full SHA
    a8aba2a View commit details
    Browse the repository at this point in the history

  15. 📝 execState.

    @robrix
    robrix committed Mar 6, 2020
    Configuration menu
    Copy the full SHA
    9d6b7ce View commit details
    Browse the repository at this point in the history

  16. 📝 Control.Carrier.State.Church.

    @robrix
    robrix committed Mar 6, 2020
    Configuration menu
    Copy the full SHA
    f8ced40 View commit details
    Browse the repository at this point in the history

  17. Add since annotations for everything.

    @robrix
    robrix committed Mar 6, 2020
    Configuration menu
    Copy the full SHA
    2f634f8 View commit details
    Browse the repository at this point in the history

Commits on Mar 13, 2020

  1. Merge branch 'master' into separation-of-church-and-state

    @robrix
    robrix committed Mar 13, 2020
    Configuration menu
    Copy the full SHA
    a775d82 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'more-transformers-instances' into separation-of-church-… 

    …and-state
    @robrix
    robrix committed Mar 13, 2020
    Configuration menu
    Copy the full SHA
    1a288e3 View commit details
    Browse the repository at this point in the history

  3. Link to the Church-encoded StateC.

    @robrix
    robrix committed Mar 13, 2020
    Configuration menu
    Copy the full SHA
    edd2a4b View commit details
    Browse the repository at this point in the history

  4. Note that State.Strict is probably the place to start.

    @robrix
    robrix committed Mar 13, 2020
    Configuration menu
    Copy the full SHA
    05980f8 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into separation-of-church-and-state

    @robrix
    robrix committed Mar 13, 2020
    Configuration menu
    Copy the full SHA
    3205094 View commit details
    Browse the repository at this point in the history