我正在阅读this优秀的博客文章，并遇到了下面的行，我不知道它做什么：
data NonEmpty a = a :| [a]
:|在这里做什么？我在ghci中尝试过，但实际上不能构造这种类型的任何东西。
:|
qvtsj1bj1#
将其与以下行进行比较：
data PrefixNonEmpty a = MkNonEmpty a [a]
就像这一行定义了（前缀）MkNonEmpty数据构造函数一样，您的这一行定义了（中缀）:|数据构造函数。
MkNonEmpty
1条答案
按热度按时间qvtsj1bj1#
将其与以下行进行比较：
就像这一行定义了（前缀）
MkNonEmpty数据构造函数一样，您的这一行定义了（中缀）:|数据构造函数。