模式匹配组合可能和Either

Question

如何匹配模式

Maybe (Either (Int, String) String)

我需要用这种输入编写函数以及如何解析这样的输入？

Answer 1

Maybe a类型的格式为Just a和Nothing。 Either a b类型具有模式Left a和Right b。因此，Maybe (Either (Int, String) String)类型的值可以匹配以下模式：

• Nothing
• Just (Left (x,y))其中x是Int而y是String
• Just (Right z)其中z是String。

Answer 2

f :: Maybe (Either (Int, String) String) -> <SOMETHING>
f x = case x of
    Just (Left (i, s)) -> <...>
    Just (Right s) -> <...>
    Nothing -> <...>

Answer 3

matchme Nothing = "Nothing"
matchme (Just (Left (x,y)) = "Left " ++ show x ++ " " + y
matchme (Just (Right z)) = "Right " ++ z

Answer 4

还可以使用maybe和either函数，如下所示：

matchit = maybe nothing (left `either` right)
  where
      nothing = {- value for the nothing case -}
      left (x,y) = {- code for the (Just (Left (x,y)) case -}
      right z = {- code for the (Just (Right z)) case -}