Re: [elm-discuss] Can you have a port that takes no args? What is its type?

2016-09-19 Thread Janis Voigtländer
See also https://github.com/evancz/guide.elm-lang.org/issues/34. ​ 2016-09-16 16:36 GMT+02:00 'Rupert Smith' via Elm Discuss < elm-discuss@googlegroups.com>: > > On Friday, September 16, 2016 at 3:17:25 PM UTC+1, Joey Eremondi wrote: >> >> If you need this, make it take an arg of type (), which

Re: [elm-discuss] Can you have a port that takes no args? What is its type?

2016-09-16 Thread 'Rupert Smith' via Elm Discuss
On Friday, September 16, 2016 at 3:17:25 PM UTC+1, Joey Eremondi wrote: > > If you need this, make it take an arg of type (), which is just a > placeholder (0 element tuple to be precise, carries no data). > > port logout : () -> Cmd msg > Aha. Thanks. > > On Fri, Sep 16, 2016 at 7:13 AM,

Re: [elm-discuss] Can you have a port that takes no args? What is its type?

2016-09-16 Thread Joey Eremondi
If you need this, make it take an arg of type (), which is just a placeholder (0 element tuple to be precise, carries no data). port logout : () -> Cmd msg On Fri, Sep 16, 2016 at 7:13 AM, 'Rupert Smith' via Elm Discuss < elm-discuss@googlegroups.com> wrote: > port logout : Cmd msg > > yields: