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

[ new ] Data.OpenUnion #1050

Merged
merged 6 commits into from Feb 10, 2021
Merged

[ new ] Data.OpenUnion #1050

merged 6 commits into from Feb 10, 2021

Commits on Feb 8, 2021

  1. [ new ] Kleisli composition

    @gallais
    gallais committed Feb 8, 2021
    Configuration menu
    Copy the full SHA
    4e04f7f View commit details
    Browse the repository at this point in the history

Commits on Feb 9, 2021

  1. [ new ] Data.OpenUnion 

    Similar to the ones used in the Freer paper, except everythins is
proven safe.
    @gallais
    gallais committed Feb 9, 2021
    Configuration menu
    Copy the full SHA
    c58c2b2 View commit details
    Browse the repository at this point in the history

  2. [ more ] really wanted to get OpenUnion's split

    @gallais
    gallais committed Feb 9, 2021
    Configuration menu
    Copy the full SHA
    95dc3b6 View commit details
    Browse the repository at this point in the history

  3. [ revert ] Lte -> LTE name changes 

    This breaks other stuff and I cannot be bothered to deal with
this inconsistent naming convention
    @gallais
    gallais committed Feb 9, 2021
    Configuration menu
    Copy the full SHA
    364d749 View commit details
    Browse the repository at this point in the history

  4. [ cleanup ] move Monad syntax to Prelude

    @gallais
    gallais committed Feb 9, 2021
    Configuration menu
    Copy the full SHA
    50db56a View commit details
    Browse the repository at this point in the history

  5. [ fix ] drop dependency on the defunct Control.Monad.Syntax

    @gallais
    gallais committed Feb 9, 2021
    Configuration menu
    Copy the full SHA
    4f03d56 View commit details
    Browse the repository at this point in the history