Agda-2.2.6: A dependently typed functional programming language and proof assistantSource codeContentsIndex
Agda.TypeChecking.Monad.Exception
Description
Basically a copy of the ErrorT monad transformer. It's handy to slap onto TCM and still be a MonadTCM (which isn't possible with ErrorT).
Documentation
newtype ExceptionT err m a Source
Constructors
ExceptionT
runExceptionT :: m (Either err a)
class Error err => MonadException err m | m -> err whereSource
Methods
throwException :: err -> m aSource
catchException :: m a -> (err -> m a) -> m aSource
Produced by Haddock version 2.6.0