14.2.9  Exceptions

The standard library Exceptions api defines access to a core set of generally useful exceptions together with a few related convenience functions.

The Exceptions api is implemented by the exceptions package.

The Exceptions api source code is in src/lib/std/exceptions.api.

The above information is manually maintained and may contain errors.

api {    Void ;
    Exception ;
    exception FAIL String;
    exception BIND;
    exception MATCH;
    exception INDEX_OUT_OF_BOUNDS;
    exception SUBSCRIPT;
    exception SIZE;
    exception OVERFLOW;
    exception BAD_CHAR;
    exception DIVIDE_BY_ZERO;
    exception DOMAIN;
    exception SPAN;
    Order  = EQUAL | GREATER | LESS;
    := : (Ref(X ) , X) -> Void;
    o : ((X -> Z) , (Y -> X)) -> Y -> Z;
    before : (X , Void) -> X;
    ignore : X -> Void;
    exception_name : Exception -> String;
    exception_message : Exception -> String;
};