Agda.Unused.Utils

Utility functions for Maybe, Either, and Map types.

Maybe

liftMaybe :: MonadError e m => e -> Maybe a -> m a

Lift a Maybe type to an error monad by throwing a fixed error.

Either

mapLeft :: (e -> f) -> Either e a -> Either f a

Map the left component of an Either type.

List

stripSuffix :: Eq a => [a] -> [a] -> Maybe [a]

Drop the given suffix from a list.