Safe Haskell | None |
---|---|
Language | Haskell2010 |
- 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
fromJustM :: Applicative m => m a -> Maybe a -> m a Source #
unsafeFromJust :: Maybe a -> a Source #
Warning: Do not use in production code
withJust_ :: Applicative m => Maybe a -> (a -> m out) -> m () Source #
withJustM_ :: Monad m => m (Maybe a) -> (a -> m out) -> m () Source #
whenJust_ :: Applicative m => Maybe a -> m out -> m () Source #
whenJustM_ :: Monad m => m (Maybe a) -> m out -> m () Source #
whenNothing :: (Applicative m, Mempty out) => Maybe a -> m out -> m out Source #
whenNothing_ :: Applicative m => Maybe a -> m out -> m () Source #
whenNothingM_ :: Monad m => m (Maybe a) -> m out -> m () Source #