模式匹配不正确

Question

我有点新手Haskell，

data Tree a = Leaf | Branch (Tree a) a (Tree a)
  deriving (Show, Eq)

insert :: (Ord a, Eq a) => a -> Tree a -> Tree a
insert x Leaf = Branch Leaf x Leaf
insert x (Branch l v r)
  | x <= v = Branch (insert x l) v r
  | x > v = Branch l v (insert x r)

代码会发出以下警告（但编译）：

app\Main.hs:10:1: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In an equation for `insert':
        Patterns not matched:
            _ (Branch Leaf _ Leaf)
            _ (Branch Leaf _ (Branch _ _ _))
            _ (Branch (Branch _ _ _) _ Leaf)
            _ (Branch (Branch _ _ _) _ (Branch _ _ _))
   |
10 | insert x Leaf = Branch Leaf x Leaf
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

从技术上讲 x＆lt; = v 和 x＆gt; V 应该涵盖所有可能的替代方案，但是我有此警告。如果我在第二种情况下使用，我实际上是修复的，但是它不应该这样起作用吗？

Answer 1

ord 实例应该定义总订单，但是Haskell无法执行这一要求，也无法检测到 ord od> ord 实例确实是总订单。

Prelude> data Foo = A | B deriving Eq
Prelude> instance Ord Foo where _ <= _ = False; _ > _ = False
Prelude> A <= B
False
Prelude> A > B
False

使用否则不起作用，因为它是 true （按字面定义，它是 x＆lt; = v 是 false ，但因为它是 true ，无论 x＆lt; = v 是TRUE还是FALSE， 。知道＆lt; = 和＆gt; 每个 can 返回 true 不保证其中一个 。