Module Base__.Maybe_bound

Used for specifying a bound (either upper or lower) as inclusive, exclusive, or unbounded.

type 'a t =
| Incl of 'a
| Excl of 'a
| Unbounded
include sig ... end
val all : 'a list ‑> 'a t list
val t_of_sexp : (Base.Sexp.t ‑> 'a) ‑> Base.Sexp.t ‑> 'a t
val sexp_of_t : ('a ‑> Base.Sexp.t) ‑> 'a t ‑> Base.Sexp.t
val map : 'a t ‑> f:('a ‑> 'b) ‑> 'b t
val is_lower_bound : 'a t ‑> of_:'a ‑> compare:('a ‑> 'a ‑> int) ‑> bool
val is_upper_bound : 'a t ‑> of_:'a ‑> compare:('a ‑> 'a ‑> int) ‑> bool
val interval_contains_exn : lower:'a t ‑> upper:'a t ‑> 'a ‑> compare:('a ‑> 'a ‑> int) ‑> bool

interval_contains_exn ~lower ~upper x ~compare raises if lower and upper are crossed.

val bounds_crossed : lower:'a t ‑> upper:'a t ‑> compare:('a ‑> 'a ‑> int) ‑> bool

bounds_crossed ~lower ~upper ~compare returns true if lower > upper.

It ignores whether the bounds are Incl or Excl.

type interval_comparison =
| Below_lower_bound
| In_range
| Above_upper_bound
include sig ... end
val interval_comparison_of_sexp : Base.Sexp.t ‑> interval_comparison
val sexp_of_interval_comparison : interval_comparison ‑> Base.Sexp.t
val compare_interval_comparison : interval_comparison ‑> interval_comparison ‑> int
val hash_fold_interval_comparison : Base.Hash.state ‑> interval_comparison ‑> Base.Hash.state
val hash_interval_comparison : interval_comparison ‑> Base.Hash.hash_value
val compare_to_interval_exn : lower:'a t ‑> upper:'a t ‑> 'a ‑> compare:('a ‑> 'a ‑> int) ‑> interval_comparison

compare_to_interval_exn ~lower ~upper x ~compare raises if lower and upper are crossed.