Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package traits
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module Traits.PartialOrdSource
PartialOrd defines primitives for partial order over two types (t and rhs)
In order for a module to implement PartialOrd, it has to conform to the T signature, which implies conformance to PartialEq.T
The comparison must satisfy the following conditions:
- Transitivity:
a < bandb < cimplesa < c. The same holds of equality and> - Duality:
a < bif and only ifb > a
Source
val partial_cmp :
(module T with type PartialOrd.rhs = 'b and type PartialOrd.t = 'a) ->
'a ->
'b ->
Ordering.t optionCompares values x and y with module M and returns an ordering if one exists