Skip to content

Add fromCharMap and fromStringMap - #373

Merged
regadas merged 1 commit into
mainfrom
oscar/charMap
Feb 11, 2022
Merged

Add fromCharMap and fromStringMap#373
regadas merged 1 commit into
mainfrom
oscar/charMap

Conversation

@johnynek

Copy link
Copy Markdown
Contributor

These are pretty useful and save the user from using apply on a Map which may appear unsafe to a reviewer in user code, but is safe in this context (we know we return a matching key).

@regadas regadas left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks great and useful!

@regadas
regadas merged commit eb4f112 into main Feb 11, 2022
@regadas
regadas deleted the oscar/charMap branch February 11, 2022 12:34
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.

2 participants