Skip to content

Re-export Data.Traversable.all#5

Open
kapunga wants to merge 1 commit intocollegevine:mainfrom
kapunga:reexport-all
Open

Re-export Data.Traversable.all#5
kapunga wants to merge 1 commit intocollegevine:mainfrom
kapunga:reexport-all

Conversation

@kapunga
Copy link
Copy Markdown

@kapunga kapunga commented Feb 13, 2026

Where any is re-exported, one might expect to find all, but this is not the case here, an import of Data.Traversable (all) is required to use in whine rules. This commit fixes that gap.

Where `any` is re-exported, one might expect to find `all`, but this is not
the case here, an import of Data.Traversable (all) is required to use in
whine rules. This commit fixes that gap.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant