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

WIP: Selective #3709

Draft
wants to merge 47 commits into
base: main
Choose a base branch
from
Draft

WIP: Selective #3709

wants to merge 47 commits into from

Commits on Dec 9, 2020

  1. Introduce Selective

    @rossabaker
    rossabaker committed Dec 9, 2020
    Configuration menu
    Copy the full SHA
    444e3bd View commit details
    Browse the repository at this point in the history

  2. Split into Select and Selective

    @rossabaker
    rossabaker committed Dec 9, 2020
    Configuration menu
    Copy the full SHA
    da7f756 View commit details
    Browse the repository at this point in the history

  3. Selective[Validated[E, *]]

    @rossabaker
    rossabaker committed Dec 9, 2020
    Configuration menu
    Copy the full SHA
    d220349 View commit details
    Browse the repository at this point in the history

  4. SelectiveError

    @rossabaker
    rossabaker committed Dec 9, 2020
    Configuration menu
    Copy the full SHA
    4c7f87e View commit details
    Browse the repository at this point in the history

  5. FlatMap extends Select

    @rossabaker
    rossabaker committed Dec 9, 2020
    Configuration menu
    Copy the full SHA
    14d3e42 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'master' into selective

    @rossabaker
    rossabaker committed Dec 9, 2020
    Configuration menu
    Copy the full SHA
    f554862 View commit details
    Browse the repository at this point in the history

  7. Required parens on lambda

    @rossabaker
    rossabaker committed Dec 9, 2020
    Configuration menu
    Copy the full SHA
    b7112ac View commit details
    Browse the repository at this point in the history

  8. Default select from Apply until Monad

    @rossabaker
    rossabaker committed Dec 9, 2020
    Configuration menu
    Copy the full SHA
    b8dc63b View commit details
    Browse the repository at this point in the history

  9. Start writing SelectiveLaws

    @rossabaker
    rossabaker committed Dec 9, 2020
    Configuration menu
    Copy the full SHA
    7fd409b View commit details
    Browse the repository at this point in the history

  10. Look at me, not compiling before I push

    @rossabaker
    rossabaker committed Dec 9, 2020
    Configuration menu
    Copy the full SHA
    254bf7f View commit details
    Browse the repository at this point in the history

  11. Never mind on Select

    @rossabaker
    rossabaker committed Dec 9, 2020
    Configuration menu
    Copy the full SHA
    ed71f06 View commit details
    Browse the repository at this point in the history

  12. branch, ifS, whenS

    @rossabaker
    rossabaker committed Dec 9, 2020
    Configuration menu
    Copy the full SHA
    7767906 View commit details
    Browse the repository at this point in the history

Commits on Dec 10, 2020

  1. select is an abstract member of Selective

    @rossabaker
    rossabaker committed Dec 10, 2020
    Configuration menu
    Copy the full SHA
    466354b View commit details
    Browse the repository at this point in the history

  2. Law for monad select rigidity

    @rossabaker
    rossabaker committed Dec 10, 2020
    Configuration menu
    Copy the full SHA
    f31020a View commit details
    Browse the repository at this point in the history

  3. scalafmt

    @rossabaker
    rossabaker committed Dec 10, 2020
    Configuration menu
    Copy the full SHA
    4a2b0be View commit details
    Browse the repository at this point in the history

  4. Use our new syntax

    @rossabaker
    rossabaker committed Dec 10, 2020
    Configuration menu
    Copy the full SHA
    955a03b View commit details
    Browse the repository at this point in the history

  5. Test default operations

    @rossabaker
    rossabaker committed Dec 10, 2020
    Configuration menu
    Copy the full SHA
    e35a097 View commit details
    Browse the repository at this point in the history

Commits on Dec 14, 2020

  1. Derive missing implicits for selective laws

    @rossabaker
    rossabaker committed Dec 14, 2020
    Configuration menu
    Copy the full SHA
    df699d1 View commit details
    Browse the repository at this point in the history

  2. Remove SelectiveError for now

    @rossabaker
    rossabaker committed Dec 14, 2020
    Configuration menu
    Copy the full SHA
    a50da48 View commit details
    Browse the repository at this point in the history

  3. Selective distributivity and associativity

    @rossabaker
    rossabaker committed Dec 14, 2020
    Configuration menu
    Copy the full SHA
    387ab75 View commit details
    Browse the repository at this point in the history

  4. Clean up syntax

    @rossabaker
    rossabaker committed Dec 14, 2020
    Configuration menu
    Copy the full SHA
    cb51502 View commit details
    Browse the repository at this point in the history

