Monad.Maybe

Utility functions to work with Maybe data type as monad.

Documentation

whenJust :: Applicative f => Maybe a -> (a -> f ()) -> f ()

Specialized version of for_ for Maybe. It's used for code readability. Also helps to avoid space leaks: Foldable.mapM_ space leak.

whenJustM :: Monad m => m (Maybe a) -> (a -> m ()) -> m ()

Monadic version of whenJust.

whenNothing :: Applicative f => Maybe a -> f a -> f a

Performs default Applicative action if Nothing is given. Otherwise returns content of Just pured to Applicative.

>>> whenNothing Nothing [True, False]
[True,False]
>>> whenNothing (Just True) [True, False]
[True]

whenNothing_ :: Applicative f => Maybe a -> f () -> f ()

Performs default Applicative action if Nothing is given. Do nothing for Just. Convenient for discarding Just content.

>>> whenNothing_ Nothing $ putText "Nothing!"
Nothing!
>>> whenNothing_ (Just True) $ putText "Nothing!"

whenNothingM :: Monad m => m (Maybe a) -> m a -> m a

Monadic version of whenNothing.

whenNothingM_ :: Monad m => m (Maybe a) -> m () -> m ()

Monadic version of whenNothingM_.