i/fail

Errors (§9.3).

raiseCopy Anchor Link

Ends the computation with error.

raise : <E>(E) <- (Fail(E)) -> Never

catchCopy Anchor Link

Changes every error into Error(…).

catch : <A, E, N>(() <- (Fail(E), ..N) -> A) <- N -> Result(A, E)

from_resultCopy Anchor Link

Gives the error x for Error(x).

from_result = <A, E>(result : Result(A, E)) -> A {

map_errorCopy Anchor Link

Changes the errors.

map_error = <A, E, N, E2>(