IdrisDoc: Control.ST.Exception

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)