ConstraintAtomModule
PackageReified.Constraint
Projects message keys and default English phrases from expectation values.
Summary
| Name | Signature | Synopsis |
|---|---|---|
| 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. |
The stable message key for an atom, derived mechanically from its case.
Parameters
| Name | Type | Description |
|---|---|---|
| atom | ConstraintAtom |
Returns
string
Verification Examples
ConstraintAtom.key (RelationAtom (Compared (AtLeast, ConstraintValue.Integer 3L)))
// "constraint.relation.atLeast"The expectation operands an atom carries, named for message interpolation.
Parameters
| Name | Type | Description |
|---|---|---|
| atom | ConstraintAtom |
Returns
Map<string, ConstraintValue>