異種データコンストラクタのテスト方法

Question

は本当に基本的な質問のように思えるが、私は持っている場合：

data LogLevel = Info | Warning | Error Int 
x = Info 
y = Error 13 

私は

if (x==Info) 

を書くことができますが、どのように私はタイプエラーのためにテストを書くでしょうか？

Answer 1

Errorはタイプではありません。それはデータコンストラクタです。パターンマッチングを使用して、タイプLogLevelのさまざまな値を区別できます。ここで

case x of 
    Info -> ... 
    Warning -> ... 
    Error n -> ... 

だけでなく、あなたがxの値に応じて、正しい「ブランチ」を取るが、そのパターンが一致したときにも（nに）Errorに関連付けられた特定の整数を取得します。