object
either¶
Types and predicates for extended type-checking and handling of expected terms.
Author: Paulo Moura
Version: 0:6:0
Date: 2019-11-26
Compilation flags:
static, context_switching_callsProvides:
Uses:
Remarks:
Type-checking support: Defines a
either(ValueType, ErrorType)type for checking expected terms where the value and error terms must be of the given types.QuickCheck support: Defines clauses for the
type::arbitrary/1-2predicates to allow generating random values for theeither(ValueType, ErrorType)type.
Inherited public predicates:
(none)
Public predicates¶
expecteds/2¶
Returns the values stored in the expected terms that hold a value.
Compilation flags:
staticTemplate:
expecteds(Expecteds,Values)Mode and number of proofs:
expecteds(+list(expected),-list) - oneunexpecteds/2¶
Returns the errors stored in the expected terms that hold an error.
Compilation flags:
staticTemplate:
unexpecteds(Expecteds,Errors)Mode and number of proofs:
unexpecteds(+list(expected),-list) - onepartition/3¶
Retrieves and partitions the values and errors hold by the expected terms.
Compilation flags:
staticTemplate:
partition(Expecteds,Values,Errors)Mode and number of proofs:
partition(+list(expected),-list,-list) - oneProtected predicates¶
(no local declarations; see entity ancestors if any)
Private predicates¶
(no local declarations; see entity ancestors if any)