-- License: BSD3 (see LICENSE)
-- Author: Dino Morelli <dino@ui3.info>

{-# LANGUAGE FlexibleContexts #-}

{- |
   Convenience function for turning (Maybe a) values into 
   (MonadError e a) actions plus a function for expressing Data.Map 
   lookups as MonadError actions
-}
module HsMisc.Control.Monad.Error
   ( maybeThrow
   , lookupE
   )
   where

import Control.Monad.Error
import Data.Map hiding ( map )
import Prelude hiding ( lookup )


{- |
   Turn an error value and a (Maybe a) into a (MonadError e a) action
-}
maybeThrow :: (MonadError e m) => e -> Maybe a -> m a
maybeThrow err mval = maybe (throwError err) return mval


{- |
   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.
-}
lookupE :: (Ord k, Show k, MonadError String m) =>
           k -> Map k a -> m a
lookupE k m =
   maybeThrow ("ERROR: key " ++ (show k) ++ " not found") $ lookup k m