レコードの構文：コンストラクタの内容を検証します

Question

12個の値を持つレコードがあります。有効でない値の組み合わせがいくつかありますので、コンストラクタでこれを確認してください。私は引数のリストを取るコンストラクタを作る方法しか知りませんが、それは12の値ではあまりよくありません。したがって、値を使用した後でレコード構文を使用したいと考えています。

コンストラクタに制約を適用し、レコード構文を使用するにはどうすればよいですか？

Answer 1

私は最初のコメントをもう少し精巧な方法で投稿しますが、これで十分です。

まずは、あなたのデータは、多かれ少なかれ、このようになりますと仮定してみましょう：スマートコンストラクタに置き換えたときに

data MyBigData = MyBigData { 
    a :: ... 
    b :: ... 
    ... 
    z :: ... 
} 

は確かに、あなたはその問題について多くを行うことはできません。

しかし、あなたのライブラリ関数は次のように多かれ少なかれ見えると仮定：

libFun :: MyBigData -> Result 

私は、次の解決策を提案します。ラップタイプを作成します。

newtype ValidData = ValidData MyBigData 

コンストラクタをエクスポートしないでください。あなたの機能を変更します。

libFun :: ValidData -> Result 
libFun (ValidData d) = ... 

と機能における検証ロジック置く：validateを呼び出すときに、レコード構文を使用することができますが、あなたがこのデータを使用することはできません今

validate :: MyBigData -> Maybe ValidData 

を最初にそれを検証しないと、実際にコヒーレントな状態でそれを期待する関数。もちろん

input = validate $ MyBigData { ... } 
case input of: 
    Just d -> libFun d 
    Nothing -> ... 

この場合validateもEitherを返すか、おそらくあなたがそれを必要とする場合monadically作用することができます。

Answer 2

私はちょうど「捨て」些細な機能

section :: ActualData -> Blueprint 

との組み合わせで、オープンで未検証のコンストラクタで補助データ型Blueprintを使用するようにBartek Banachewiczの提案を使用して、ActualDataスマートコンストラクタfromBluePrint :: Blueprint -> ActualDataう検証 -

（ fromBlueprint . sectionが ActualDataのアイデンティティであることを意味 セクションは 右逆ため another nameです）

さて、あなたはviewPatternsを使用してActualData（または[ActualData]ような、より複雑な種類の上で関数を定義するときにビューを入れ子にすることができるよう、タイプActualDataの値を構築するにしてパターンでレコード構文を使用して

x :: ActualData 
x = fromBlueprint $ Blueprint {a=1, b="baz",...} 

f :: ActualData -> Int 
f (section -> Blueprint{a=x}) = 2*x 

ようなコードを書くことができます）