Haskellでデータ構造体/型を定義する

Question

構造体の要素に適用される特定の制約/規則があり、これを型に反映できるように、Haskellでどのようにデータ構造体を定義することが可能でしょうか。例えば

私は別のタイプのリストで構成されたタイプを持っている場合、

R = [Xを言います| x < - 入力、ルール1、ルール2、ルール3]。

この場合、rの型は（type of x）の要素のリストです。しかし、これを言って、私たちはルールを失う。だから、この余分な情報を型定義にどのように保持することが可能でしょうか。

私の質問にもっと具体的に言えば、スドコの場合を取る。スドコのグリッドは行のリストであり、順番にセルのリストです。しかし、我々が知っているように、値には制約があります。しかし、タイプを表現するとき、これらの制約はグリッドと行のタイプの定義に現れません。

これは可能ですか？

ありがとうございました。

Answer 1

sodokuの例では、それぞれが 'rule'またはsemanticプロパティを表す複数のコンストラクタを持つデータ型を作成します。 I.E。

data SodokuType = NotValidatedRow | InvalidRow | ValidRow 

現在、いくつかの検証機能であなたはsodokuルールの検証、およびあなたが成功した行（または列またはなどの正方形）を検出ValidRowを検出InvalidRowを返します。これにより、パターンマッチも可能になります。

問題は、タイプを使用していないということです。値を使用しています。リストには値のリストが定義されていますが、リストには値のリストがありません。

私が使用した例は、行の位置などに関する情報が含まれていないため、あまり有用ではありませんが、自分で定義することができます。