ConstraintAtomUnion
PackageReified.Constraint
Projects message keys and default English phrases from expectation values.
Specification
Kind
Union
Members
17
Examples
0
keySignature
ConstraintAtom.key atom
argumentsSignature
ConstraintAtom.arguments atom
renderSignature
ConstraintAtom.render atom
IsPresenceAtomSignature
this.IsPresenceAtom
IsMembershipAtomSignature
this.IsMembershipAtom
Summary
| Name | Signature | Synopsis |
|---|---|---|
| Union cases | ||
| IsPresenceAtom | this.IsPresenceAtom | No description available. |
| IsMembershipAtom | this.IsMembershipAtom | No description available. |
| IsFormatAtom | this.IsFormatAtom | No description available. |
| IsNumberAtom | this.IsNumberAtom | No description available. |
| IsCardinalityAtom | this.IsCardinalityAtom | No description available. |
| IsUniquenessAtom | this.IsUniquenessAtom | No description available. |
| IsRelationAtom | this.IsRelationAtom | No description available. |
| PresenceAtom | PresenceAtom Presence | A presence rule. |
| CardinalityAtom | CardinalityAtom Cardinality | A text length or collection count rule. |
| RelationAtom | RelationAtom Relation | An ordering or equality rule. |
| MembershipAtom | MembershipAtom Membership | A membership rule. |
| UniquenessAtom | UniquenessAtom | A no-duplicates rule. |
| FormatAtom | FormatAtom Format | A built-in text format rule. |
| NumberAtom | NumberAtom Number | A numeric-property rule. |
| Operations | ||
| key | ConstraintAtom.key atom | The stable message key for an atom, derived mechanically from its case. |
| arguments | ConstraintAtom.arguments atom | The expectation operands an atom carries, named for message interpolation. |
| render | ConstraintAtom.render atom | The default English phrase describing what an atom expected. |