Как проверить гетерогенный конструктор данных?

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, но вы также можете получить конкретное число, связанное с Error (в n), когда совпадает с узором.