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

added a new foldRight lazy law, move forallLazy and existLazy laws #2817

Merged
merged 8 commits into from
May 5, 2019
Merged

added a new foldRight lazy law, move forallLazy and existLazy laws #2817

merged 8 commits into from
May 5, 2019

Commits on Apr 28, 2019

  1. added a new foldRight lazy law, move forAll and exist laws

    @kailuowang
    kailuowang committed Apr 28, 2019
    Configuration menu
    Copy the full SHA
    b9b8144 View commit details
    Browse the repository at this point in the history

  2. reformat

    @kailuowang
    kailuowang committed Apr 28, 2019
    Configuration menu
    Copy the full SHA
    70d513f View commit details
    Browse the repository at this point in the history

  3. fix foldRight on NonEmptyChain

    @kailuowang
    kailuowang committed Apr 28, 2019
    Configuration menu
    Copy the full SHA
    d6b1584 View commit details
    Browse the repository at this point in the history

  4. reformat

    @kailuowang
    kailuowang committed Apr 28, 2019
    Configuration menu
    Copy the full SHA
    5811126 View commit details
    Browse the repository at this point in the history

  5. reformat

    @kailuowang
    kailuowang committed Apr 28, 2019
    Configuration menu
    Copy the full SHA
    1e9fcd7 View commit details
    Browse the repository at this point in the history

  6. Update FoldableLaws.scala

    @kailuowang
    kailuowang authored Apr 28, 2019
    Configuration menu
    Copy the full SHA
    f75c18a View commit details
    Browse the repository at this point in the history

Commits on May 5, 2019

  1. incorporated Ross and Oscar suggestion

    @kailuowang
    kailuowang committed May 5, 2019
    Configuration menu
    Copy the full SHA
    cc8f633 View commit details
    Browse the repository at this point in the history

  2. override default implementation in map and set

    @kailuowang
    kailuowang committed May 5, 2019
    Configuration menu
    Copy the full SHA
    fbc7cf8 View commit details
    Browse the repository at this point in the history