liftMaybe -package:hxt

liftMaybe :: forall (m :: Type -> Type) b a . Monad m => b -> Maybe a -> ExceptT b m a
haskoin-core Haskoin.Util.Helpers
Lift a Maybe computation into the ExceptT monad.
liftMaybe :: SymVal a => Maybe (SBV a) -> SMaybe a
sbv Data.SBV.Maybe
Construct an SMaybe a from a Maybe (SBV a). 
>>> liftMaybe (Just (3 :: SInteger))
Just 3 :: Maybe Integer

>>> liftMaybe (Nothing :: Maybe SInteger)
Nothing :: Maybe Integer
liftMaybe :: Alternative f => Maybe a -> f a
Agda Agda.Utils.Maybe
Lift a maybe to an Alternative.
liftMaybe :: MonadPlus m => Maybe a -> m a
monad-extras Control.Monad.Extra
Lift a Maybe value into the MaybeT monad transformer.
liftMaybe :: (MonadError error m, CoHas option error) => option -> Maybe a -> m a
can-i-haz Control.Monad.Except.CoHas
Lifts a Maybe into any MonadError error. This function injects the passed option if the Maybe is Nothing.
liftMaybe :: (C msg, C msg) => (Boundary PitchChannel Velocity -> Maybe (Boundary PitchChannel Velocity)) -> (msg -> Maybe msg)
reactive-midyim Reactive.Banana.MIDI.Note
liftMaybe :: Functor b => Maybe a -> Wizard b a
wizards System.Console.Wizard
Translate a maybe value into wizard success/failure.
liftMaybeT :: Monad m => m a -> MaybeT m a
ghc GHC.Data.Maybe, ghc-lib-parser GHC.Data.Maybe
liftMaybeK :: Applicative m => MaybeK a -> MaybeKT m a
unification-fd Control.Monad.MaybeK
Lift an MaybeK into an MaybeKT.