Previous  Up  

Module Kwvalid.Json.Num

module Num: Kwvalid.Number(sig


include Real



val name : string
end)
Json 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.