Module `Validate`Source

Sourceval min_length_error_code : string

Sourceval max_length_error_code : string

Sourceval length_equals_error_code : string

Sourceval value_equal_to_error_code : string

Sourceval value_not_equal_to_error_code : string

Sourceval value_greater_than_error_code : string

Sourceval value_greater_than_or_equal_error_code : string

Sourceval value_less_than_error_code : string

Sourceval value_less_than_or_equal_error_code : string

Sourceval value_between_error_code : string

Sourceval invalid_pattern_error_code : string

Sourceval invalid_uuid_error_code : string

Sourceval invalid_numeric_error_code : string

Sourceval invalid_alpha_error_code : string

Sourceval invalid_alphanumeric_error_code : string

Sourceval invalid_lowercase_error_code : string

Sourceval invalid_uppercase_error_code : string

Sourceval invalid_lowercase_alphanumeric_error_code : string

Sourceval invalid_uppercase_alphanumeric_error_code : string

Sourceval invalid_email_error_code : string

Sourceval invalid_url_error_code : string

Sourcetype base_validation_error = {

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

}

Sourceand field_validation_error = string * validation_error list

Sourceand index_validation_error = int * validation_error list

Sourceand validation_error =

| BaseError of base_validation_error
| RecordError of field_validation_error list
| IterableError of index_validation_error list

Source

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

Source

val show_base_validation_error : 
  base_validation_error ->
  Ppx_deriving_runtime.string

Source

val pp_field_validation_error : 
  Ppx_deriving_runtime.Format.formatter ->
  field_validation_error ->
  Ppx_deriving_runtime.unit

Source

val show_field_validation_error : 
  field_validation_error ->
  Ppx_deriving_runtime.string

Source

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

Source

val show_index_validation_error : 
  index_validation_error ->
  Ppx_deriving_runtime.string

Source

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

Sourceval show_validation_error : validation_error -> Ppx_deriving_runtime.string

Source

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

Source

val equal_field_validation_error : 
  field_validation_error ->
  field_validation_error ->
  Ppx_deriving_runtime.bool

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

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

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Sourceval option : 'a validator -> 'a option validator

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

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

Sourceval uuid_regex : Re.re

Sourceval numeric_regex : Re.re

Sourceval alpha_regex : Re.re

Sourceval alphanumeric_regex : Re.re

Sourceval lowercase_regex : Re.re

Sourceval uppercase_regex : Re.re

Sourceval lowercase_alphanumeric_regex : Re.re

Sourceval uppercase_alphanumeric_regex : Re.re

Sourceval email_regex : Re.re

Source

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

Source

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

Source

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

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

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

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

Source

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

Source

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

Source

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

Source

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

Source

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

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

package validate

Module ValidateSource

Module `Validate`Source