Skip to content

feat: add stream combinators #1334

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
Open
fgdorais wants to merge 21 commits into
base: main
Choose a base branch
from
Open

feat: add stream combinators #1334

fgdorais wants to merge 21 commits into from

Conversation

@fgdorais
Copy link
Collaborator

@fgdorais fgdorais commented Jul 20, 2025

This PR adds basic combinators for stream types.

@github-actions github-actions bot added the WIP work in progress label Jul 20, 2025
@fgdorais fgdorais force-pushed the stream-combinators branch from e96375a to dfca6c2 Compare July 20, 2025 15:39
leanprover-community-mathlib4-bot added a commit to leanprover-community/mathlib4-nightly-testing that referenced this pull request Jul 20, 2025
@leanprover-community-mathlib4-bot
Update Batteries branch for testing leanprover-community/batteries#1334
f84f8fb
@leanprover-community-bot
Copy link
Collaborator

leanprover-community-bot commented Jul 20, 2025

Mathlib CI status (docs):

@fgdorais fgdorais force-pushed the stream-combinators branch 5 times, most recently from 87663bf to 3ec454c Compare July 21, 2025 09:38
@fgdorais fgdorais force-pushed the stream-combinators branch from 3ec454c to e0cfc01 Compare July 21, 2025 09:40
@fgdorais fgdorais marked this pull request as ready for review July 21, 2025 09:40
@fgdorais fgdorais added awaiting-review This PR is ready for review; the author thinks it is ready to be merged. and removed WIP work in progress labels Jul 21, 2025
@leanprover-community-mathlib4-bot leanprover-community-mathlib4-bot added the merge-conflict This PR has merge conflicts with the `main` branch which must be resolved by the author. label Oct 21, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

awaiting-review This PR is ready for review; the author thinks it is ready to be merged. builds-mathlib merge-conflict This PR has merge conflicts with the `main` branch which must be resolved by the author.

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@fgdorais @leanprover-community-bot @leanprover-community-mathlib4-bot