Module Sch_schema_constraint

type _ num =
  1. | Int_ty : int num
  2. | Int32_ty : int32 num
  3. | Int64_ty : int64 num
  4. | Float_ty : float num
type _ num_constraint =
  1. | Min : 'a -> 'a num_constraint
  2. | Max : 'a -> 'a num_constraint
  3. | Exclusive_min : 'a -> 'a num_constraint
  4. | Exclusive_max : 'a -> 'a num_constraint
  5. | Multiple_of : 'a -> 'a num_constraint
type _ t =
  1. | Min_length : int -> string t
  2. | Max_length : int -> string t
  3. | Pattern : string -> string t
  4. | Format : Sch_schema_constraint_fmt.t -> string t
  5. | Numeric : ('a num * 'a num_constraint list) -> 'a t
  6. | Min_items : int -> 'a list t
  7. | Max_items : int -> 'a list t
  8. | Unique_items : 'a list t
  9. | Any_of : 'a t list -> 'a t
  10. | All_of : 'a t list -> 'a t
  11. | One_of : 'a t list -> 'a t
  12. | Not : 'a t -> 'a t
val int_min : int -> int t
val int_max : int -> int t
val int_range : int -> int -> int t
val int_multiple_of : int -> int t
val int32_min : int32 -> int32 t
val int32_max : int32 -> int32 t
val int32_range : int32 -> int32 -> int32 t
val int64_min : int64 -> int64 t
val int64_max : int64 -> int64 t
val int64_range : int64 -> int64 -> int64 t
val float_min : float -> float t
val float_max : float -> float t
val float_range : float -> float -> float t
val min_length : int -> string t
val max_length : int -> string t
val length_range : int -> int -> string t
val pattern : string -> string t
val format : Sch_schema_constraint_fmt.t -> string t
val min_items : int -> 'a list t
val max_items : int -> 'a list t
val float_exclusive_max : float -> float t
val float_exclusive_min : float -> float t
val int_exclusive_max : int -> int t
val int_exclusive_min : int -> int t
val int32_exclusive_max : int32 -> int32 t
val int32_exclusive_min : int32 -> int32 t
val int64_exclusive_max : int64 -> int64 t
val int64_exclusive_min : int64 -> int64 t
val unique_items : 'a list t
val any_of : 'a t list -> 'a t
val all_of : 'a t list -> 'a t
val one_of : 'a t list -> 'a t
val not : 'a t -> 'a t
val eval_num : 'a. 'a num -> 'a num_constraint -> 'a -> ('a, string list) Stdlib.result
val eval : 'a. 'a t -> 'a -> ('a, string list) Stdlib.result
val apply_all : 'a. 'a t list -> 'a -> ('a, string list) Stdlib.result
val apply : 'a. 'a t option -> 'a -> ('a, string list) Stdlib.result