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

Improvements to Inject. #1557

Merged
merged 5 commits into from
Mar 20, 2017
Merged

Improvements to Inject. #1557

merged 5 commits into from
Mar 20, 2017

Commits on Mar 13, 2017

  1. Improvements to Inject. 

    - move it back to cats-core (near `Coproduct`)
- make `inj`/`prj` natural transformations
- add `apply`/`unapply` (lowered `inj`/`prj`)
- define `Free.roll`
- move `injectRoll` (née `Inject.inject`) and `match_` to `Free`
- reintroduce "null identity" test (written by @edmundnoble)
    @sellout
    sellout committed Mar 13, 2017
    Configuration menu
    Copy the full SHA
    003141e View commit details
    Browse the repository at this point in the history

  2. Fix tut breakage, and remove commented import.

    @sellout
    sellout committed Mar 13, 2017
    Configuration menu
    Copy the full SHA
    2ba81aa View commit details
    Browse the repository at this point in the history

Commits on Mar 14, 2017

  1. Remove an unused import.

    @sellout
    sellout committed Mar 14, 2017
    Configuration menu
    Copy the full SHA
    d9566a2 View commit details
    Browse the repository at this point in the history

Commits on Mar 16, 2017

  1. Change to not require syntax.either. 

    Otherwise we need it for 2.10 & 2.11 and need to _not_ have it for 2.12.
    @sellout
    sellout committed Mar 16, 2017
    Configuration menu
    Copy the full SHA
    baeec37 View commit details
    Browse the repository at this point in the history

Commits on Mar 17, 2017

  1. Add tests for Inject#apply and #unapply.

    @sellout
    sellout committed Mar 17, 2017
    Configuration menu
    Copy the full SHA
    380ea81 View commit details
    Browse the repository at this point in the history