Skip to main content

Ordering.to_sign

to_sign

Group: Conversions

Documentation​

Converts the ordering to the signed notion of ordering based on integers.

Examples​

Converting equal ordering to a signed number.​

      import Standard.Base.Data.Ordering

      example_to_sign = Ordering.Equal.to_sign