[Repo Assist] feat: add map, filter, iter, exists, forall, toList, toArray to Queue and Deque by github-actions[bot] · Pull Request #241 · fsprojects/FSharpx.Collections

github-actions · 2026-03-10T13:12:22Z

🤖 This PR was created by Repo Assist, an automated AI assistant.

Adds seven commonly used collection functions to the Queue and Deque modules. Partially addresses #152 (Align Collection Module functions with FSharp.Collections).

Changes

New functions (Queue and Deque)

Function	Complexity	Description
`map f q`	O(n)	Transform each element, returning a `Queue`/`Deque`
`filter pred q`	O(n)	Keep only elements satisfying the predicate
`iter f q`	O(n)	Apply a side-effecting function to each element (FIFO order)
`exists pred q`	O(n)	Test whether any element satisfies a predicate
`forall pred q`	O(n)	Test whether all elements satisfy a predicate
`toList q`	O(n)	Convert to list in FIFO order
`toArray q`	O(n)	Convert to array in FIFO order

All functions preserve FIFO element order. Signatures added to .fsi files. 21 new tests added.

Implementation notes

Queue.map directly maps over the internal front and rBack lists, preserving the queue structure without any rebuilding — very efficient.

Queue.filter handles the invariant that front should not be empty for a non-empty queue: if filtering removes all front elements, List.rev rBack becomes the new front.

Deque.map similarly maps directly over both internal lists. Deque.filter is simpler since Deque tolerates an empty front (it falls back to rBack).

exists and forall can check rBack in any order (order only matters for iter, toList, toArray).

Test Status

All 731 tests pass (6 pre-existing ptest skips unrelated to this PR):

Passed! - Failed: 0, Passed: 731, Skipped: 6, Total: 737

Generated by Repo Assist · ◷

To install this agentic workflow, run
gh aw add githubnext/agentics/workflows/repo-assist.md@346204513ecfa08b81566450d7d599556807389f

… and Deque modules Adds commonly needed collection functions to Queue and Deque that were present in F# List but missing from these modules. Addresses part of #152 (Align Collection Module functions with FSharp.Collections). New functions for both Queue and Deque: - map : transform each element, returning the same collection type - filter : keep elements matching a predicate - iter : apply a side-effecting function to each element (FIFO order) - exists : test whether any element satisfies a predicate - forall : test whether all elements satisfy a predicate - toList : convert to list in FIFO order - toArray : convert to array in FIFO order All seven functions are O(n) and preserve FIFO element order. 21 new tests added (QueueTest and DequeTest), all passing. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

… tests Adds six new module-level functions to DList, mirroring the functions added to Queue and Deque in #241, and further addressing #152. - DList.map: transforms all elements using a function - DList.filter: retains elements matching a predicate - DList.iter: applies an action to each element in order - DList.exists: short-circuit check if any element matches - DList.forall: short-circuit check if all elements match - DList.toArray: returns elements as an array map and filter are implemented via foldBack so they build a DList directly (preserving the length invariant). iter/exists/forall/toArray delegate to the IEnumerable<'T> implementation for correct short-circuit behaviour. Also adds 21 new tests: 14 unit tests and 7 property-based tests that verify results match standard List/Array equivalents. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

Copilot

Pull request overview

Adds FSharp.Collections-aligned collection helpers to Queue and Deque, expanding their module APIs with common traversal/transformation/conversion functions while preserving the collections’ logical ordering.

Changes:

Added toList, toArray, map, filter, iter, exists, forall to Queue and Deque implementations.
Exposed the new functions in the corresponding .fsi signature files.
Added unit tests covering the new APIs (order preservation and basic semantics).

Reviewed changes

Copilot reviewed 6 out of 6 changed files in this pull request and generated 7 comments.

Show a summary per file

