Skip to content

Add stripPrefix#37

Merged
paf31 merged 1 commit intopurescript:masterfrom
hdgarrood:stripPrefix
Jul 10, 2015
Merged

Add stripPrefix#37
paf31 merged 1 commit intopurescript:masterfrom
hdgarrood:stripPrefix

Conversation

@hdgarrood
Copy link
Copy Markdown
Contributor

aka, one of the best string manipulation functions ever.

@paf31
Copy link
Copy Markdown
Contributor

paf31 commented Jul 10, 2015

Looks good. Could you please regen the docs?

@hdgarrood
Copy link
Copy Markdown
Contributor Author

ah, of course. done :)

paf31 added a commit that referenced this pull request Jul 10, 2015
@paf31 paf31 merged commit 65f973a into purescript:master Jul 10, 2015
@paf31
Copy link
Copy Markdown
Contributor

paf31 commented Jul 10, 2015

👍 Thanks!

@hdgarrood hdgarrood deleted the stripPrefix branch July 10, 2015 18:05
@davidchambers
Copy link
Copy Markdown
Contributor

@hdgarrood, I'd love to see a snippet of code which would use this, if you have one handy.

@hdgarrood
Copy link
Copy Markdown
Contributor Author

@davidchambers
Copy link
Copy Markdown
Contributor

Thanks! By the way, pressing Y when viewing code on GitHub will update the URL to a permalink, which is useful when sharing a link to a particular section of code.

@hdgarrood
Copy link
Copy Markdown
Contributor Author

Ah, I didn't know that, thanks! I'll put the permalink here too in case anyone else comes here later: https://github.com/hdgarrood/holly/blob/ccb79531acaa4188491458dad45bb89a92a39fea/src/Main.purs#L41-L49

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