operational-extra-0.4: Interpretation functions and simple instruction sets for operational

Safe HaskellSafe
LanguageHaskell2010

Control.Monad.Operational.Exception

Documentation

data ExceptionI a where Source #

Constructors

ExceptionI :: SomeException -> ExceptionI a 

exception :: SomeException -> ProgramT ExceptionI m a Source #

exception' :: Exception e => e -> ProgramT ExceptionI m a Source #

toExceptionI :: Exception e => e -> ExceptionI a Source #

strExceptionI :: String -> ExceptionI a Source #

interpretExceptionIO :: ExceptionI a -> IO a Source #

data DescribedException Source #

Constructors

DescribedException String 

Instances