File	Description
`src/FSharpx.Collections/Queue.fs`	Implements the seven new `Queue` module functions.
`src/FSharpx.Collections/Queue.fsi`	Adds public signatures/docs for the new `Queue` functions (also includes spacing/formatting changes).
`src/FSharpx.Collections/Deque.fs`	Implements the seven new `Deque` module functions.
`src/FSharpx.Collections/Deque.fsi`	Adds public signatures/docs for the new `Deque` functions (also includes spacing/formatting changes).
`tests/FSharpx.Collections.Tests/QueueTest.fs`	Adds tests for new `Queue` APIs (FIFO order and basic behavior).
`tests/FSharpx.Collections.Tests/DequeTest.fs`	Adds tests for new `Deque` APIs (order and basic behavior).

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

You can also share your feedback on Copilot code review. Take the survey.

gdziadkiewicz · 2026-04-12T16:18:35Z

@copilot resolve the confilts too

Agent-Logs-Url: https://github.com/fsprojects/FSharpx.Collections/sessions/5505841c-0090-46f8-9556-d78eba3c714b Co-authored-by: gdziadkiewicz <8547855+gdziadkiewicz@users.noreply.github.com>

gdziadkiewicz · 2026-04-19T11:29:21Z

@copilot resolve the merge conflicts in this pull request

…t test Co-authored-by: gdziadkiewicz <8547855+gdziadkiewicz@users.noreply.github.com>

Copilot · 2026-04-19T11:34:13Z

@copilot resolve the merge conflicts in this pull request

Resolved in c2a93a4 — merged master into the branch, resolving conflicts in Queue.fsi and Deque.fsi by keeping our new function signatures.

Copilot

Pull request overview

Adds common collection-style operations to Queue and Deque to better align with FSharp.Collections, including public signatures and accompanying tests.

Changes:

Added toList, toArray, map, filter, iter, exists, and forall to Queue and Deque modules.
Updated .fsi files with the new public API surface and XML docs.
Added unit tests covering the new operations.

Reviewed changes

Copilot reviewed 6 out of 6 changed files in this pull request and generated 7 comments.

Show a summary per file

File	Description
tests/FSharpx.Collections.Tests/QueueTest.fs	Adds tests for new `Queue` functions.
tests/FSharpx.Collections.Tests/DequeTest.fs	Adds tests for new `Deque` functions.
src/FSharpx.Collections/Queue.fsi	Exposes new `Queue` functions in the public signature.
src/FSharpx.Collections/Queue.fs	Implements new `Queue` functions.
src/FSharpx.Collections/Deque.fsi	Exposes new `Deque` functions in the public signature.
src/FSharpx.Collections/Deque.fs	Implements new `Deque` functions.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>

…enumeration) order Agent-Logs-Url: https://github.com/fsprojects/FSharpx.Collections/sessions/5eadd029-f378-41de-ae25-5542f541bada Co-authored-by: gdziadkiewicz <8547855+gdziadkiewicz@users.noreply.github.com>

Copilot

Pull request overview

Copilot reviewed 6 out of 6 changed files in this pull request and generated 4 comments.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

gdziadkiewicz · 2026-04-25T13:00:15Z

@copilot apply changes based on the comments in this thread

Agent-Logs-Url: https://github.com/fsprojects/FSharpx.Collections/sessions/2df01a43-f11d-4d17-8335-41b66ae349ef Co-authored-by: gdziadkiewicz <8547855+gdziadkiewicz@users.noreply.github.com>

Copilot · 2026-04-25T13:05:06Z

@copilot apply changes based on the comments in this thread

Done in 2f3fe67:

