ConstraintExpressionUnion
PackageReified.Constraint
The logical form of a constraint.
Specification
Kind
Union
Members
10
Examples
0
IsAllSignature
this.IsAll
IsOptionalSignature
this.IsOptional
IsAnySignature
this.IsAny
IsAtomSignature
this.IsAtom
IsOpaqueSignature
this.IsOpaque
Summary
| Name | Signature | Synopsis |
|---|---|---|
| IsAll | this.IsAll | No description available. |
| IsOptional | this.IsOptional | No description available. |
| IsAny | this.IsAny | No description available. |
| IsAtom | this.IsAtom | No description available. |
| IsOpaque | this.IsOpaque | No description available. |
| Atom | Atom ConstraintAtom | One interpreted primitive. |
| All | All ConstraintDescription list | A conjunction. |
| Any | Any(first, rest) | A disjunction, which always has at least one branch. |
| Optional | Optional ConstraintDescription | A lift over an optional container: absence passes, presence delegates to the inner constraint. |
| Opaque | Opaque OpaqueConstraint | A constraint that runs normally but cannot be exported or proved. |
One interpreted primitive.
Parameters
| Name | Type | Description |
|---|---|---|
| Item | ConstraintAtom |
Returns
unit
A conjunction. The empty list is the satisfied identity.
Parameters
| Name | Type | Description |
|---|---|---|
| Item | ConstraintDescription list |
Returns
unit
A disjunction, which always has at least one branch.
Parameters
| Name | Type | Description |
|---|---|---|
| first | ConstraintDescription | |
| rest | ConstraintDescription list |
Returns
unit
A lift over an optional container: absence passes, presence delegates to the inner constraint.
Parameters
| Name | Type | Description |
|---|---|---|
| Item | ConstraintDescription |
Returns
unit