Module Kwapp.Valid.Num.R

module R: Kwapp.Valid.Number(Kwapp.Valid.Real)

Real Number Validators ℝ

val any : Kwapp.Valid.t option

any considers valid any string that is an integer.

val whilst : (N.t -> bool) -> string -> bool

whilst f: combinator for writing predicates on integer switch arguments.

Converts the function f into a function that takes a string.

val gt : N.t -> Kwapp.Valid.t option

gt n: considers valid any string that is an integer s.t. the integer i > n.

val gte : N.t -> Kwapp.Valid.t option

gte n: considers valid any string that is an integer s.t. the integer i >= n.

val lt : N.t -> Kwapp.Valid.t option

lt n: considers valid any string that is an integer s.t. the integer i < n.

val lte : N.t -> Kwapp.Valid.t option

lte n: considers valid any string that is an integer s.t. the integer i <= n.