haskell - 泛型函数中的 Haskell 类型构造函数

Question

我在 Haskell Lava HDL 系统中进行挖掘，并且一直在理解 http://hackage.haskell.org/package/chalmers-lava2000-1.6.1/docs/src/Lava-Vhdl.html#writeVhdl

有人能告诉我解析到(var "inp")什么功能吗？writeVhdl

功能var尚未定义，似乎是通过http://hackage.haskell.org/package/chalmers-lava2000-1.6.1/docs/src/Lava-Generic中 我不熟悉的一些元编程生成的.html#line-253。class Constructive

函数var似乎就像一个构造函数。这种机制是如何运作的？

的输入writeVhdl是一个电路描述，如

halfAdd (a, b) = (sum, arry)
  where
    sum = xor2 (a, b)
    arry = and2 (a, b)

Answer 1

有人能告诉我 writeVhdlresolves 中的什么函数（var“inp”）吗？

这取决于您传递给writeVhdl第二个参数的内容，即circ. 它的参数类型（如果我没看错的话）正是var "foo".

ghci您可以通过键入来观察表达式类型:t some expression。尝试将您的代码加载到 GHCi 会话中并使用:t命令。