I would love to have `never` in core and available on elm-lang.org/try Or have
performSafe: (a -> Cmd msg) -> Task Never a -> Cmd msg Until then, I prefer the universality of NoOp. On Tue, May 24, 2016 at 12:49 PM, Janis Voigtländer < janis.voigtlaen...@gmail.com> wrote: > My standard objection: > > Replace Task.perform (\_ -> NoOp) by Task.perform never, using: > > > http://package.elm-lang.org/packages/elm-community/basics-extra/1.0.0/Basics-Extra#never > > > 2016-05-24 11:21 GMT+02:00 Peter Damoc <pda...@gmail.com>: > >> You should use Process.sleep >> >> dismissCmd = >> Process.sleep (2 * second) >> |> Task.perform (\_ -> NoOp) (\_ -> DismissAlert) >> >> >> >> On Tue, May 24, 2016 at 11:56 AM, TheGryzor123 <g.sou...@gmail.com> >> wrote: >> >>> I'm still pretty new to Elm so I prefer to ask. >>> >>> I'm creating a typical alert that says "Action successful!" and want it >>> to disappear automatically after 5 seconds. >>> >>> Should I use Time.every for that? >>> >>> -- >>> You received this message because you are subscribed to the Google >>> Groups "Elm Discuss" group. >>> To unsubscribe from this group and stop receiving emails from it, send >>> an email to elm-discuss+unsubscr...@googlegroups.com. >>> For more options, visit https://groups.google.com/d/optout. >>> >> >> >> >> -- >> There is NO FATE, we are the creators. >> blog: http://damoc.ro/ >> >> -- >> You received this message because you are subscribed to the Google Groups >> "Elm Discuss" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to elm-discuss+unsubscr...@googlegroups.com. >> For more options, visit https://groups.google.com/d/optout. >> > > -- > You received this message because you are subscribed to the Google Groups > "Elm Discuss" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to elm-discuss+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. > -- There is NO FATE, we are the creators. blog: http://damoc.ro/ -- You received this message because you are subscribed to the Google Groups "Elm Discuss" group. To unsubscribe from this group and stop receiving emails from it, send an email to elm-discuss+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
