通用函數中的Haskell類型構造函數

Question

我在Haskell Lava HDL系統中四處搜尋，並停留在了解http://hackage.haskell.org/package/chalmers-lava2000-1.6.1/docs/src/Lava-Vhdl.html#writeVhdl

有人可以告訴我writeVhdl函數(var "inp") writeVhdl (var "inp")解析為什么嗎？

函數var尚未定義，似乎是通過一些我不熟悉的元編程生成的， class Constructive在http://hackage.haskell.org/package/chalmers-lava2000-1.6.1/docs/src/ Lava-Generic.html＃line-253 。

函數var看起來像構造函數 。 這種機制如何運作？

writeVhdl的輸入是電路描述，例如

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

Answer 1

有人可以告訴我writeVhdl解析為什么功能（var“ inp”）？

這取決於您傳遞給writeVhdl第二個參數（即circ 。 它的參數類型（如果我沒看錯的話）正是var "foo"返回的類型。

您可以通過鍵入:t some expression來觀察ghci的表達式類型。 嘗試將代碼加載到GHCi會話中，然后使用:t命令播放。