Haskellのデータ：次のコードでは、コンストラクタ：「>」：>コンストラクタ誰でもの意味何を知っていた意味

Question

Haskellで

data Rose a = a :> [Rose a] 
    deriving (Eq, Show) 

Answer 1

名の英数字で構成され、デフォルトで接頭ある機能、および+,>、$などの文字で構成された関数は、デフォルトではインフィックスです。たとえば、同じ

Prelude> let a $%^ b = a + b 
Prelude> :t ($%^) 
($%^) :: Num a => a -> a -> a 

は、コンストラクタに適用されるように中置関数を定義することができます（編集：@ChrisTaylorが正しく述べたように、制限が中置コンストラクタの名前は:で開始する必要がありますということ）。

Prelude> :t (:>) 
(:>) :: a -> [Rose a] -> Rose a 

あなたにも

同じを持っているでしょう

data Rose a = RoseCtr a [Rose a] 

として通常に見えるのコンストラクタを作成することができます。ライン

Prelude> data Rose a = a :> [Rose a] 

は:> 2つの引数を取るコンストラクタであることを意味しタイプ。場合によっては、インフィックス関数/コンストラクタはより直感的で、コードをより理解しやすくします。