Module Kwvalid.Num.R

module R: Kwvalid.Number(Kwvalid.Real)

Real Number Validators ℝ

val any : Kwvalid.t

any considers valid any string that is a number in the domain.

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

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

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

val eq : N.t -> Kwvalid.t

eq n: considers valid any string that is a number in the domain s.t. the number = n.

val gt : N.t -> Kwvalid.t

gt n: considers valid any string that is a number in the domain s.t. the number > n.

val gte : N.t -> Kwvalid.t

gte n: considers valid any string that is a number in the domain s.t. the number >= n.

val lt : N.t -> Kwvalid.t

lt n: considers valid any string that is a number in the domain s.t. the number < n.

val lte : N.t -> Kwvalid.t

lte n: considers valid any string that is a number in the domain s.t. the number <= n.