“要么FMAP”，这一直持续到一个正确的结果已经达到

Question

如果Either fmap是

(a -> b) -> p a a -> p a b

一旦返回Left停靠映射。

什么是名字或类型签名的函数，它不会停止，直到它得到Right结果。

我怀疑是双模制器，但我真的需要它明确表达出来 - 并没有完全理解这些事物的逻辑。

也许某种fold也符合...

Answer 1

Data.Bifunctor.first :: (a -> b) -> Either a c -> Either b c 

在ghci的：

Data.Bifunctor> first (+1) (Left 0) 
Left 1 
Data.Bifunctor> first (+1) (Right 0) 
Right 0