Renamed "toArray preserves FIFO order", "map preserves FIFO order", and "iter visits each element in FIFO order" → "front-to-back order" in DequeTest.fs
Added "toArray empty deque" test for Deque.toArray
Added "filter preserves front-to-back order across front/rBack" test (using conj to populate rBack)
Added "filter rebuilds front when all front elements are filtered out" test in QueueTest.fs (exercises the Queue<'T>(List.rev r, []) path)

All 926 tests pass.

Copilot

Pull request overview

Copilot reviewed 6 out of 6 changed files in this pull request and generated 6 comments.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Copilot · 2026-04-25T13:11:47Z

+              test "forall returns true when all elements satisfy predicate" {
+                  let q = Queue.ofSeq [ 2; 4; 6 ]
+                  Expect.isTrue "forall" (Queue.forall (fun x -> x % 2 = 0) q)
+              }
+
+              test "forall returns false when some elements do not satisfy predicate" {
+                  let q = Queue.ofSeq [ 2; 3; 6 ]
+                  Expect.isFalse "forall false" (Queue.forall (fun x -> x % 2 = 0) q)
+              } ]


The new Queue.forall tests cover all-true and some-false inputs, but don’t cover the empty-queue behavior. Other collection tests in this repo typically assert forall on empty returns true; adding that case here would align behavior guarantees across collections.

@copilot apply changes based on this feedback

Added in 5d66835 — Queue.forall now has a test asserting it returns true for an empty queue.

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>

…20260310-abe469ac1b3fa769

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>

Agent-Logs-Url: https://github.com/fsprojects/FSharpx.Collections/sessions/bb349dd2-2f46-45f5-88f9-0b306455ec7d Co-authored-by: gdziadkiewicz <8547855+gdziadkiewicz@users.noreply.github.com>

github-actions Bot added automation repo-assist labels Mar 10, 2026

ci: trigger checks

c4220d3

This was referenced Mar 10, 2026

[Repo Assist] Monthly Activity 2026-03 #230

Closed

Align Collection Module functions with FSharp.Collections #152

Closed

github-actions Bot mentioned this pull request Mar 13, 2026

[Repo Assist] feat: add map, filter, iter, exists, forall, toArray to DList #246

Merged

gdziadkiewicz self-assigned this Mar 14, 2026

gdziadkiewicz requested review from Copilot and gdziadkiewicz and removed request for Copilot March 14, 2026 13:10

Copilot started reviewing on behalf of gdziadkiewicz March 14, 2026 13:10 View session

Copilot AI reviewed Mar 14, 2026

View reviewed changes

dsyme marked this pull request as ready for review March 16, 2026 13:45

Copilot started work on behalf of gdziadkiewicz April 12, 2026 16:17 View session

docs: clarify that exists/forall check elements in non-FIFO order

f569753

Agent-Logs-Url: https://github.com/fsprojects/FSharpx.Collections/sessions/5505841c-0090-46f8-9556-d78eba3c714b Co-authored-by: gdziadkiewicz <8547855+gdziadkiewicz@users.noreply.github.com>

Copilot finished work on behalf of gdziadkiewicz April 12, 2026 16:20

Copilot started work on behalf of gdziadkiewicz April 19, 2026 11:29 View session

merge: resolve conflicts with master and add Deque.filter empty-resul…

c2a93a4

…t test Co-authored-by: gdziadkiewicz <8547855+gdziadkiewicz@users.noreply.github.com>

Copilot finished work on behalf of gdziadkiewicz April 19, 2026 11:34

gdziadkiewicz requested a review from Copilot April 19, 2026 11:43

Copilot started reviewing on behalf of gdziadkiewicz April 19, 2026 11:43 View session

Copilot AI reviewed Apr 19, 2026

View reviewed changes

Apply suggestions from code review

1b1c880

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>

Copilot started work on behalf of gdziadkiewicz April 19, 2026 12:23 View session

gdziadkiewicz and others added 2 commits April 19, 2026 14:23

Update tests/FSharpx.Collections.Tests/DequeTest.fs

8fc0e20

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>

docs: fix FIFO/LIFO wording in Deque.exists/forall to front-to-back (…

a196673

…enumeration) order Agent-Logs-Url: https://github.com/fsprojects/FSharpx.Collections/sessions/5eadd029-f378-41de-ae25-5542f541bada Co-authored-by: gdziadkiewicz <8547855+gdziadkiewicz@users.noreply.github.com>

