Skip to content

Conversation

@notquiteamonad
Copy link
Contributor

Description of the change

Clearly and concisely describe the purpose of the pull request. If this PR relates to an existing issue or change proposal, please link to it. Include any other background context that would help reviewers understand the motivation for this PR.

This PR adds an exposed toMap function to unwrap the Graph datatype.


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)

@MaybeJustJames
Copy link
Contributor

Can this be merged?

@JordanMartinez JordanMartinez merged commit 90873fc into purescript:master Jun 22, 2022
@notquiteamonad notquiteamonad deleted the add-toMap branch June 22, 2022 12:31
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.

4 participants