Previous  Up  Next

Functor Kwvalid.Number

module Number: 
functor (N : NUMBER) -> sig .. end

Number Validators

You probably want to use one of the predefined number domains in Kwvalid.Num instead.

Parameters:
N : NUMBER 
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.