liftMaybe is:exact

liftMaybe :: String -> Maybe a -> Unpickler a

Lift a Maybe value into the Unpickler monad. The 1. arg is the attached error message

liftMaybe :: forall (m :: Type -> Type) b a . Monad m => b -> Maybe a -> ExceptT b m a

Lift a Maybe computation into the ExceptT monad.

liftMaybe :: Member Fail r => Maybe a -> Eff r a

Lift a maybe into the Fail effect, causing failure if it's Nothing.

liftMaybe :: SymVal a => Maybe (SBV a) -> SMaybe a

Construct an SMaybe a from a Maybe (SBV a).

>>> liftMaybe (Just (3 :: SInteger))
Just 3 :: SMaybe Integer

>>> liftMaybe (Nothing :: Maybe SInteger)
Nothing :: SMaybe Integer

liftMaybe :: Alternative f => Maybe a -> f a

Lift a maybe to an Alternative.

liftMaybe :: MonadPlus m => Maybe a -> m a

Lift a Maybe value into the MaybeT monad transformer.

liftMaybe :: (MonadError error m, CoHas option error) => option -> Maybe a -> m a

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)

liftMaybe :: Functor b => Maybe a -> Wizard b a

Translate a maybe value into wizard success/failure.