Comparable in Verse

The comparable type is used to compare values of this type to other values of the same type.

The = and <> operators make use of this type to define their signatures.

|  |  |
| --- | --- |
|  | operator'='(:t, :comparable where t:subtype(comparable)):t |
|  | operator'<>'(:t, :comparable where t:subtype(comparable)):t |

operator'='(:t, :comparable where t:subtype(comparable)):t operator'<>'(:t, :comparable where t:subtype(comparable)):t

Copy full snippet(2 lines long)

Each of these functions is defined as taking a first argument that is an arbitrary subtype of comparable and a second argument that is also an arbitrary subtype, and that returns the same type as the first argument.

The comparable type has many subtypes that you can use. These subtypes can be compared both with other values of the same type type, and other subtypes of comparable. These subtypes include:

• int
• logic
• float
• char
• char32
• array if all contained types are subtypes of comparable
• option if all contained types are subtypes of comparable
• tuple if all contained types are subtypes of comparable
• map if all contained types are subtypes of comparable