A.16 library(error): Error generating support
All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
The SWI-Prolog library
library(error): Error generating support
type_error/2
domain_error/2
existence_error/2
existence_error/3
permission_error/3
instantiation_error/1
uninstantiation_error/1
representation_error/1
syntax_error/1
resource_error/1
must_be/2
is_of_type/2
has_type/2
current_encoding/1
current_type/3
Packages
Availability:
:- use_module(
library(error)
).
(can be autoloaded)
domain_error
(
+ValidDomain, +Culprit
)
The argument is of the proper type, but has a value that is outside the supported values. See
type_error/2
for a more elaborate discussion of the distinction between type- and domain-errors.