summaryrefslogtreecommitdiff
path: root/src/value_checker.mli
blob: 8d888fdc0327922673a60f033fe5977237ec8453 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
(*type value_constraint = Regex of string | External of string * string option*)

type value_constraint =
    | Regex of string [@name "regex"]
    | External of string * string option [@name "exec"]
    [@@deriving yojson]

exception Bad_validator of string

val validate_value : string -> Buffer.t -> value_constraint -> string -> bool
[@@alert exn "Value_checker.Bad_validator"]

val validate_any : string -> value_constraint list -> string -> string option

val validate_all : string -> value_constraint list -> string -> string option