Haskell 使用保护方程创建类型

Question

我想创建一个名为 TwoValued 的类型它包含两个值:a和 b ，我想确保 a <= b

data TwoValued a b | a <= b = ValuePair a b
                   | otherwise = ValuePair b a

但这不起作用，我认为这里不允许使用 protected 方程式，那么还有其他方法可以实现我想要的吗？谢谢。

Answer 1

您在这里需要一个 ADT(抽象数据类型)，因此，首先，正确创建您的数据类型:

data TwoValued a = ValuePair a a deriving Show

然后制作构造函数

makePair :: Ord a => a -> a -> TwoValued a a
makePair x y = if x < y then (ValuePair x y) else (ValuePair y x)

最后，仅使用用户需要查看的功能导出模块(在本例中为 makePair)