Index of values

add name value url: add a new parameter named name with value value to the QUERY_STRING.

all main: convert main into a function that also answers /robots.txt requests with a response that allows all robots to access all URI's.

(array f xs) is (Array (map f xs)).

at_least_one names vp: insist that at least one of the parameters in names is given.

atleast n str: is the number represented by the string >= n?

atmost n str: is the number represented by the string <= n?

(bool b) is (Bool b).

Is the string either "true" or "false"?

Convert to a native bool.

(callback ?minify cb json): convert a json data structure to a string in "Json callback" representation.

clf_format ?ident ?authuser ?time ?bytes ?host ?request status cgi formats a line in Common Log Format from the status and the CGI activation.

conjunction list: return a predicate which is the conjunction of the validators in a list

The MIME content-type for Restful.Favicon.ico, i.e.

The correct content-type for Json data.

delete name url: delete the parameter named name from the QUERY_STRING.

disjunction list: return a predicate which is the disjunction of the validators in a list

dispatch ?def service map cgi: dispatcher for services that implement sub-services based on PATH_INFO.

dump: I'm sure this dumps something!

Type of function that generates error messages; these messages are analogous to those in Apache's error_log file.

error fmt ...: raise a User_exn with an error message formatted as per Printf.

Is the number represented by the string an even integer?

favicon ?file ?data main: convert main into a function that also answers /favicon.ico requests.

(float f) is (Float f).

Convert to a float.

get cgi mandopt validator name: get one QUERY_STRING parameter name, validating it with validator.

Type of function that handles errors.

Type of function which handles logging.

htmlencode ?in_enc ?out_enc str: encode str for HTML (or XML)

The default Restful favicon, a base64-encoded image/vnd.microsoft.icon.

in_map map v: valid if parameter value v is a key in the parsed refer Restful.Config file map.

Type of service initialization function.

Convert to a native int.

Convert to an Int64.t.

javascript_identifier v: valid if parameter value v is a syntactically correct Javascript identifier (see the standard).

json_of_jsonm is effectively of type Jsonm.json -> json i.e.

list_member list string: is the string a member of the set represented by list?

load ?validate key filename: load the config file in the given filename.

loadenv ?validate key var: load the config file named in an environment variable.

main ?argv (): run the service function Service.main.

Type of function that implements a service.

me ?pi ?qs cgi: return the service's own URL, optionally replacing the QUERY_STRING (qs) or PATH_INFO (pi).

mutex ?atleast x y vp: reject mutually exclusive parameters.

no_dot_dot param: valid if param does not contain any ".." components.

Is the string completely free of blanks? (A single blank invalidates the string.)

none main: convert main into a function that also answers /robots.txt requests with a response that refuses all robots access to any URI's.

Is the number represented by the string non-zero?

Is the string not completely blank (i.e.

Is the string not null (i.e.

(null x) is Null.

(num n) is (Num n).

Is the string numeric (i.e.

(obj f alist) is (Object (map (fun (s,x) -> s, f x) alist)).

Is the number represented by the string an odd integer?

(of_option f (Some x)) is (f x) and (of_option f None) is Null.

optvalue params name: given a validated parameter list params, as returned by process, and a parameter name, return the value of the parameter as a string option.

Is the number represented by the string a positive integer?

process ?strict cgi spec: process QUERY_STRING parameters according to spec, returning validated parameter list.

redirect ?msg ?status cgi location: generate a redirect to location.

relative param: valid if parameter is in the form of a relative filename, i.e.

replace name value url: replace the QUERY_STRING parameter named name with value.

replace pi url: replace the entire PATH_INFO with pi.

some ?text ?file ?robots main: convert main into a function that also answers /robots.txt requests with a customized response.

(string s) is (String s).

subdir_of ?dotok dir param: valid if parameter param is a (direct) subdirectory of dir i.e., is a child.

subtree_of dir param: valid if parameter param is a subtree of dir, i.e.

(to_string ?minify json): convert a json data structure to a string in Json representation.

to_string url: convert the URL to a properly encoded string.

Is the parameter a syntactically valid URL?

See Restful.Valid.javascript_identifier.

value ?default params name: given a validated parameter list params, as returned by process, and a parameter name, return the value of the parameter.

Type of version information, displayed by the version subcommand.

write ?content_type cgi str: write out content as the total value of the service call.

zap url: remove the entire QUERY_STRING from the url.

zap url: remove the entire PATH_INFO string from the URL.