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

Implement take, truncate, skip and drop #209

Merged
merged 11 commits into from
Dec 19, 2023
Merged

Implement take, truncate, skip and drop #209

merged 11 commits into from
Dec 19, 2023

Commits on Dec 19, 2023

  1. Implement take, truncate, skip and drop

    @abelbraaksma
    abelbraaksma committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    382db57 View commit details
    Browse the repository at this point in the history

  2. Add tests for TaskSeq.take and truncate

    @abelbraaksma
    abelbraaksma committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    f959fe5 View commit details
    Browse the repository at this point in the history

  3. Fix TaskSeq.truncate reading one too many from the input

    @abelbraaksma
    abelbraaksma committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    140f82b View commit details
    Browse the repository at this point in the history

  4. Fix truncate, do not MoveNext before we know we have enough elements

    @abelbraaksma
    abelbraaksma committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    bd6dcf8 View commit details
    Browse the repository at this point in the history

  5. Rename source file and formatting

    @abelbraaksma
    abelbraaksma committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    15f1e09 View commit details
    Browse the repository at this point in the history

  6. Add tests for TaskSeq.skip and TaskSeq.drop

    @abelbraaksma
    abelbraaksma committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    5495646 View commit details
    Browse the repository at this point in the history

  7. Fix TaskSeq.skip skipped one too few, and simplify

    @abelbraaksma
    abelbraaksma committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    6e6821e View commit details
    Browse the repository at this point in the history

  8. Fix and simplify code for TaskSeq.drop

    @abelbraaksma
    abelbraaksma committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    dd5b085 View commit details
    Browse the repository at this point in the history

  9. Temporarily ignore formatting for some files, see fsprojects/fantomas… 

    …#3019
    @abelbraaksma
    abelbraaksma committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    9acc527 View commit details
    Browse the repository at this point in the history

  10. Apply review comments, thanks @bartelink, fix naming and doc comments

    @abelbraaksma
    abelbraaksma committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    79f0bc4 View commit details
    Browse the repository at this point in the history

  11. Revert "Temporarily ignore formatting for some files, see fsprojects/… 

    …fantomas#3019"

This reverts commit 9acc527.
    @abelbraaksma
    abelbraaksma committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    d199434 View commit details
    Browse the repository at this point in the history