haskell，类似fmap的情况

Question

我有一个foo :: a -> a -> Either String TypeConstructor类型的函数foo :: a -> a -> Either String TypeConstructor
foo可以返回throwError String和TypeConstructor 。

我想做一些类似fmap事情。 我的意思是我想case (foo xyz) of ...进行case (foo xyz) of ...其中...表示不同的值（取决于foo中使用的构造函数值）。

有没有办法做到这一点？

Answer 1

一种基本方法是对所有内容进行模式匹配

case foo x y of
  Left string -> ...
  Right (Cons1 z w) -> ...
  Right (Cons2 a b c) -> ...
  Right Cons3 -> ...

其中Cons1, ...是Cons1, ...的值构造TypeConstructor 。

Answer 2

你不能直接写

case (foo x y) of ...

然后在TypeConstructor的类型构造函数上进行模式匹配，因为foo xy没有正确的类型（它是Either String TypeConstructor ）。

但是，您可以定义一个在TypeConstructor的类型构造函数上与模式匹配的函数，然后将其fmap到foo xy的结果上，如下所示。

import Control.Monad.Except (throwError)

data Type = Int Int
          | Str String
          deriving (Show)

foo :: Int -> String -> Either String Type
foo n s =
    if n == 0
        then throwError "Zero"
        else return (Str s)

bar x y = fmap f (foo x y)
    where
        f a = case a of
            Int n -> Int (n +  x)
            Str s -> Str (s ++ y)