IdrisDoc
: Control.ST.Exception
Index
Control.ST.Exception
interface
Exception
throw
:
Exception
m
errorType
=>
errorType
->
STrans
m
a
ctxt
(
const
ctxt
)
catch
:
Exception
m
errorType
=>
STrans
m
a
in_res
(
const
out_res
) -> (
errorType
->
STrans
m
a
out_res
(
const
out_res
)) ->
STrans
m
a
in_res
(
const
out_res
)