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

Add Dict.filterMap, analogous to List.filterMap #743

Closed
wants to merge 1 commit into
base: master
from

Conversation

Projects
None yet
2 participants
@kirchner

kirchner commented Oct 30, 2016

Add this function, so you don't have to convert the dictionary to a list, apply List.filterMap and then convert back to a dictionary.

@jvoigtlaender

This comment has been minimized.

Show comment
Hide comment
@jvoigtlaender

This comment has been minimized.

Show comment
Hide comment
@jvoigtlaender

jvoigtlaender Oct 30, 2016

Contributor

http://package.elm-lang.org/packages/elm-community/dict-extra/latest would be a natural place to add your function.

Contributor

jvoigtlaender commented Oct 30, 2016

http://package.elm-lang.org/packages/elm-community/dict-extra/latest would be a natural place to add your function.

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