| current_type/3 | True
when Type is a currently defined type and Var satisfies Type of the body
term Body succeeds. |
| domain_error/2 | The
argument is of the proper type, but has a value that is outside the
supported values. |
| existence_error/2 | Culprit
is of the correct type and correct domain, but there is no existing
(external) resource of type ObjectType that is represented by it. |
| existence_error/3 | Culprit
is of the correct type and correct domain, but there is no existing
(external) resource of type ObjectType that is represented by it in the
provided set. |
| has_type/2 | True
if Term satisfies Type. |
| instantiation_error/1 | An
argument is under-instantiated. |
| is_of_type/2 | True
if Term satisfies Type. |
| must_be/2 | True
if Term satisfies the type constraints for Type. |
| permission_error/3 | It
is not allowed to perform Operation on (whatever is represented by)
Culprit that is of the given PermissionType (in fact, the ISO Standard
is confusing and vague about these terms' meaning). |
| representation_error/1 | A
representation error indicates a limitation of the implementation. |
| resource_error/1 | A
goal cannot be completed due to lack of resources. |
| syntax_error/1 | A
text has invalid syntax. |
| type_error/2 | Tell
the user that Culprit is not of the expected ValidType. |
| uninstantiation_error/1 | An
argument is over-instantiated. |