Skip to content

Add Data.Set.range#75

Merged
f-f merged 1 commit intopurescript:masterfrom
tomcumming:add-set-range-using-submap
Apr 11, 2026
Merged

Add Data.Set.range#75
f-f merged 1 commit intopurescript:masterfrom
tomcumming:add-set-range-using-submap

Conversation

@tomcumming
Copy link
Copy Markdown
Contributor

Adds the Data.Set.range function which exposes the underlying Data.Map.submap function.

Could not use subset, it was already taken.


Checklist:

  • Added the change to the changelog's "Unreleased" section with a reference to this PR (e.g. "- Made a change (#0000)")
  • Linked any existing issues or proposals that this pull request should close
  • Updated or added relevant documentation
  • Added a test for the contribution (if applicable)

@f-f f-f merged commit 92a7c20 into purescript:master Apr 11, 2026
1 check passed
@tomcumming tomcumming deleted the add-set-range-using-submap branch April 11, 2026 23:08
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.

3 participants