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

[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 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, 'Rupert Smith' via Elm Discuss <
>> elm-d...@googlegroups.com> wrote:
>>
>>> port logout : Cmd msg
>>>
>>> yields:
>>>
>>> 13| port logout : Cmd msg
>>> ^
>>> You are saying it should be:
>>>
>>> Platform.Cmd.Cmd msg
>>>
>>> But you need to use the particular format described here:
>>>  Use --force to continue.
>>>
>>> But http://guide.elm-lang.org/effect_managers/ sheds no light.
>>>
>>> --
>>> 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...@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.
>

-- 
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.

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

['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, 'Rupert Smith' via Elm Discuss <
> elm-d...@googlegroups.com > wrote:
>
>> port logout : Cmd msg
>>
>> yields:
>>
>> 13| port logout : Cmd msg
>> ^
>> You are saying it should be:
>>
>> Platform.Cmd.Cmd msg
>>
>> But you need to use the particular format described here:
>>  Use --force to continue.
>>
>> But http://guide.elm-lang.org/effect_managers/ sheds no light.
>>
>> -- 
>> 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...@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.

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

[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:
>
> 13| port logout : Cmd msg
> ^
> You are saying it should be:
>
> Platform.Cmd.Cmd msg
>
> But you need to use the particular format described here:
>  Use --force to continue.
>
> But http://guide.elm-lang.org/effect_managers/ sheds no light.
>
> --
> 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.