如何测试异构数据构造函数？

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中)相关联的特定整数。