Module `Comparable.Validate_with_zero`

Parameters

T : sig ... end

Signature

include Validate with type t := T.t

val validate_bound : min:T.t Base.Maybe_bound.t -> max:T.t Base.Maybe_bound.t -> T.t Base.Validate.check
val validate_ubound : max:T.t Base.Maybe_bound.t -> T.t Base.Validate.check
val validate_lbound : min:T.t Base.Maybe_bound.t -> T.t Base.Validate.check

include With_zero with type t := T.t

val sign : T.t -> Base__.Sign0.t: Returns Neg, Zero, or Pos in a way consistent with the above functions.

val is_non_positive : T.t -> bool
val is_negative : T.t -> bool
val is_non_negative : T.t -> bool
val is_positive : T.t -> bool
val validate_non_positive : T.t Base.Validate.check
val validate_negative : T.t Base.Validate.check
val validate_non_negative : T.t Base.Validate.check
val validate_positive : T.t Base.Validate.check