「FMAPのどちらかが」

Question

を達しています。

Rightという結果が得られるまで停止しない関数の名前または型シグネチャは何ですか。

私はバイファイナーを疑っていますが、私は本当にそれが綴られている必要があります - まだこれらのことの論理の繊細さを得ていません。

おそらくfoldのいくつかの並べ替えが...また、GHCiので

Answer 1

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

に合う：

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