Skip to content
This repository was archived by the owner on Oct 4, 2020. It is now read-only.

persistent map filters and isSubMap #99

Merged
merged 2 commits into from
Jun 4, 2017

Conversation

matthewleon
Copy link
Contributor

Similar to #97 but for the persistent Map data type.

@matthewleon
Copy link
Contributor Author

Travis being wonky again...

@matthewleon matthewleon force-pushed the filters-persistent branch from 6b44a64 to 3f3d11e Compare June 4, 2017 14:12
@matthewleon
Copy link
Contributor Author

function names should now match #97

@paf31 paf31 merged commit 2cd994e into purescript-deprecated:master Jun 4, 2017
@paf31
Copy link
Contributor

paf31 commented Jun 4, 2017

Thanks!

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants