「多分mzero return」の名前はありますか？

Question

maybe mzero returnの確立された名前はありますか？

それはタイプがあります。

MonadPlus m => Maybe a -> m a 

をして失敗し、return aからJust aにNothingを変換します。

Answer 1

• optparse-applicativeはhoistMaybeです。

• monad-extrasはliftMaybeである。

• errorsはjustZである。

• IfElseはmaybeMP

上記のすべては同じですしています。

明白な変種は

maybeAlt :: Alternative f => Maybe a -> f a 
maybeAlt = maybe empty pure 

だろうそして、これはasumに似た以下の特殊なケースです。

import Data.Monoid 
import Control.Applicative 

foldAlt :: (Foldable f, Alternative m) => f a -> m a 
foldAlt = getAlt . foldMap (Alt . pure) 

どこにも見つからない理由は、pure a <|> x === pure aです。だからそれは良いことだし、他にはあまりありません。それは

foldAltMap f = getAlt . foldMap (Alt . f) 

または

foldrAltMap f = foldr (\x r -> f x <|> r) empty 

に改善することができたが、それはちょうどそれを書くために、おそらく明確です。