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.

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

Optimise Kleisli with specialized Function1 implementation #4211

Merged
merged 12 commits into from
May 30, 2022

Commits on May 23, 2022

  1. Specialise Kleisli for LiftF

    bplommer committed May 23, 2022
    Configuration menu
    Copy the full SHA
    3cdd6b9 View commit details
    Browse the repository at this point in the history
  2. Fix doctest

    bplommer committed May 23, 2022
    Configuration menu
    Copy the full SHA
    0317323 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    b576136 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    1ae8957 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    cfda4cc View commit details
    Browse the repository at this point in the history
  6. Kleisli is final again

    bplommer committed May 23, 2022
    Configuration menu
    Copy the full SHA
    09334a6 View commit details
    Browse the repository at this point in the history
  7. Revert run -> apply

    bplommer committed May 23, 2022
    Configuration menu
    Copy the full SHA
    e9b9b5e View commit details
    Browse the repository at this point in the history

Commits on May 24, 2022

  1. Nested package declarations

    bplommer committed May 24, 2022
    Configuration menu
    Copy the full SHA
    79f4d61 View commit details
    Browse the repository at this point in the history
  2. Kleisli refinements

    bplommer committed May 24, 2022
    Configuration menu
    Copy the full SHA
    59e4bb4 View commit details
    Browse the repository at this point in the history

Commits on May 25, 2022

  1. Configuration menu
    Copy the full SHA
    09b47ba View commit details
    Browse the repository at this point in the history
  2. add headers

    bplommer committed May 25, 2022
    Configuration menu
    Copy the full SHA
    9dcdb1c View commit details
    Browse the repository at this point in the history

Commits on May 29, 2022

  1. Revert incorrect change

    bplommer committed May 29, 2022
    Configuration menu
    Copy the full SHA
    81ff10c View commit details
    Browse the repository at this point in the history