module Rattletrap.Utility.Monad where whenMaybe :: (Applicative m) => Bool -> m a -> m (Maybe a) whenMaybe :: forall (m :: * -> *) a. Applicative m => Bool -> m a -> m (Maybe a) whenMaybe Bool p m a f = if Bool p then forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b fmap forall a. a -> Maybe a Just m a f else forall (f :: * -> *) a. Applicative f => a -> f a pure forall a. Maybe a Nothing