Prologue.Data.Maybe

Synopsis

• justIf :: Bool -> a -> Maybe a
• justWhen :: Monad m => Bool -> a -> m (Maybe a)
• fromMaybe :: a -> Maybe a -> a
• fromJust :: a -> Maybe a -> a
• fromJustM :: Applicative m => m a -> Maybe a -> m a
• unsafeFromJust :: Maybe a -> a
• unsafeFromJustM :: (Monad m, MonadFail m) => Maybe a -> m a
• withJust :: (Applicative m, Mempty out) => Maybe a -> (a -> m out) -> m out
• withJust_ :: Applicative m => Maybe a -> (a -> m out) -> m ()
• withJustM :: (Monad m, Mempty out) => m (Maybe a) -> (a -> m out) -> m out
• withJustM_ :: Monad m => m (Maybe a) -> (a -> m out) -> m ()
• whenJust :: (Applicative m, Mempty out) => Maybe a -> m out -> m out
• whenJust_ :: Applicative m => Maybe a -> m out -> m ()
• whenJustM :: (Monad m, Mempty out) => m (Maybe a) -> m out -> m out
• whenJustM_ :: Monad m => m (Maybe a) -> m out -> m ()
• whenNothing :: (Applicative m, Mempty out) => Maybe a -> m out -> m out
• whenNothing_ :: Applicative m => Maybe a -> m out -> m ()
• whenNothingM :: (Monad m, Mempty out) => m (Maybe a) -> m out -> m out
• whenNothingM_ :: Monad m => m (Maybe a) -> m out -> m ()

Documentation