在haskell中,做什么:+:在数据类型定义中意味着什么？

Question

这是新数据类型的定义:

data Total a = Total a :+: Total a 
              |...

什么:+:在这种类型定义中意味着什么？

Answer 1

它是以中缀形式编写的数据构造函数.如果以操作符开头,则可以将操作符作为构造函数:.