IdrisDoc
: Control.Catchable
Index
Control.Catchable
interface
Catchable
throw
:
Catchable
m
t
=>
t
->
m
a
catch
:
Catchable
m
t
=>
m
a
-> (
t
->
m
a
) ->
m
a