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鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Distributive Algebra #361

Merged
merged 75 commits into from
Mar 13, 2020
Merged

Distributive Algebra #361

merged 75 commits into from
Mar 13, 2020

Commits on Mar 2, 2020

  1. Define an Algebra' class taking a distributive law.

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

  2. Derive some Algebra' instances.

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

  3. Define an Algebra' instance for ReaderT.

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

  4. Define an Algebra' instance for ExceptT.

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

  5. Define a thread-like helper for Algebra'.

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

  6. Use thread' to clean up the Algebra' instance for ExceptT.

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

  7. Define a send for Algebra'.

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

  8. Define an Algebra' instance for ChoseC.

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

Commits on Mar 3, 2020

  1. Replace the monad homomorphism algebra with the distributive algebra.

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

  2. 馃敟 the re-exports of Effect.

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

  3. 馃敟 all the Effect instances.

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

  4. 馃敟 the generic derivation of Effect.

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

  5. 馃敟 Control.Effect.Class.

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

  6. Copy the docs from Effect in.

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

  7. Rename thread' to thread.

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

  8. Inline thread.

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

  9. 馃敟 a reference to the Effect class in the README.

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

  10. 馃敟 a bunch of Generic1 instances.

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

  11. 馃敟 the Effect instance stuff.

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

  12. Clean up the docs.

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

  13. 馃敟 GeneralizedNewtypeDeriving.

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

  14. Merge branch 'derivable-algebra' into distributive-algebra

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

  15. Merge branch 'derivable-algebra' into distributive-algebra

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

  16. 馃敟 the Effect instance.

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

  17. Update Control.Effect.Labelled for the distributive Algebra.

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

  18. Combine the continuations in the Either algebra.

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

  19. Merge branch 'derivable-algebra' into distributive-algebra

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

  20. Merge branch 'derivable-algebra' into distributive-algebra

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

  21. Merge branch 'master' into distributive-algebra

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

  22. Merge branch 'derivable-algebra' into distributive-algebra

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

  23. Correct the changelog for alg.

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

  24. Note the removal of Effect.

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

  25. Note the new definition of thread.

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

Commits on Mar 7, 2020

  1. 馃敟 the Monad constraint on n.

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

  2. 馃敟 a redundant Monad constraint.

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

Commits on Mar 12, 2020

  1. Rename Handler to Interpret.

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

  2. Introduce a Handler type synonym.

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

  3. Use Handler in the type of alg.

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

  4. Reformat the signature for thread.

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

  5. Decompose the handlers passed to thread.

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

  6. Use Handler in the signature for thread.

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

  7. Use Handler in the signature for liftWith.

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

  8. Use Handler in the signature for Interpreter.

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

  9. Use Handler in the signature for runInterpretState.

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

  10. Use Handler in the signature for runInterpret.

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

  11. 馃摑 Handler.

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

  12. 馃摑 alg.

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

  13. Link composition.

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

  14. 馃摑 handler composition.

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

  15. alg and thread take the context after the handlers.

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

  16. Swap the order of the parameters to the function passed to liftWith.

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

  17. 馃摑 thread.

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

  18. 馃摑 the parameters to alg.

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

  19. Take the signature before the context.

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

  20. Fix the benchmarks.

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

  21. Change the type of runInterpretState.

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

  22. Add a since annotation for thread.

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

  23. Fix the defining effects doc.

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

  24. Docs for alg.

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

  25. Add a note about monad transformers and thread.

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

  26. Note the change to the type of thread.

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

  27. Note the change to runInterpretState鈥檚 type.

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

  28. H2.

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

  29. We don鈥檛 require Functor.

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

  30. Add an internal Algebra module.

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

  31. Move Handler into Control.Algebra.Internal.

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

  32. Use Handler in the type of the Lift effect.

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

  33. Fix the code sample in the docs for alg.

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

  34. Add a since annotation for Handler.

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

  35. Fix the links to Compose.

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

  36. Add a since annotation for Has.

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

  37. Add a since annotation for send.

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

  38. Fix the links to ReaderT & ExceptT.

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

  39. Fix wording.

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

  40. Correct the docs for liftWith.

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