RIO.Prelude.Extra

Documentation

mapLeft :: (a1 -> a2) -> Either a1 b -> Either a2 b

fromFirst :: a -> First a -> a

mapMaybeA :: Applicative f => (a -> f (Maybe b)) -> [a] -> f [b]

Applicative mapMaybe.

mapMaybeM :: Monad m => (a -> m (Maybe b)) -> [a] -> m [b]

Monadic mapMaybe.

forMaybeA :: Applicative f => [a] -> (a -> f (Maybe b)) -> f [b]

forMaybeA == flip mapMaybeA

forMaybeM :: Monad m => [a] -> (a -> m (Maybe b)) -> m [b]

forMaybeM == flip mapMaybeM

nubOrd :: Ord a => [a] -> [a]