package grace

  1. Overview
  2. Docs
A fancy diagnostics library that allows your compilers to exit with grace

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (5)

Authors

  1. A
    Alistair O'Brien

Maintainers

  1. A
    alistair.obrien@trili.tech

Sources

grace-0.4.1.tbz
sha256=d49754224206de44855590848b3a5a6cc1d5c46cf99a4e5810ca3041d436a28e
sha512=2984b5a6284bf8bbd05419cf850c15c34bc19c19f0c8928b83cc1be1c0bfc84aafef6d992e7435c2f48ba361a6f3aab679abd02f0e6472361c8cec7d497bc405

doc/src/grace.std/comparable.ml.html

Source file comparable.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
module type S = sig
  type t

  val ( >= ) : t -> t -> bool
  val ( <= ) : t -> t -> bool
  val ( > ) : t -> t -> bool
  val ( < ) : t -> t -> bool
  val ( = ) : t -> t -> bool
  val ( <> ) : t -> t -> bool
  val compare : t -> t -> int
  val equal : t -> t -> bool
  val min : t -> t -> t
  val max : t -> t -> t
end

module Make (T : sig
    type t

    val compare : t -> t -> int
  end) : S with type t := T.t = struct
  include T

  let equal x y = compare x y = 0
  let ( >= ) x y = compare x y >= 0
  let ( <= ) x y = compare x y <= 0
  let ( > ) x y = compare x y > 0
  let ( < ) x y = compare x y < 0
  let ( = ) x y = equal x y
  let ( <> ) x y = compare x y <> 0
  let min x y = if x <= y then x else y
  let max x y = if x >= y then x else y
end

type 'a t = 'a -> 'a -> int

let lift compare ~f = fun x y -> compare (f x) (f y)
let reverse compare x y = compare y x

let pair cmp1 cmp2 (x1, x2) (y1, y2) =
  match cmp1 x1 y1 with
  | 0 -> cmp2 x2 y2
  | n -> n
;;