RelationOperatorUnion

PackageReified.Constraint
The comparison a relation asserts between a value and an operand.

Specification

Kind
Union
Members
12
Examples
0
IsGreaterThanSignature
this.IsGreaterThan
IsAtLeastSignature
this.IsAtLeast
IsNotEqualSignature
this.IsNotEqual
IsAtMostSignature
this.IsAtMost
IsEqualSignature
this.IsEqual

Summary

NameSignatureSynopsis
Union cases
IsGreaterThanthis.IsGreaterThanNo description available.
IsAtLeastthis.IsAtLeastNo description available.
IsNotEqualthis.IsNotEqualNo description available.
IsAtMostthis.IsAtMostNo description available.
IsEqualthis.IsEqualNo description available.
IsLessThanthis.IsLessThanNo description available.
EqualEqualValues must be equal.
NotEqualNotEqualValues must differ.
GreaterThanGreaterThanThe value must be strictly greater than the operand.
LessThanLessThanThe value must be strictly less than the operand.
AtLeastAtLeastThe value must be greater than or equal to the operand.
AtMostAtMostThe value must be less than or equal to the operand.

Union cases

kind:member

IsGreaterThan

this.IsGreaterThan
Member

Returns

bool
kind:member

IsAtLeast

this.IsAtLeast
Member

Returns

bool
kind:member

IsNotEqual

this.IsNotEqual
Member

Returns

bool
kind:member

IsAtMost

this.IsAtMost
Member

Returns

bool
kind:member

IsEqual

this.IsEqual
Member

Returns

bool
kind:member

IsLessThan

this.IsLessThan
Member

Returns

bool
kind:member

Equal

Equal
Member
Values must be equal.

Returns

unit
kind:member

NotEqual

NotEqual
Member
Values must differ.

Returns

unit
kind:member

GreaterThan

GreaterThan
Member
The value must be strictly greater than the operand.

Returns

unit
kind:member

LessThan

LessThan
Member
The value must be strictly less than the operand.

Returns

unit
kind:member

AtLeast

AtLeast
Member
The value must be greater than or equal to the operand.

Returns

unit
kind:member

AtMost

AtMost
Member
The value must be less than or equal to the operand.

Returns

unit