package logtk

  1. Overview
  2. Docs
package logtk
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Logtk.ComparisonSource

Partial Ordering values

Sourcetype t =
  1. | Lt
  2. | Eq
  3. | Gt
  4. | Incomparable
    (*

    partial order

    *)
Sourcetype comparison = t
Sourceval equal : t -> t -> bool
include Interfaces.PRINT with type t := t
Sourceval to_string : t -> string
Sourceval combine : t -> t -> t

combine two partial comparisons, that are assumed to be compatible, ie they do not order differently if Incomparable is not one of the values.

Sourceval opp : t -> t

Opposite of the relation: a R b becomes b R a

Sourceval to_total : t -> int

Conversion to a total ordering. Incomparable is translated to 0 (equal).

Sourceval of_total : int -> t

Conversion from a total order

Sourceval lexico : t -> t -> t

Lexicographic combination (the second is used only if the first is Incomparable

Sourceval (++) : t -> t -> t

Infix version of lexico

Sourcetype 'a comparator = 'a -> 'a -> t
Sourceval (@>>) : 'a comparator -> 'a comparator -> 'a comparator

Combination of comparators that work on the same values. Its behavior is the following: (f1 @>> f2) x y is the same as f1 x y if f1 x y is not Eq; otherwise it is the same as f2 x y

Sourcetype ('a, 'b) combination

Lexicographic combination of comparators. It is, roughly, equivalent to 'a -> 'a -> 'b

Sourceval (>>>) : 'a comparator -> ('b, 'c) combination -> ('a, 'b -> 'b -> 'c) combination

Lexicographic combination starting with the given function

Sourceval last : 'a comparator -> ('a, t) combination

Last comparator

Sourceval call : ('a, 'b) combination -> 'a -> 'a -> 'b

Call a lexicographic combination on arguments

Sourceval dominates : ('a -> 'b -> t) -> 'a list -> 'b list -> bool

dominates f l1 l2 returns true iff for all element y of l2, there is some x in l1 with f x y = Gt

Sourcemodule type PARTIAL_ORD = sig ... end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct