AtomicViolationUnion
PackageReified.Constraint
Why one indivisible constraint failed.
Specification
Kind
Union
Members
6
Examples
0
IsUnsupportedOperandSignature
this.IsUnsupportedOperand
IsExpectedSignature
this.IsExpected
IsDescribedSignature
this.IsDescribed
ExpectedSignature
Expected(expectation, actual)
DescribedSignature
Described(description, key)
Summary
| Name | Signature | Synopsis |
|---|---|---|
| IsUnsupportedOperand | this.IsUnsupportedOperand | No description available. |
| IsExpected | this.IsExpected | No description available. |
| IsDescribed | this.IsDescribed | No description available. |
| Expected | Expected(expectation, actual) | An interpreted expectation was not met. |
| Described | Described(description, key) | An opaque constraint failed, reported with its author-supplied prose. |
| UnsupportedOperand | UnsupportedOperand operation | A built-in rule failed whose operand has no portable representation. |
An interpreted expectation was not met.
Parameters
| Name | Type | Description |
|---|---|---|
| expectation | ConstraintAtom | |
| actual | ConstraintValue option |
Returns
unit
An opaque constraint failed, reported with its author-supplied prose.
Parameters
| Name | Type | Description |
|---|---|---|
| description | string | |
| key | MessageDescriptor option |
Returns
unit