Documentation

whenJust :: Applicative m => Maybe a -> (a -> m ()) -> m () Source #

whenM :: Monad m => m Bool -> m () -> m () Source #

unlessM :: Monad m => m Bool -> m () -> m () Source #

lastMaybe :: Maybe a -> Maybe a -> Maybe a Source #

leftToMaybe :: Either e a -> Maybe e Source #

rightToMaybe :: Either e a -> Maybe a Source #

justToEither :: Maybe e -> Either e () Source #

mapLeft :: (a -> c) -> Either a b -> Either c b Source #

(<<$>>) :: (Functor f, Functor g) => (a -> b) -> f (g a) -> f (g b) infixl 4 Source #

(<<*>>) :: (Applicative f, Applicative g) => f (g (a -> b)) -> f (g a) -> f (g b) infixl 4 Source #

(<.>) :: Functor f => (a -> b) -> (c -> f a) -> c -> f b infixl 4 Source #