IdrisDoc: Effect.Exception

Effect.Exception

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