Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.
Sign upMaybe: Add eliminator for Maybe. #937
Conversation
This comment has been minimized.
Show comment
Hide comment
This comment has been minimized.
process-bot
Jan 15, 2018
Thanks for the pull request! Make sure it satisfies this checklist. My human colleagues will appreciate it!
Here is what to expect next, and if anyone wants to comment, keep these things in mind.
process-bot
commented
Jan 15, 2018
|
Thanks for the pull request! Make sure it satisfies this checklist. My human colleagues will appreciate it! Here is what to expect next, and if anyone wants to comment, keep these things in mind. |
This comment has been minimized.
Show comment
Hide comment
This comment has been minimized.
mkwiatkowski
Jan 15, 2018
You can already find this helper in the exts package: http://package.elm-lang.org/packages/krisajenkins/elm-exts/27.4.0/Exts-Maybe#maybe Their implementation is a bit shorter: https://github.com/krisajenkins/elm-exts/blob/27.4.0/src/Exts/Maybe.elm#L75 Indeed would be nice to see this in core.
mkwiatkowski
commented
Jan 15, 2018
|
You can already find this helper in the exts package: http://package.elm-lang.org/packages/krisajenkins/elm-exts/27.4.0/Exts-Maybe#maybe Their implementation is a bit shorter: https://github.com/krisajenkins/elm-exts/blob/27.4.0/src/Exts/Maybe.elm#L75 Indeed would be nice to see this in core. |
This comment has been minimized.
Show comment
Hide comment
This comment has been minimized.
evancz
Jan 16, 2018
Member
The policy is to make API requests to the maybe-extra packages. There's probably something like this. If not, they will decide. That's the feeder for core.
|
The policy is to make API requests to the |
MostAwesomeDude commentedJan 15, 2018
This is an essential helper.