IdrisDoc: Effect.Exception

Effect.Exception

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