2
我试图定义一个多态的元组列表而不使用任何导入。 我有data ListT a = [(a,String)] deriving (Eq,Ord,Read,Show)
但它一直给错误“无法解析的数据构造的数据/ NEWTYPE声明:(一,字符串)]”数据定义错误haskell
这个错误是什么意思,以及如何阻止它。 谢谢
我试图定义一个多态的元组列表而不使用任何导入。 我有data ListT a = [(a,String)] deriving (Eq,Ord,Read,Show)
但它一直给错误“无法解析的数据构造的数据/ NEWTYPE声明:(一,字符串)]”数据定义错误haskell
这个错误是什么意思,以及如何阻止它。 谢谢
这意味着你忘了提供值构造函数的名称。您需要更改您的代码如下:
data ListT a = ListT [(a,String)]
顺便说一句,这不是一个正确的List实现变压器。
也许你想'输入ListT a = [(a,String)]'? – Ryan
为避免混淆,您可能需要选择一个不同的名称 - Haskell社区中使用__ListT__作为List类型的monad变换器。 – ErikR
好的,谢谢我会改变它 –