Up

Module Interval

A simple representation of a contiguous interval in some type.

Signature

type 'k t = [
| `Always
| `From of 'k
| `Until of 'k
| `Between of 'k * 'k
]

An interval on a key type which can be open (extend to ±infinity) at either end.

val t_of_sexp : (Sexplib.Sexp.t -> 'k) -> Sexplib.Sexp.t -> 'k t
val __t_of_sexp__ : (Sexplib.Sexp.t -> 'k) -> Sexplib.Sexp.t -> 'k t
val sexp_of_t : ('k -> Sexplib.Sexp.t) -> 'k t -> Sexplib.Sexp.t
val is_empty : 'k t -> cmp:('k -> 'k -> int) -> bool

Identify whether an interval is empty.

val contains : 'k t -> cmp:('k -> 'k -> int) -> 'k -> bool

Check whether an interval contains a specific key.