Up

Module Validate_with_zero (T : sig .. end)

Parameters

T : sig .. end

Signature

include Validate with type t := T.t

type t

val validate_lbound : min:t Core_kernel.Maybe_bound.t -> t Core_kernel.Validate.check

val validate_ubound : max:t Core_kernel.Maybe_bound.t -> t Core_kernel.Validate.check

val validate_bound : min:t Core_kernel.Maybe_bound.t -> max:t Core_kernel.Maybe_bound.t -> t Core_kernel.Validate.check

include With_zero with type t := T.t

type t

val validate_positive : t Core_kernel.Validate.check

val validate_non_negative : t Core_kernel.Validate.check

val validate_negative : t Core_kernel.Validate.check

val validate_non_positive : t Core_kernel.Validate.check

val is_positive : t -> bool

val is_non_negative : t -> bool

val is_negative : t -> bool

val is_non_positive : t -> bool

val sign : t -> Core_kernel.Sign0.t

Returns Neg, Zero, or Pos in a way consistent with the above functions.