object
either
¶
Types and predicates for extended type-checking of expected term references and for handling list of expected term references.
Author: Paulo Moura
Version: 0.2
Date: 2018/6/4
Compilation flags:
static, context_switching_calls
Public interface¶
expecteds/2
¶
Returns the values stored in the expected term references that hold an expected term.
Compilation flags:
static
Template:
expecteds(References,Expecteds)
Mode and number of proofs:
expecteds(+list(expected),-list)
- one
unexpecteds/2
¶
Returns the values stored in the expected term references that hold an expected term.
Compilation flags:
static
Template:
unexpecteds(References,Unexpecteds)
Mode and number of proofs:
unexpecteds(+list(expected),-list)
- one
partition/3
¶
Retrieves and partitions the values stored in the expected term references.
Compilation flags:
static
Template:
partition(References,Expecteds,Unexpecteds)
Mode and number of proofs:
partition(+list(expected),-list,-list)
- one
Protected interface¶
(see related entities)
Private predicates¶
(see related entities)
Operators¶
(none)
Remarks¶
- Type either(ExpectedType, UnexpectedType): Allows type-checking expected references where the expected and unexpected terms must be of the given types.
- QuickCheck support: Defines clauses for the type::arbitrary/1-2 predicates to allow generating random values for the either(ExpectedType, UnexpectedType) type.
See also