Come iniettare un valore Forse in MaybeT

Question

Dire che ho un po 'di foo :: Maybe Int e voglio legarlo per esempio con bar :: Int -> MaybeT (Writer String) Int, quale sarebbe il modo idiomatico per farlo?

potrei definire la mia propria funzione liftMaybe, e quindi utilizzare tale, come:

let liftMaybe = maybe (fail "Nothing") return in liftMaybe foo >>= bar 

Ma c'è un (o almeno conciso) modo più idiomatico per farlo?

Answer 1

MaybeT . return :: (Monad m) => Maybe a -> MaybeT m a 

Penso che sia un peccato che non abbia un nome standard. Una forma più generale è

liftMaybe :: (MonadPlus m) => Maybe a -> m a 
liftMaybe = maybe mzero return 

che è preferibile l'uso di fail. Lo metterei semplicemente in un modulo conveniente da qualche parte.

Hayoo mostra un wide variety of names per questa funzione; di quelli, maybeZero è il mio preferito. liftMaybe, per quanto ovvio, non appare.