在某些情况下,Signal(Int,Int)未被识别为(Int,Int)元组

时间:2015-12-10 13:27:33

标签: elm elm-signal

根据返回类型,Signal(Int,Int)不会被识别为(Int,Int)的元组。

请考虑以下代码:

import Graphics.Element exposing (..)
import Mouse


relativeMouseElement : (Int, Int) -> Element
relativeMouseElement mp = show (fst mp - 1000, snd mp - 1000)


relativeMouseTuple : (Int, Int) -> (Int, Int)
relativeMouseTuple mp = (fst mp - 1000, snd mp - 1000)

main =
--  Signal.map relativeMouse Mouse.position
    relativeMouseTuple Mouse.position

Signal.map relativeMouse Mouse.position工作正常,显示(-1000,-1000)到浏览器,并根据鼠标移动调整值。

relativeMouseTuple Mouse.position这虽然不起作用。我得到的复杂错误如下:

Function `relativeMouseTuple` is expecting the argument to be:

    ( Int, Int )

But it is:

    Signal ( Int, Int )

我觉得这很奇怪。在这两种情况下,第一个参数是Signal(Int,Int),在第二种情况下,它导致类型错误。

有什么想法吗?

1 个答案:

答案 0 :(得分:5)

我没有榆树的经验,但是:

Signal.map将函数映射到信号,这并不意味着使用Signal作为参数调用函数,而是使用信号的参数作为参数调用它。例如对于Signal(Int, Int),您映射了一个接收(Int, Int)作为参数的函数。

所以在下面的例子中你没有问题

Signal.map relativeMouse Mouse.position

但是,在下面的情况中,您调用一个期望(Int, Int)且函数Signal(Int, Int)错误的函数:

relativeMouseTuple Mouse.position

你应该做的,可能是将你的功能映射到信号,如下所示:

Signal.map relativeMouseTuple Mouse.position