Copilot finished work on behalf of gdziadkiewicz April 19, 2026 12:25

gdziadkiewicz requested a review from Copilot April 19, 2026 12:36

Copilot started reviewing on behalf of gdziadkiewicz April 19, 2026 12:36 View session

Copilot AI reviewed Apr 19, 2026

View reviewed changes

Comment thread tests/FSharpx.Collections.Tests/DequeTest.fs Outdated

Comment thread tests/FSharpx.Collections.Tests/QueueTest.fs

Comment thread tests/FSharpx.Collections.Tests/DequeTest.fs

Comment thread tests/FSharpx.Collections.Tests/DequeTest.fs

Copilot started work on behalf of gdziadkiewicz April 25, 2026 13:00 View session

test: improve test coverage and rename FIFO→front-to-back in Deque tests

2f3fe67

Agent-Logs-Url: https://github.com/fsprojects/FSharpx.Collections/sessions/2df01a43-f11d-4d17-8335-41b66ae349ef Co-authored-by: gdziadkiewicz <8547855+gdziadkiewicz@users.noreply.github.com>

Copilot finished work on behalf of gdziadkiewicz April 25, 2026 13:05

gdziadkiewicz requested a review from Copilot April 25, 2026 13:08

Copilot started reviewing on behalf of gdziadkiewicz April 25, 2026 13:08 View session

Copilot AI reviewed Apr 25, 2026

View reviewed changes

github-actions Bot mentioned this pull request Apr 25, 2026

[Repo Assist] Monthly Activity 2026-04 #258

Open

12 tasks

gdziadkiewicz and others added 7 commits April 25, 2026 16:17

Update src/FSharpx.Collections/Deque.fs

e3d0f2d

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>

Update tests/FSharpx.Collections.Tests/DequeTest.fs

32f979f

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>

Update tests/FSharpx.Collections.Tests/DequeTest.fs

475ea52

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>

Update tests/FSharpx.Collections.Tests/QueueTest.fs

368723f

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>

Format code

88e2369

Merge branch 'master' into repo-assist/improve-queue-deque-functions-…

2695a37

…20260310-abe469ac1b3fa769

Update src/FSharpx.Collections/Queue.fs

d25aa60

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>

Copilot started work on behalf of gdziadkiewicz April 25, 2026 16:59 View session

test: add empty-queue forall test for Queue

5d66835

Agent-Logs-Url: https://github.com/fsprojects/FSharpx.Collections/sessions/bb349dd2-2f46-45f5-88f9-0b306455ec7d Co-authored-by: gdziadkiewicz <8547855+gdziadkiewicz@users.noreply.github.com>

Copilot finished work on behalf of gdziadkiewicz April 25, 2026 17:03

Conversation

github-actions Bot commented Mar 10, 2026

Changes

New functions (Queue and Deque)

Implementation notes

Test Status

Uh oh!

Copilot AI left a comment

Choose a reason for hiding this comment

Pull request overview

Reviewed changes

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

gdziadkiewicz commented Apr 12, 2026

Uh oh!

gdziadkiewicz commented Apr 19, 2026

Uh oh!

Copilot AI commented Apr 19, 2026

Uh oh!

Copilot AI left a comment

Choose a reason for hiding this comment

Pull request overview

Reviewed changes

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Copilot AI left a comment

Choose a reason for hiding this comment

Pull request overview

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

gdziadkiewicz commented Apr 25, 2026

Uh oh!

Copilot AI commented Apr 25, 2026

Uh oh!

Copilot AI left a comment

Choose a reason for hiding this comment

Pull request overview

Uh oh!

Copilot AI Apr 25, 2026

Choose a reason for hiding this comment

Uh oh!

gdziadkiewicz Apr 25, 2026

Choose a reason for hiding this comment

Uh oh!

Copilot AI Apr 25, 2026

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

3 participants