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

Derivable Algebra #359

Merged
merged 44 commits into from
Mar 3, 2020
Merged

Derivable Algebra #359

merged 44 commits into from
Mar 3, 2020

Commits on Mar 2, 2020

  1. Derive most instances for ReaderC via ReaderT.

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

  2. Derive the MonadTrans instance.

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

  3. Duplicate Algebra for the moment.

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

  4. Define an Algebra' instance for ReaderT.

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

  5. Give alg' a homomorphism.

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

  6. Constrain n to be a monad.

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

  7. Require the homomorphism to end at m.

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

  8. Derive an Algebra' instance for ReaderC.

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

  9. Define an Algebra' instance for ExceptT.

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

  10. Derive an Algebra' instance for ErrorC.

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

  11. ScopedTypeVariables.

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

  12. Define an Algebra' instance for ChooseC.

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

  13. Derive an Algebra' instance for Ap.

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

  14. Revert "Derive an Algebra' instance for ReaderC." 

    This reverts commit 995f5e2.
    @robrix
    robrix committed Mar 2, 2020
    Configuration menu
    Copy the full SHA
    0e7f154 View commit details
    Browse the repository at this point in the history

  15. Revert "Derive the MonadTrans instance." 

    This reverts commit ba37eb9.
    @robrix
    robrix committed Mar 2, 2020
    Configuration menu
    Copy the full SHA
    30f5cd2 View commit details
    Browse the repository at this point in the history

  16. Revert "Derive most instances for ReaderC via ReaderT." 

    This reverts commit cff9758.
    @robrix
    robrix committed Mar 2, 2020
    Configuration menu
    Copy the full SHA
    4cf4aab View commit details
    Browse the repository at this point in the history

  17. Define an analogue of send for Algebra'.

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

  18. Simplify the other case.

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

  19. Define all of the Algebra instances using LambdaCase.

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

  20. Reformat.

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

  21. Placate hlint.

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

  22. Replace Algebra' with Algebra.

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

  23. Fix up Algebra instances in the docs.

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

  24. 🔥 handleCoercible.

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

  25. 🔥 a redundant HFunctor constraint.

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

  26. Give the handler functions a parameter for the homomorphism.

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

  27. Add the homomorphisms to the benchmarks.

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

  28. 🔥 the HFunctor superclass constraint on Algebra.

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

  29. 🔥 the HFunctor superclass constraint on Effect.

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

  30. 🔥 the HFunctor instances for all of the effects.

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

  31. Correct doc references to HFunctor.

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

  32. 🔥 the generic derivation of HFunctor.

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

  33. 🔥 HFunctor.

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

  34. Correct the docs.

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

Commits on Mar 3, 2020

  1. Merge branch 'label-maker' into derivable-algebra

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

  2. Update Control.Effect.Labelled for the monad homomorphism Algebra.

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

  3. 🔥 redundant parens.

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

  4. Module docs.

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

  5. Merge branch 'label-maker' into derivable-algebra

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

  6. Merge branch 'label-maker' into derivable-algebra

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

  7. Merge branch 'master' into derivable-algebra

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

  8. Merge branch 'master' into derivable-algebra

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

  9. Add changelog entries.

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

  10. Add a note about Interpret.

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