object
expected¶
Constructors for expected term references. A reference contains either an expected term or an unexpected term. References should be regarded as opaque terms and always used with the expected/1 object by passing the reference as a parameter.
static, context_switching_calls
Type-checking support: This object also defines a type
expectedfor use with thetypelibrary object.
Public predicates¶
of_unexpected/2¶
Constructs a reference from an unexpected term.
staticof_unexpected(Unexpected,Reference)of_unexpected(@term,--nonvar) - oneof_expected/2¶
Constructs a reference from an expected term.
staticof_expected(Expected,Reference)of_expected(@term,--nonvar) - onefrom_goal/4¶
Constructs a reference by calling Goal that binds and holds Expected on success. Otherwise returns a reference with the unexpected goal error or failure represented by the Failure argument.
staticfrom_goal(Goal,Expected,Failure,Reference)from_goal(0,*,*,*)from_goal(+callable,--term,@term,--nonvar) - onefrom_goal/3¶
Constructs a reference by calling Goal that binds and uses Expected on success. Otherwise returns a reference with the unexpected goal error or failure represented by the atom fail.
staticfrom_goal(Goal,Expected,Reference)from_goal(0,*,*)from_goal(+callable,--term,--nonvar) - oneProtected predicates¶
(see entity ancestors)
Private predicates¶
(see entity ancestors)