組み込み構文の不正なバインド： `：`

Question

私はカスタムストリームのデータ型を構築する必要があります。 リストのデータ型と似ていますが、無限リストの場合のみ（空リストなし）。

私は、リストデータ型見つかった -

data [] a = a : [a] | [] 

を、私はこれを書いた：

data Stream a = a : (Stream a) 

が、GHCiのは、エラーメッセージを表示しますが：

不正の結合ビルトイン構文：

私のデータ型宣言は何が間違っていますか？

Answer 1

コンストラクタ(:)は、標準ライブラリで定義されている通常の型である標準の組み込み型とは異なり、組み込みの構文であり、標準のリスト型に固有のものです。

したがって、ストリームの種類に別のコンストラクタを使用する必要があります。

data Stream a = a :< Stream a 

...正常に動作する必要があります：(:|)と(:<)は、私が見たバージョンなので、このようなものです。

また、あなたが好む完全あれば中置コンストラクタをドロップすることができます：

data Stream a = Stream a (Stream a) 

Answer 2

注：あなたは、この目的のためにstreamsパッケージから既存のData.Stream.Infiniteを使用して自由のためのインスタンスとコンビネータのトンを得ることができますが、 (:)自体が構文で組み込まれています。