问与Data.Data.toConstr混淆
EN

Stack Overflow用户

提问于 2018-09-20 15:49:48

回答 1查看 104关注 0票数 0

我不明白为什么对于给定的数据类型

import Data.Data
data T a = T1 a | T2 deriving Data

表达

toConstr (Just ()) == toConstr (T2 :: T Int)

返回True，同时

toConstr (Just ()) == toConstr (T1 ())

返回False。

回答已采纳

发布于 2018-09-20 15:57:08

引用文献资料的话-

请注意，不同类型的构造函数的相等性可能不起作用--即对False的构造函数，没有任何东西可以比较相等。

Just ()是Maybe ()的构造函数--它不一定会将false与T的构造函数进行比较。

票数 3

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/52428880

复制

相似问题

问与Data.Data.toConstr混淆EN