为什么我不能根据 Haskell 中的比率进行模式匹配？

Question

我正在尝试根据比率进行模式匹配：

isValid :: Ratio Int -> Bool
isValid (num % den) = ...

然而，这会产生：

Parse error in pattern: num % den

有趣的是，Data.Ratio 包以这种方式定义了 numerator 和 denominator 函数，但使用了 :% 运算符：

numerator   (x :% _)    =  x
denominator (_ :% y)    =  y

但是，我无法访问后一个运算符。

谁能解释为什么我的模式匹配不起作用以及我该如何解决它？

Answer 1

虽然在这种情况下您可以只从 GHC.Ratio 导入运算符，但从 GHC 7.8 开始有一个通用的解决方案：pattern synonyms.

pattern num :% denom <- ((\x -> (numerator x, denominator x)) -> (num, denom))