haskell - ':..' 在 Haskell 中意味着什么？

Question

我正在读取以下数据类型:

data Ne
  = NVar Id
  | Ne :.. (Clos Term)
  | NSplit Ne (Bind (Bind (Clos Term)))
  | NCase Ne (Clos [(Label, Term)])
  | NForce Ne
  | NUnfold Ne (Bind (Clos Term))
  deriving (Show, Eq)

第二个成员声明中的:..是什么？

Answer 1

构造函数的名称可以是以大写字母开头的字母数字，也可以是以冒号开头的符号。在后一种情况下，运算符将像中缀函数一样使用中缀。

So :.. 是 Ne 类型的中缀构造函数，它接受一个 Ne 类型的参数(左操作数)和一个Clos Term 类型(右操作数)。