This module extends Base.Maybe_bound
with bin_io and with compare functions in the
form of As_lower_bound
and As_upper_bound
modules.
include sig ... end
val bin_t : 'a Bin_prot.Type_class.t ‑> 'a t Bin_prot.Type_class.t
val bin_read_t : 'a Bin_prot.Read.reader ‑> 'a t Bin_prot.Read.reader
val __bin_read_t__ : 'a Bin_prot.Read.reader ‑> (int ‑> 'a t) Bin_prot.Read.reader
val bin_reader_t : 'a Bin_prot.Type_class.reader ‑> 'a t Bin_prot.Type_class.reader
val bin_size_t : 'a Bin_prot.Size.sizer ‑> 'a t Bin_prot.Size.sizer
val bin_write_t : 'a Bin_prot.Write.writer ‑> 'a t Bin_prot.Write.writer
val bin_writer_t : 'a Bin_prot.Type_class.writer ‑> 'a t Bin_prot.Type_class.writer
val bin_shape_t : Bin_prot.Shape.t ‑> Bin_prot.Shape.t
include module type of sig ... end with type a t := a t
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 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
type interval_comparison
= Base__Maybe_bound.interval_comparison
=
| Below_lower_bound |
| In_range |
| Above_upper_bound |
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
module As_lower_bound : sig ... end
Compares t
values as lower bounds, where Unbounded
is lowest, Incl x < Excl x
,
and other cases of Incl
and/or Excl
are compared based on 'a
. If
As_lower_bound.compare compare t1 t2 <= 0
and is_lower_bound t2 ~of_:a ~compare
,
then is_lower_bound t1 ~of_:a ~compare
. For example, for int As_lower_bound.t
:
module As_upper_bound : sig ... end
Compares t
values as upper bounds, where Unbounded
is highest, Incl x > Excl x
,
and other cases of Incl
and/or Excl
are compared based on 'a
. If
As_upper_bound.compare compare_a t1 t2 <= 0
and is_upper_bound t1 ~of_:a ~compare
,
then is_upper_bound t2 ~of_:a ~compare
. For example, for int As_upper_bound.t
:
module Stable : sig ... end