haskell - 区分Haskell中的错误

Question

我还是Haskell的新手。区分错误的最佳方法是什么？
目前，我正在使用maybe monad，但它只能“代表一种错误状态”。

以下代码片段将我的问题置于上下文中。

pulOh :: Seq          -- input X O sequence
      -> Int          -- split point real index
      -> Maybe Seq
pulOh xs n          =
  case (\(f,l)->(tlTrn f, hdTrn l)) (splSq xs n) of         -- split and process at index
    (Nothing, _)    -> Nothing                              -- first failed
    (_, Nothing)    -> Nothing                              -- last failed
    (Just f,Just l) -> Just (f ++ l)                        -- both parts passed

我希望结果能够区分 fst或 snd调用是否失败。两者都无法通过 fst失败的情况下进行短路。

Answer 1

使用 Either 。它基本上与带有参数化Maybe构造函数的Nothing相同，换句话说，Maybe a与Either () a同构。通过将()“单位错误”替换为自定义的错误标签类型，可以使不同的失败情况有所不同。

pulOh :: Seq -> Int -> Either String Seq
pulOh xs n = case tlTrn *** hdTrn $ splSq xs n of
    (Nothing, _)    -> Left "first failed"
    (_, Nothing)    -> Left "last failed"
    (Just f,Just l) -> Right $ f ++ l

(我自由地用 *** “并行管道”替换了该lambda)