liftMaybe -package:sbv

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 :: 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.

liftMaybe in a lifted Monad

Lift an MaybeK into an MaybeKT.

Lift a Maybe value to a pickler. Nothing is mapped to the zero pickler, Just x is pickled with xpLift x.