Uso de la Mónada Tal vez en "marcha atrás"

Question

Digamos que tengo una serie de funciones:

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

Y quiero componerlos de la siguiente manera: Si la rentabilidad f Nada, calcular g. Si g no devuelve nada, calcule h. Si alguno de ellos calcula Solo a, detenga la cadena. Y toda la composición (h.g.f.) debería regresar, por supuesto. Tal vez a.

Esto es el reverso del uso típico de la mónada Maybe, donde normalmente se detiene la computación si no se devuelve nada.

¿Cuál es el modismo de Haskell para encadenar cálculos como este?

Answer 1

mplus es exactamente lo que está buscando, que forma parte de la clase de tipos MonadPlus. Aquí es su definición:

instance MonadPlus Maybe where 
    mzero = Nothing 

    Nothing `mplus` ys = ys 
    xs  `mplus` _ys = xs 

utilizarlo en su caso:

combined x = (f x) `mplus` (g x) `mplus` (h x) 

Answer 2

supongo que quiere decir:

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

Usando MonadPlus

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

Es posible que desee utilizar el Statet Mónada:

f, g, h son ReaderT un Maybe b (hasta el ReaderT)

o mediante MSUM:

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

Answer 3

mplus es probablemente mejor, pero esto debería funcionar así:

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

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