Haskell：确定数据类型中的参数类型

Question

假设我定义了一个数据类型如下：

data Type = MyInt |
            MyBool |
            MyFun Type Type 

我有一个变量type_a = MyFun MyInt MyBool

我还有另一个变量type_b = MyInt

我将如何检查 type_b = type_a (MyInt) 中的第一个参数？

Answer 1

您可以派生Eq然后使用模式匹配来解构MyFun并将第一个参数与type_b进行比较：

data Type = MyInt | MyBool | MyFun Type Type deriving Eq

type_a = MyFun MyInt MyBool
type_b = MyInt

firstArgEquals :: Type -> Type -> Bool
firstArgEquals (MyFun a _) b = a == b
firstArgEquals _ _ = False

firstArgEquals type_a type_b -- returns True