HsMisc.Control.Monad.Error

Convenience function for turning (Maybe a) values into (MonadError e a) actions plus a function for expressing Data.Map lookups as MonadError actions

Documentation

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

Turn an error value and a (Maybe a) into a (MonadError e a) action

lookupE :: (Ord k, Show k, MonadError String m) => k -> Map k a -> m a

Look up a key in a Map as an action in (MonadError String), with a default message that the key was not found as the error.