ViolationUnion
PackageReified.Constraint
Why a value failed its constraint.
Specification
Kind
Union
Members
6
Examples
0
IsAllSignature
this.IsAll
IsAnySignature
this.IsAny
IsAtomicSignature
this.IsAtomic
AtomicSignature
Atomic AtomicViolation
AllSignature
All(first, rest)
Summary
| Name | Signature | Synopsis |
|---|---|---|
| IsAll | this.IsAll | No description available. |
| IsAny | this.IsAny | No description available. |
| IsAtomic | this.IsAtomic | No description available. |
| Atomic | Atomic AtomicViolation | One indivisible failure. |
| All | All(first, rest) | Every listed failure occurred; the value failed several conjoined rules. |
| Any | Any(first, rest) | No alternative succeeded; each listed failure is one rejected branch. |
One indivisible failure.
Parameters
| Name | Type | Description |
|---|---|---|
| Item | AtomicViolation |
Returns
unit
Every listed failure occurred; the value failed several conjoined rules.
Parameters
| Name | Type | Description |
|---|---|---|
| first | Violation | |
| rest | Violation list |
Returns
unit