UHC.Util.Error

Wrapper module around Control.Monad.Error, in order to be backwards compatible as far as UHC is concerned.

Documentation

module Control.Monad.Except

class Error a where

Copiedolddeprecated functionality from Control.Monad.Error.Class

Minimal complete definition

Nothing

Methods

noMsg :: a

Creates an exception without a message. The default implementation is strMsg "".

strMsg :: String -> a

Creates an exception with a message. The default implementation of strMsg s is noMsg.

Instances

Error (CompileRunState err)

Error (CompileRunState err)

Error (CompileRunState err)

type ErrorT = ExceptT

runErrorT :: ExceptT e m a -> m (Either e a)

withErrorT :: Functor m => (e -> e') -> ExceptT e m a -> ExceptT e' m a

mapErrorT :: (m (Either e a) -> n (Either e' b)) -> ExceptT e m a -> ExceptT e' n b

runError :: Except e a -> Either e a

withError :: (e -> e') -> Except e a -> Except e' a

mapError :: (Either e a -> Either e' b) -> Except e a -> Except e' b