Cómo inyectar un valor Maybe en MaybeT

Question

Cómo inyectar un valor Maybe en MaybeT

Digamos que tengo algo foo :: Maybe Int y quiero enlazarlo, por ejemplo, con bar :: Int -> MaybeT (Writer String) Int, ¿cuál sería la forma idiomática de hacerlo?

Podría definir mi propia función liftMaybe, y luego usarla, como:

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

¿Pero hay una forma más idiomática (o al menos concisa) de hacer eso?

23

haskell monad-transformers

Author: user1078763, 2011-12-31

Source

1 answers

score 20 · Accepted Answer

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

Creo que es una pena que no tenga un nombre estándar. Una forma más general es

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

Que es preferible al uso de fail. Lo pondría en un módulo conveniente en algún lugar.

Hayoo muestra una amplia variedad de nombres para esta función; de ellos, maybeZero es mi favorito. liftMaybe, tan obvio como es, no aparece.