ConstraintExpressionUnion
PackageReified.Constraint
The logical form of a constraint.
Specification
Kind
Union
Members
10
Examples
0
IsOptionalSignature
this.IsOptional
IsAtomSignature
this.IsAtom
IsAllSignature
this.IsAll
IsAnySignature
this.IsAny
IsOpaqueSignature
this.IsOpaque
Summary
| Name | Signature | Synopsis |
|---|---|---|
| Union cases | ||
| IsOptional | this.IsOptional | No description available. |
| IsAtom | this.IsAtom | No description available. |
| IsAll | this.IsAll | No description available. |
| IsAny | this.IsAny | 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. |