从Haskell的信号输入到Int

Question

我正在使用一个描述数字电路(Lava)的Haskell libraby，它的功能输入和输出是信号类型(信号Bool，signal Int)，据我所知，没有从信号Int转换为Int的函数，我知道有几个算术操作可以与类型信号Int一起使用，但并非所有的算术操作都是可能的。我编写了这个函数，它应该从Signal转换为Int (仅用于我需要的值)。

signalInt2int :: Signal Int -> Int
signalInt2int x = case x of 
    0 -> 0 
    1 -> 1 
    15 -> 15 
    _ -> 1000

只是为了尝试，我只写了这4种可能性，问题是，每当我调用这个函数时，不管输入是什么，输出总是1000。我确保使用输入类型的信号Int。这是我得到的。

​

​

有人能指出问题出在哪里吗？我将感谢你的帮助。

Answer 1

由于在Haskell中整数文本的工作方式，所以您的代码等。取决于==和fromInteger为Signal Int实现的方式。

如果您检查资料来源，结果是fromInteger总是创建一个新的Ref，并且不等于任何现有的Signal。

所以问题仍然是，如何做你想做的事。模式匹配应该有效，但与文字相比，您需要深入了解Signal的实际结构。如果我得到了正确的(没有测试)，这样的东西应该可以工作(返回Maybe Int，因为不是所有的Signal Int信号都是常量的)：

signalInt2int :: Signal Int -> Maybe Int
signalInt2int (Signal (Symbol ref)) = case deref ref of
    Int i -> Just i
    _ -> None