「反向」

Question

比方說，我有很多的功能：

f :: a -> Maybe a 
g :: a -> Maybe a 
h :: a -> Maybe a 

而且我想他們撰寫以下列方式：若f返回任何計算克如果g返回Nothing，則計算h。如果他們中的任何一個計算Just a，則停止鏈。而整個作品（例如f）當然應該返回Maybe a。

這與Maybe monad的典型用法相反，如果返回Nothing則通常停止計算。

鏈式計算這樣的Haskell成語是什麼？

Answer 1

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) 

Answer 2

我猜你的意思是：

f,g,h:: a -> Maybe b 

使用MonadPlus

f x `mplus` g x `mplus` h x 

您可能需要使用StateT單子：

F，G，H是ReaderT一個也許b（達到ReaderT）

或使用MSUM：

function = runReaderT $ msum $ map ReaderT [f,g,h] 

Answer 3

mplus可能是更好的，但這應該工作以及：

import Data.List 
import Data.Maybe 
import Control.Monad 

join $ find isJust [f x, g y, h z]