object
either¶
Types and predicates for extended type-checking of expected term references and for handling lists of expected term references.
Author: Paulo Moura
Version: 0.5
Date: 2019/1/24
Compilation flags:
static, context_switching_callsProvides:
Uses:
Remarks:
Type-checking support: Defines a
either(ExpectedType, UnexpectedType)type for checking expected references where the expected and unexpected terms must be of the given types.QuickCheck support: Defines clauses for the
type::arbitrary/1-2predicates to allow generating random values for theeither(ExpectedType, UnexpectedType)type.
Public predicates¶
expecteds/2¶
Returns the terms stored in the references that hold an expected term.
Compilation flags:
staticTemplate:
expecteds(References,Expecteds)Mode and number of proofs:
expecteds(+list(expected),-list) - oneunexpecteds/2¶
Returns the terms stored in the references that hold an expected term.
Compilation flags:
staticTemplate:
unexpecteds(References,Unexpecteds)Mode and number of proofs:
unexpecteds(+list(expected),-list) - onepartition/3¶
Retrieves and partitions the terms hold by the references.
Compilation flags:
staticTemplate:
partition(References,Expecteds,Unexpecteds)Mode and number of proofs:
partition(+list(expected),-list,-list) - oneProtected predicates¶
(see entity ancestors)
Private predicates¶
(see entity ancestors)