validate 1.1.0 (latest) · OCaml Package

val min_length_error_code : string

val max_length_error_code : string

val length_equals_error_code : string

val value_equal_to_error_code : string

val value_not_equal_to_error_code : string

val value_greater_than_error_code : string

val value_greater_than_or_equal_error_code : string

val value_less_than_error_code : string

val value_less_than_or_equal_error_code : string

val value_between_error_code : string

val invalid_pattern_error_code : string

val invalid_uuid_error_code : string

val invalid_ulid_error_code : string

val invalid_numeric_error_code : string

val invalid_alpha_error_code : string

val invalid_alphanumeric_error_code : string

val invalid_lowercase_error_code : string

val invalid_uppercase_error_code : string

val invalid_lowercase_alphanumeric_error_code : string

val invalid_uppercase_alphanumeric_error_code : string

val invalid_email_error_code : string

val invalid_ipv4_error_code : string

val invalid_ipv6_error_code : string

val invalid_phone_number_error_code : string

val invalid_mac_address_error_code : string

val invalid_url_error_code : string

val expect_some_error_code : string

val expect_none_error_code : string

type base_validation_error = {

code : string;
params : (string * string) list;

}

and keyed_validation_errors = string * validation_error list

and index_validation_error = int * validation_error list

and validation_error =

| BaseError of base_validation_error
| KeyedError of keyed_validation_errors list
| IterableError of index_validation_error list
| GroupError of validation_error list

val pp_base_validation_error : 
  Ppx_deriving_runtime.Format.formatter ->
  base_validation_error ->
  Ppx_deriving_runtime.unit

val show_base_validation_error : 
  base_validation_error ->
  Ppx_deriving_runtime.string

val pp_keyed_validation_errors : 
  Ppx_deriving_runtime.Format.formatter ->
  keyed_validation_errors ->
  Ppx_deriving_runtime.unit

val show_keyed_validation_errors : 
  keyed_validation_errors ->
  Ppx_deriving_runtime.string

val pp_index_validation_error : 
  Ppx_deriving_runtime.Format.formatter ->
  index_validation_error ->
  Ppx_deriving_runtime.unit

val show_index_validation_error : 
  index_validation_error ->
  Ppx_deriving_runtime.string

val pp_validation_error : 
  Ppx_deriving_runtime.Format.formatter ->
  validation_error ->
  Ppx_deriving_runtime.unit

val show_validation_error : validation_error -> Ppx_deriving_runtime.string

val equal_base_validation_error : 
  base_validation_error ->
  base_validation_error ->
  Ppx_deriving_runtime.bool

val equal_keyed_validation_errors : 
  keyed_validation_errors ->
  keyed_validation_errors ->
  Ppx_deriving_runtime.bool

val equal_index_validation_error : 
  index_validation_error ->
  index_validation_error ->
  Ppx_deriving_runtime.bool

val equal_validation_error : 
  validation_error ->
  validation_error ->
  Ppx_deriving_runtime.bool

val validate_min_length : 
  ('a -> int) ->
  int ->
  'a ->
  (unit, Validate__.Err.validation_error) result

val validate_max_length : 
  ('a -> int) ->
  int ->
  'a ->
  (unit, Validate__.Err.validation_error) result

val validate_length_between : 
  ('a -> int) ->
  min:int ->
  max:int ->
  'a ->
  (unit, Validate__.Err.validation_error) result

val validate_length_equals : 
  ('a -> int) ->
  int ->
  'a ->
  (unit, Validate__.Err.validation_error) result

type 'a validator = 'a -> (unit, Validate__.Err.validation_error) result

and ('a, 'b) field_extractor = 'a -> 'b

and ('a, 'b) named_value_extractor = 'a -> 'b option

and 'a keyed_validator =
  'a ->
  (unit, string * Validate__.Err.validation_error list) result

val validate : 
  'a validator ->
  'a ->
  ('a, Validate__.Err.validation_error) result

val field : 
  string ->
  ('a, 'b) field_extractor ->
  'b validator list ->
  'a ->
  (unit, string * Validate__.Err.validation_error list) result

val keyed : 
  'a keyed_validator list ->
  'a ->
  (unit, Validate__.Err.validation_error) result

val named_value : 
  string ->
  ('a, 'b) named_value_extractor ->
  'b validator list ->
  'a ->
  (unit, string * Validate__.Err.validation_error list) result

val iterable_item : 
  int ->
  'a validator list ->
  'a ->
  (unit, int * Validate__.Err.validation_error list) result

val list : 
  'a validator list ->
  'a list ->
  (unit, Validate__.Err.validation_error) result

val ignore_ok : ('a -> ('b, 'c) result) -> 'a -> (unit, 'c) result

val group : 
  'a validator list ->
  'a ->
  (unit, Validate__.Err.validation_error) result

val option : 'a validator list -> 'a option validator

val ignore_if : bool -> 'a validator list -> 'a validator list

val validate_url : string -> (unit, Validate__.Err.validation_error) result

val uuid_regex : Re.re

val ulid_regex : Re.re

val ipv4_regex : Re.re

val ipv6_regex : Re.re

val mac_address_regex : Re.re

val phone_number_regex : Re.re

val numeric_regex : Re.re

val alpha_regex : Re.re

val alphanumeric_regex : Re.re

val lowercase_regex : Re.re

val uppercase_regex : Re.re

val lowercase_alphanumeric_regex : Re.re

val uppercase_alphanumeric_regex : Re.re

val email_regex : Re.re

val _validate_regex : 
  string ->
  Re.re ->
  string ->
  (unit, Validate__.Err.validation_error) result

val validate_regex : 
  Re.re ->
  string ->
  (unit, Validate__.Err.validation_error) result

val validate_str_regex : 
  string ->
  string ->
  (unit, Validate__.Err.validation_error) result

val validate_uuid : string -> (unit, Validate__.Err.validation_error) result

val validate_ulid : string -> (unit, Validate__.Err.validation_error) result

val validate_ipv4 : string -> (unit, Validate__.Err.validation_error) result

val validate_ipv6 : string -> (unit, Validate__.Err.validation_error) result

val validate_mac_address : 
  string ->
  (unit, Validate__.Err.validation_error) result

val validate_phone_number : 
  string ->
  (unit, Validate__.Err.validation_error) result

val validate_numeric : string -> (unit, Validate__.Err.validation_error) result

val validate_alpha : string -> (unit, Validate__.Err.validation_error) result

val validate_alphanumeric : 
  string ->
  (unit, Validate__.Err.validation_error) result

val validate_lowercase : 
  string ->
  (unit, Validate__.Err.validation_error) result

val validate_uppercase : 
  string ->
  (unit, Validate__.Err.validation_error) result

val validate_lowercase_alphanumeric : 
  string ->
  (unit, Validate__.Err.validation_error) result

val validate_uppercase_alphanumeric : 
  string ->
  (unit, Validate__.Err.validation_error) result

val validate_email : string -> (unit, Validate__.Err.validation_error) result

val validate_equal_to : 
  ('a -> string) ->
  'a ->
  'a ->
  (unit, Validate__.Err.validation_error) result

val validate_not_equal_to : 
  ('a -> string) ->
  'a ->
  'a ->
  (unit, Validate__.Err.validation_error) result

val validate_greater_than : 
  ('a -> string) ->
  'a ->
  'a ->
  (unit, Validate__.Err.validation_error) result

val validate_greater_than_or_equal : 
  ('a -> string) ->
  'a ->
  'a ->
  (unit, Validate__.Err.validation_error) result

val validate_less_than : 
  ('a -> string) ->
  'a ->
  'a ->
  (unit, Validate__.Err.validation_error) result

val validate_less_than_or_equal : 
  ('a -> string) ->
  'a ->
  'a ->
  (unit, Validate__.Err.validation_error) result

val validate_some : 'a option -> (unit, Validate__.Err.validation_error) result

val validate_some_if : 
  bool ->
  'a option ->
  (unit, Validate__.Err.validation_error) result

val validate_none : 'a option -> (unit, Validate__.Err.validation_error) result

val validate_none_if : 
  bool ->
  'a option ->
  (unit, Validate__.Err.validation_error) result

package validate