ハスケルでは「：..」とは何を意味していますか？私は、次のデータ型を読んでいる

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

コンストラクタの名前は、大文字またはコロンで始まるシンボリックで始まる英数字にすることができます。後者の場合、演算子は中置関数のように中置で使用されます。

そこで:..タイプNe（左オペランド）とタイプClos Term（右オペランド）のいずれかの引数を取るNeタイプ用中置コンストラクタです。

Answer 2

:..は、代数データ型Neのコンストラクタの1つです。句読点で構成され、:で始まるコンストラクタ名は、中置演算子になります。試してみてください：

module Main where 

data List a = Nil 
      | a :.. (List a) 
      deriving Show 

main = print (1 :.. (2 :.. Nil))