IdrisDoc
: Effect.Exception
Index
Effect.Exception
raise
:
a
->
Eff
b
[
EXCEPTION
a
]
data
Exception
:
Type
->
Effect
Raise
:
a
->
sig
(
Exception
a
)
b
EXCEPTION
:
Type
->
EFFECT