AtomicViolationUnion

PackageReified.Constraint
Why one indivisible constraint failed.

Specification

Kind
Union
Members
6
Examples
0
IsDescribedSignature
this.IsDescribed
IsUnsupportedOperandSignature
this.IsUnsupportedOperand
IsExpectedSignature
this.IsExpected
ExpectedSignature
Expected(expectation, actual)
DescribedSignature
Described(description, key)

Summary

NameSignatureSynopsis
Union cases
IsDescribedthis.IsDescribedNo description available.
IsUnsupportedOperandthis.IsUnsupportedOperandNo description available.
IsExpectedthis.IsExpectedNo description available.
ExpectedExpected(expectation, actual)An interpreted expectation was not met.
DescribedDescribed(description, key)An opaque constraint failed, reported with its author-supplied prose.
UnsupportedOperandUnsupportedOperand operationA built-in rule failed whose operand has no portable representation.

Union cases

kind:member

IsDescribed

this.IsDescribed
Member

Returns

bool
kind:member

IsUnsupportedOperand

this.IsUnsupportedOperand
Member

Returns

bool
kind:member

IsExpected

this.IsExpected
Member

Returns

bool
kind:member

Expected

Expected(expectation, actual)
Member
An interpreted expectation was not met.

Parameters

NameTypeDescription
expectationConstraintAtom
actualConstraintValue option

Returns

unit
kind:member

Described

Described(description, key)
Member
An opaque constraint failed, reported with its author-supplied prose.

Parameters

NameTypeDescription
descriptionstring
keyMessageDescriptor option

Returns

unit
kind:member

UnsupportedOperand

UnsupportedOperand operation
Member
A built-in rule failed whose operand has no portable representation.

Parameters

NameTypeDescription
operationUnsupportedOperation

Returns

unit