如何检查变量是否已使用构造函数构造？

Question

给予

type Bla = A Int | B Int

valA1 = A 1
valA2 = A 2

我有没有办法检查valA1是否已用valA2的构造函数构造？

Answer 1

没有通用的比较构造函数的方法，但是您可以轻松地组合自己的函数：

isSameBlaConstructor : Bla -> Bla -> Bool
isSameBlaConstructor x y =
    case (x, y) of
        (A _, A _) -> True
        (B _, B _) -> True
        _ -> False