try_else_

Definitions:

[]→any, []→any
Source: /avail/Avail/Foundation/Exceptions
Categories: Exception Handling, Control Structures
Attempt protected. If it does not raise an exception, then answer its result. Otherwise, answer the result of applying else.
Position Name Type Description
Parameters
1 protected []→any The function whose answer is preferred.
2 else []→any The function whose answer will be returned if protected raises an exception.
Returns any If possible, then the answer obtained by applying protected. Otherwise, the answer obtained by applying else.

Semantic restrictions:

[]→any's type, []→any's type
Source: /avail/Avail/Foundation/Exceptions
Type Description
Parameter Types
[]→any's type
[]→any's type