类似于列表的自定义数据构造函数的模式匹配

如何解决类似于列表的自定义数据构造函数的模式匹配

我有一个这样定义的数据构造函数：

data Stack a = Empty | NonEmpty a (Stack a)
         deriving (Show,Read,Eq)

然后我有一个函数将它与模式匹配一​​起使用：

func :: Stack a -> a
func (Stack.NonEmpty val Stack.Empty) = ...
func (Stack.NonEmpty val1 (Stack.NonEmpty val2 Stack.Empty)) = ...

我想要做的是使用像这样的操作符以类似于序列或列表的方式进行模式匹配：

func :: Stack a -> a
func (val :> Stack.Empty) = ...
func (val1 :> val2 :> Stack.Empty) = ...

我知道它实际上不是一个运算符，而是一个数据构造函数，它看起来像一个运算符，但我无法使其工作。

几周前我也开始学习 Haskell。

解决方法

您可以将 :> 定义为数据构造函数而不是 NonEmpty：

data Stack a = Empty | a :> Stack a
    deriving (Show,Read,Eq)

那么你唯一需要做的就是将它指定为一个右关联运算符，这样 x :> y :> z 被解析为 x :> (y :> z):

data Stack a = Empty | a :> Stack a
    deriving (Show,Eq)

infixr 7 :>

这里是 7 fixity 并确定如果有两个运算符，哪个优先。