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.

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

Rename `names` to `subMap`, and add new function `names` #26

merged 1 commit into from Sep 19, 2012


None yet
2 participants

byorgey commented Sep 16, 2012

names is now a poor name for something which returns a mapping from names to subdiagrams. Also, the old version of names used to have a result with a Show instance, but a SubMap really can't have one. This patch renames names to subMap, and creates a new function names which returns a list of names paired with their associated locations (which can be Shown).

Brent Yorgey
change "names" function to return a list of names and associated loca…
…tions, and add new "subMap" function for returning the actual SubMap

fryguybob added a commit that referenced this pull request Sep 19, 2012

Merge pull request #26 from byorgey/master
Rename `names` to `subMap`, and add new function `names`

@fryguybob fryguybob merged commit 19606ac into diagrams:master Sep 19, 2012

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment