如何确定一个枚举值是否是另一个枚举值的后继？

我正在尝试编写一个函数来告诉我是否Enum是另一个人的继承者。这是我的第一次尝试：

isSuccessorOf x y = x == succ y

看起来很合理。我们来尝试一下：

λ> isSuccessorOf 3 2
True
λ> isSuccessorOf 1 5
False
λ> isSuccessorOf 3 (maxBound :: Int)
*** Exception: Prelude.Enum.succ{Int}: tried to take `succ' of maxBound

哎呀。那应该是False。让我们确保我们不会尝试做succ maxBound:

isSuccessorOf x y = y /= maxBound && x == succ y

让我们再试一次：

λ> isSuccessorOf 3 (maxBound :: Int)
False
λ> isSuccessorOf 3 (2 :: Integer)
<interactive>:2:1: error:
    • No instance for (Bounded Integer)
        arising from a use of ‘isSuccessorOf’
    • In the expression: isSuccessorOf 3 (2 :: Integer)
      In an equation for ‘it’: it = isSuccessorOf 3 (2 :: Integer)

嗯，现在它只适用于有界类型。我想避免需要单独的无界和有界函数Enums，特别是如果编译时没有任何东西可以阻止您在有界类型上使用无界函数。让我们使用一个Ord约束代替：

isSuccessorOf x y = x > y && x == succ y

让我们尝试一下：

λ> isSuccessorOf 3 (maxBound :: Int)
False
λ> isSuccessorOf 3 (2 :: Integer)
True

但现在我做出了一个毫无根据的假设。让我们再尝试一件事（注意：这取决于Down有一个Enum实例，仅在 GHC 8.10 中具有）：

λ> import Data.Ord (Down(..))
λ> let delisleFreezing = Down 150
λ> isSuccessorOf (succ delisleFreezing) delisleFreezing
False

嗯，这不太理想。

那么有没有什么方法可以完成这个看似简单的任务，而又不存在这三个缺陷之一呢？

• 无法编译不存在的类型Bounded
• 类型的底部是Bounded
• 对于其中的类型给出错误的答案succ x > x不成立

也许更安全的检查方法是利用enumFromTo https://hackage.haskell.org/package/base-4.14.0.0/docs/Prelude.html#v:enumFromTo，并检查列表的第二项是否是我们正在寻找的后继项。我们可以像you say https://stackoverflow.com/questions/61688753/how-can-i-determine-if-one-enum-value-is-the-successor-of-another/61688937#comment109118183_61688937，简单地对包含两个元素的列表进行模式匹配，我们不需要检查第二个元素是否确实是y:

isSuccessorOf :: Enum a => a -> a -> Bool
isSuccessorOf y x
    | [_,_] <- [x .. y] = True
    | otherwise = False

或者我们可以，比如@chi 说 https://stackoverflow.com/questions/61688753/how-can-i-determine-if-one-enum-value-is-the-successor-of-another#comment109118049_61688753用它来查看是否有后继者：

succMaybe :: Enum a => a -> Maybe a
succMaybe x = case [x ..] of
    (_:z:_) -> Just z
    _ -> Nothing