Skip to content
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

Time.every improvement #884

Closed
kuznero opened this issue Jul 13, 2017 · 4 comments
Closed

Time.every improvement #884

kuznero opened this issue Jul 13, 2017 · 4 comments

Comments

@kuznero
Copy link

kuznero commented Jul 13, 2017

Does it make sense to improve current every : Time -> (Time -> msg) -> Sub msg to every : Time -> (Time -> Maybe msg) -> Sub msg, such that event is fired not precisely every N something, but also does that based on some predicate that will be possible to implement in Time -> Maybe msg lambda?

@process-bot
Copy link

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.

@evancz
Copy link
Member

evancz commented Jul 13, 2017

It may make sense, but any design like this would need to be motivated by practical examples. If you have some of those, that can make a stronger suggestion. I'd recommend trying to refine the idea on Elm slack or the elm-discuss mailing list and opening a new issue if you feel you have compelling evidence.

@evancz evancz closed this as completed Jul 13, 2017
@jvoigtlaender
Copy link
Contributor

@kuznero, there are related questions for other "subscription generating functions". So it might be useful for you to have a look at:

as well as at two existing mailing list threads (referenced over there):

@kuznero
Copy link
Author

kuznero commented Jul 14, 2017

@jvoigtlaender thanks for the links

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

No branches or pull requests

4 participants