Skip to content

Implement take, truncate, skip and drop #209

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

Merged
abelbraaksma merged 11 commits into from
Dec 19, 2023
Merged

Implement take, truncate, skip and drop #209

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
382db57
Implement `take`, `truncate`, `skip` and `drop`
abelbraaksma Dec 18, 2023
f959fe5
Add tests for `TaskSeq.take` and `truncate`
abelbraaksma Dec 19, 2023
140f82b
Fix `TaskSeq.truncate` reading one too many from the input
abelbraaksma Dec 19, 2023
bd6dcf8
Fix `truncate`, do not `MoveNext` before we know we have enough elements
abelbraaksma Dec 19, 2023
15f1e09
Rename source file and formatting
abelbraaksma Dec 19, 2023
5495646
Add tests for `TaskSeq.skip` and `TaskSeq.drop`
abelbraaksma Dec 19, 2023
6e6821e
Fix `TaskSeq.skip` skipped one too few, and simplify
abelbraaksma Dec 19, 2023
dd5b085
Fix and simplify code for `TaskSeq.drop`
abelbraaksma Dec 19, 2023
9acc527
Temporarily ignore formatting for some files, see https://github.com/…
abelbraaksma Dec 19, 2023
79f0bc4
Apply review comments, thanks @bartelink, fix naming and doc comments
abelbraaksma Dec 19, 2023
d199434
Revert "Temporarily ignore formatting for some files, see https://git…
abelbraaksma Dec 19, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Revert "Temporarily ignore formatting for some files, see fsprojects/… 
…fantomas#3019"

This reverts commit 9acc527.
  • Loading branch information
@abelbraaksma
abelbraaksma committed Dec 19, 2023
commit d1994343688caf38acff8046e32af7dac5fc87b2
1 change: 0 additions & 1 deletion .fantomasignore
View file
Open in desktop

This file was deleted.

1 change: 0 additions & 1 deletion src/.fantomasignore
View file
Open in desktop

This file was deleted.