The type<-check
method is the normal way to activate a type. The first argument is the
object to be checked. The second is the receiver that requests the
conversion. The latter is currently used only for the
type<->kind
member.
Types are normally referred to by their type<-name
rather than by their reference. For this reason type checking and
conversion is also accessible through pce<-convert.
The following two lines are identical:
?- get(@pce, convert, '34', int, Int).
?- get(type(int), check, '34', Int).
First, type->validate
is activated. If this fails, type<-translate
is activated and the result thereof is returned.
- See also
- - class function
- pce<-convert
- text_item-type
- type->validate
- type<-translate
- type-supers