Commits on Dec 16, 2020

  1. apS and RigidSelective laws

    @rossabaker
    rossabaker committed Dec 16, 2020
    Configuration menu
    Copy the full SHA
    06abe62 View commit details
    Browse the repository at this point in the history

  2. Remove inner scope in branch

    @rossabaker
    rossabaker committed Dec 16, 2020
    Configuration menu
    Copy the full SHA
    9b001dd View commit details
    Browse the repository at this point in the history

  3. Move EitherUtil to root package for use in typeclasses

    @rossabaker
    rossabaker committed Dec 16, 2020
    Configuration menu
    Copy the full SHA
    19b67b4 View commit details
    Browse the repository at this point in the history

  4. Use cached either units in ifS

    @rossabaker
    rossabaker committed Dec 16, 2020
    Configuration menu
    Copy the full SHA
    662cf5a View commit details
    Browse the repository at this point in the history

  5. Fix loop in laws inheritance

    @rossabaker
    rossabaker committed Dec 16, 2020
    Configuration menu
    Copy the full SHA
    936847f View commit details
    Browse the repository at this point in the history

  6. Remove unnecessary private[cats] in EitherUtil

    @rossabaker
    rossabaker committed Dec 16, 2020
    Configuration menu
    Copy the full SHA
    3372948 View commit details
    Browse the repository at this point in the history

  7. Apply.selectA

    @rossabaker
    rossabaker committed Dec 16, 2020
    Configuration menu
    Copy the full SHA
    a866a20 View commit details
    Browse the repository at this point in the history

  8. select's function is lazy; skip on right law for rigids

    @rossabaker
    rossabaker committed Dec 16, 2020
    Configuration menu
    Copy the full SHA
    260a219 View commit details
    Browse the repository at this point in the history

  9. Skip effects in branch and ifS in rigid selectives

    @rossabaker
    rossabaker committed Dec 16, 2020
    Configuration menu
    Copy the full SHA
    a0f8709 View commit details
    Browse the repository at this point in the history

  10. Skip effect of whenS when false in rigid selectives

    @rossabaker
    rossabaker committed Dec 16, 2020
    Configuration menu
    Copy the full SHA
    37594b9 View commit details
    Browse the repository at this point in the history

  11. Replace apS with RigidSelective typeclass

    @rossabaker
    rossabaker committed Dec 16, 2020
    Configuration menu
    Copy the full SHA
    b56130d View commit details
    Browse the repository at this point in the history

Commits on Dec 17, 2020

  1. Validated is rigid

    @rossabaker
    rossabaker committed Dec 17, 2020
    Configuration menu
    Copy the full SHA
    9079e16 View commit details
    Browse the repository at this point in the history

Commits on Dec 19, 2020

  1. Revert "Validated is rigid" -- it's not rigid yet 

    This reverts commit 9079e16.
    @rossabaker
    rossabaker committed Dec 19, 2020
    Configuration menu
    Copy the full SHA
    020a9fb View commit details
    Browse the repository at this point in the history

  2. Push select down to Apply

    @rossabaker
    rossabaker committed Dec 19, 2020
    Configuration menu
    Copy the full SHA
    92f262f View commit details
    Browse the repository at this point in the history

  3. Push branch and ifS down to Apply

    @rossabaker
    rossabaker committed Dec 19, 2020
    Configuration menu
    Copy the full SHA
    762dd7d View commit details
    Browse the repository at this point in the history

  4. Push whenS down to Applicative

    @rossabaker
    rossabaker committed Dec 19, 2020
    Configuration menu
    Copy the full SHA
    691144e View commit details
    Browse the repository at this point in the history

  5. Push identity and distributivity laws to Applicative

    @rossabaker
    rossabaker committed Dec 19, 2020
    Configuration menu
    Copy the full SHA
    3e31609 View commit details
    Browse the repository at this point in the history

  6. Remove Selective

    @rossabaker
    rossabaker committed Dec 19, 2020
    Configuration menu
    Copy the full SHA
    6b496ec View commit details
    Browse the repository at this point in the history

Commits on Dec 20, 2020

  1. Remove commented implicits

    @rossabaker
    rossabaker committed Dec 20, 2020
    Configuration menu
    Copy the full SHA
    acce38c View commit details
    Browse the repository at this point in the history

  2. RigidSelective default ap causes loops

    @rossabaker
    rossabaker committed Dec 20, 2020
    Configuration menu
    Copy the full SHA
    7c78d54 View commit details
    Browse the repository at this point in the history

  3. Add back lost selective associativity test

    @rossabaker
    rossabaker committed Dec 20, 2020
    Configuration menu
    Copy the full SHA
    c4c1442 View commit details
    Browse the repository at this point in the history

  4. Restate ifS skip laws to accommodate Under

    @rossabaker
    rossabaker committed Dec 20, 2020
    Configuration menu
    Copy the full SHA
    3bcb791 View commit details
    Browse the repository at this point in the history

Commits on Dec 21, 2020

  1. Selective has re-entered the chat

    @rossabaker
    rossabaker committed Dec 21, 2020
    Configuration menu
    Copy the full SHA
    dba3dc0 View commit details
    Browse the repository at this point in the history

  2. Selective[ZipLazyList]

    @rossabaker
    rossabaker committed Dec 21, 2020
    Configuration menu
    Copy the full SHA
    7a4d66a View commit details
    Browse the repository at this point in the history

  3. Selective[Func] and RigidSelective[Func]

    @rossabaker
    rossabaker committed Dec 21, 2020
    Configuration menu
    Copy the full SHA
    6616707 View commit details
    Browse the repository at this point in the history

  4. Fix name of selective laws

    @rossabaker
    rossabaker committed Dec 21, 2020
    Configuration menu
    Copy the full SHA
    bd0d4d9 View commit details
    Browse the repository at this point in the history