operational-extra-0.3: 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