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 upSub.filter function #808
Comments
This comment has been minimized.
Show comment
Hide comment
This comment has been minimized.
process-bot
Jan 15, 2017
Thanks for the issue! 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, 2017
|
Thanks for the issue! 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.
jvoigtlaender
Jan 15, 2017
Contributor
There has been extensive discussion of exactly this request on the mailing list in the past (see links below).
The role of the issue tracker here is not for feature requests. If you want a new feature added, you will have to make a convincing argument in the discussion forum first. For this specific request, I and others have tried but been turned down.
What you should probably read:
And maybe also:
|
There has been extensive discussion of exactly this request on the mailing list in the past (see links below). The role of the issue tracker here is not for feature requests. If you want a new feature added, you will have to make a convincing argument in the discussion forum first. For this specific request, I and others have tried but been turned down. What you should probably read: And maybe also: |
jvoigtlaender
closed this
Jan 15, 2017
This comment has been minimized.
Show comment
Hide comment
This comment has been minimized.
aravantv
Jan 15, 2017
Thanks! The conversation there reflects precisely my train of thoughts.
Sorry for using the issue tracker for feature request, there are so many options out there to communicate (Slack, Mailing list, Github, usw.) that I was not so sure what's the best way to do it. Now I know.
aravantv
commented
Jan 15, 2017
|
Thanks! The conversation there reflects precisely my train of thoughts. Sorry for using the issue tracker for feature request, there are so many options out there to communicate (Slack, Mailing list, Github, usw.) that I was not so sure what's the best way to do it. Now I know. |
aravantv commentedJan 15, 2017
Hi,
I would really like to see a Sub.filter function:
Sub.filter : (a -> Bool) -> Sub a -> Sub asuch that
Sub.filter p sis a subscription which only sends updates if the value carried by the original subscriptionspasses the predicatep.I would like to make a "sub-extras" package as indicated in the guidelines but the only solution I see requires changing the Native.Platform package and, as far as I understood, I should not be dealing with this in a separate library... right?