在“反向”中使用Maybe Monad
假设我有很多功能：
f :: a -> Maybe a
g :: a -> Maybe a
h :: a -> Maybe a
我想以下面的方式来编写它们：如果f返回Nothing，则计算g。 如果g返回Nothing，则计算h。 如果他们中的任何一个计算Just a，则停止链。 而整个作品（例如f）当然应该返回Maybe a。
这与Maybe monad的典型用法相反，如果返回Nothing则通常停止计算。
链式计算这样的Haskell成语是什么？
mplus正是你正在寻找的，是MonadPlus类型类的一部分。 这是它的定义：
instance MonadPlus Maybe where
mzero = Nothing
Nothing `mplus` ys = ys
xs `mplus` _ys = xs
要在你的情况下使用它：
combined x = (f x) `mplus` (g x) `mplus` (h x)
mplus可能更好，但这也应该可以工作：
import Data.List
import Data.Maybe
import Control.Monad
join $ find isJust [f x, g y, h z]
我想你的意思是：
f,g,h:: a -> Maybe b
使用MonadPlus
f x `mplus` g x `mplus` h x
您可能想要使用StateT Monad：
function = runReaderT $ ReaderT f `mplus` ReaderT g `mplus` ReaderT h
f，g，h是ReaderT a可能b（由ReaderT提供）
或使用msum：
function = runReaderT $ msum $ map ReaderT [f,g,h]