Index of values


A
accept [Webs.HTTP.H]
accept_charset [Webs.HTTP.H]
accept_encoding [Webs.HTTP.H]
accept_language [Webs.HTTP.H]
accept_ranges [Webs.HTTP.H]
add [Webs.Dict]
add k v d is d with k mapping to v.
age [Webs.HTTP.H]
age
allow [Webs.HTTP.H]
authorization [Webs.HTTP.H]

B
bindings [Webs.HTTP.H]
bindings hs is hs's list of bindings.
body [Webs.Resp]
body r is r's body.
body [Webs.Req]
body r is r's body.
body_len [Webs.Req]
body_len r is r's request body length (if known).

C
cache_control [Webs.HTTP.H]
cardinal [Webs.HTTP.H]
cardinal hs is hs's number of bindings in hs.
connect [Webs_scgi]
connect [Webs_cgi]
connection [Webs.HTTP.H]
content_encoding [Webs.HTTP.H]
content_language [Webs.HTTP.H]
content_length [Webs.HTTP.H]
content_location [Webs.HTTP.H]
content_range [Webs.HTTP.H]
content_type [Webs.HTTP.H]
cookie [Webs.HTTP.H]

D
date [Webs.HTTP.H]
decode_digits [Webs.HTTP]
decode_digits s decodes a sequence of DIGITs to a positive integer.
decode_meth [Webs.HTTP]
decode_meth s decodes a method for s.
decode_multi_value [Webs.HTTP.H]
decode_multi_value s splits the string s at ',' characters and trims the resulting strings from optional whitespace.
decode_name [Webs.HTTP.H]
decode_name s decodes and lowercases a field-name from s.
decode_path [Webs.HTTP]
decode_path s decodes an absolute-path to its percent-decoded list of segments.
decode_version [Webs.HTTP]
decode_version s decodes an HTTP-version field from s.
def [Webs.HTTP.H]
def n v hs is hs with n bound to v.
def_if_undef [Webs.HTTP.H]
def_if_undef n v hs is: hs if is_def n hs is true., def n v hs otherwise.
def_if_undef_multi [Webs.HTTP.H]
def_if_undef_multi n vs hs is: hs if is_def n hs is true., def_multi n vs hs otherwise.
def_multi [Webs.HTTP.H]
def_multi n vs hs is hs with n bound to the multi-value vs.
default [Webs_unix]
default is a configuration that has the following keys : Webs_unix.listen with `Addr ("localhost", 8080).
dict [Webs.Req]
dict r is r's dictionary.

E
echo [Webs_use]
echo is a service that returns the request as a text/plain document.
empty [Webs.HTTP.H]
empty is the empty header map.
empty [Webs.Dict]
empty is the empty dictionary.
empty_body [Webs.Resp]
empty_body s is an empty body.
encode_digits [Webs.HTTP]
encode_digits i encodes i as a sequence of DIGITs.
encode_meth [Webs.HTTP]
encode_meth m encodes a method for v.
encode_multi_value [Webs.HTTP.H]
encode_multi_value vs is String.concat "," vs but
encode_name [Webs.HTTP.H]
encode_name n encodes a field-name for n.
encode_path [Webs.HTTP]
encode_path p encodes an absolute-path for p as follows: In each segment percent-encode any byte that is not unreserved, sub-delims, ':' or '@' and hence producing a valid URI segment, Prepends each segment with a '/', Concatenate the result.
encode_version [Webs.HTTP]
encode_version v encodes an HTTP-version field value for v.
error_to_msg [Webs.Connector]
etag [Webs.HTTP.H]
exists [Webs.HTTP.H]
exists p hs is true iff there is a binding in hs that satisfies p.
expect [Webs.HTTP.H]
expires [Webs.HTTP.H]

F
file_body [Webs.Resp]
file_body name is a body that will contain the bytes of filename name as resolved by the connector.
find [Webs.HTTP.H]
find n hs is the value of header n in hs (if defined).
find [Webs.Dict]
find d k is k's mapping in d, if any.
find_multi [Webs.HTTP.H]
find_multi n hs is the value of header n in hs as a multi-valued header (if defined).
fold [Webs.HTTP.H]
fold f m acc folds f over the bindings of hs starting with acc.
for_all [Webs.HTTP.H]
for_all p hs is true iff all binding in hs satisfy p.
from [Webs.HTTP.H]

G
get [Webs.HTTP.H]
get n hs is like Webs.HTTP.H.find but
get [Webs.Dict]
get k d is k's mapping in d.
get_multi [Webs.HTTP.H]
get n hs is like Webs.HTTP.H.find_multi but

H
headers [Webs.Resp]
headers r is r's headers.
headers [Webs.Req]
headers r is r's HTTP headers.
host [Webs.HTTP.H]

I
if_match [Webs.HTTP.H]
if_modified_since [Webs.HTTP.H]
if_none_match [Webs.HTTP.H]
if_range [Webs.HTTP.H]
if_unmodified_since [Webs.HTTP.H]
is_def [Webs.HTTP.H]
is_def n hs is true iff n is bound in hs.
is_empty [Webs.HTTP.H]
is_empty hs is true iff hs is the empty header map.
is_empty [Webs.Dict]
is_empty d is true iff d is empty.
is_token [Webs.HTTP]
is_token s is true iff s in an HTTP a token.
iter [Webs.HTTP.H]
iter f hs iters f over the bindings of hs.

K
keep_if [Webs.HTTP.H]
keep_if p hs is the bindings of hs that satisfiy p.
key [Webs.Dict]
key () is a new dictionary key.

L
last_modified [Webs.HTTP.H]
listen [Webs_unix]
listen is a key defining where the connector should listen for connections from the web server.
location [Webs.HTTP.H]
log [Webs_use]
debug ppf s is log_req ppf (log_resp ppf s).
log_req [Webs_use]
log_req ppf s is like s but logs the requests on ppf.
log_resp [Webs_use]
response_logger ppf s is like s but logs its responses on ppf.

M
max_forwards [Webs.HTTP.H]
mem [Webs.Dict]
mem k d is true iff k has a mapping in d.
meth [Webs.Req]
meth r is r's HTTP method.

N
name [Webs.HTTP.H]
name s is a header name from s.
name_equal [Webs.HTTP.H]
name_equal n n' is true iff n and n' are equal.

O
open_error [Webs.Connector]

P
partition [Webs.HTTP.H]
partition p hs is (t, f) where t are the bindings of hs that do satisfy p and f those that do not satisfy p.
path [Webs.Req]
path r is r's HTTP request target origin-form's absolute-path.
pp [Webs.Resp]
pp ppf t prints an unspecified represntation of r on ppf but guarantees not to consume the Webs.Resp.body.
pp [Webs.Req]
pp ppf req prints and unspecified representation of req on ppf but guarantees not to consume the Webs.Req.body.
pp_body [Webs.Resp]
pp_body ppf b prints an unspecified representation of b's specification on ppf.
pp_error [Webs.Connector]
pp_error ppf e prints an unspecified representation of e on ppf.
pp_headers [Webs.HTTP]
pp_headers ppf hs prints an unspecified representation of hs on ppf.
pp_meth [Webs.HTTP]
pp_method ppf m prints and unspecified representation of m on ppf.
pp_name [Webs.HTTP.H]
pp_name ppf n prints an unspecified representation of n on ppf.
pp_path [Webs.HTTP]
pp_path human () ppf p prints an unspecified representation of p on ppf if human is true (defaults to false) the is prettified for human presentation rather than debugging.
pp_status [Webs.HTTP]
pp_status ppf s prints an unspecified representation of s on ppf.
pp_version [Webs.HTTP]
pp_version ppf v prints v an unspecified representation of v on ppf.
pragma [Webs.HTTP.H]
proxy_authenticate [Webs.HTTP.H]
proxy_authorization [Webs.HTTP.H]

Q
query [Webs.Req]
query r is r's HTTP request target origin-form's query (if any).

R
range [Webs.HTTP.H]
redef [Webs.HTTP.H]
redef n f hs is: def n v if f (find name m) = Some v., undef hs if f (find name m) = None.
redef_multi [Webs.HTTP.H]
redef n f hs is: def_multi n vs if f (find_multi name m) = Some vs., undef hs if f (find_multi name m) = None.
referer [Webs.HTTP.H]
rem [Webs.Dict]
rem k d is d with k unbound.
retry_after [Webs.HTTP.H]

S
s100_continue [Webs.HTTP]
100
s101_switching_protocols [Webs.HTTP]
101
s200_ok [Webs.HTTP]
200
s201_created [Webs.HTTP]
201
s202_accepted [Webs.HTTP]
202
s203_non_authoritative_information [Webs.HTTP]
203
s204_no_content [Webs.HTTP]
204
s205_reset_content [Webs.HTTP]
205
s206_partial_content [Webs.HTTP]
206
s300_multiple_choices [Webs.HTTP]
300
s301_moved_permanently [Webs.HTTP]
301
s302_found [Webs.HTTP]
302
s303_see_other [Webs.HTTP]
303
s304_not_modified [Webs.HTTP]
304
s305_use_proxy [Webs.HTTP]
305
s307_temporary_redirect [Webs.HTTP]
307
s400_bad_request [Webs.HTTP]
400
s401_unauthorized [Webs.HTTP]
401
s402_payement_required [Webs.HTTP]
402
s403_forbidden [Webs.HTTP]
403
s404_not_found [Webs.HTTP]
404
s405_not_allowed [Webs.HTTP]
405
s406_not_acceptable [Webs.HTTP]
406
s407_proxy_authentication_required [Webs.HTTP]
407
s408_request_time_out [Webs.HTTP]
408
s409_conflict [Webs.HTTP]
409
s410_gone [Webs.HTTP]
410
s411_length_required [Webs.HTTP]
411
s412_precondition_failed [Webs.HTTP]
412
s413_payload_too_large [Webs.HTTP]
413
s414_uri_too_long [Webs.HTTP]
414
s415_unsupported_media_type [Webs.HTTP]
415
s416_range_not_satisfiable [Webs.HTTP]
416
s417_expectation_failed [Webs.HTTP]
417
s426_upgrade_required [Webs.HTTP]
436
s500_server_error [Webs.HTTP]
500
s501_not_implemented [Webs.HTTP]
501
s502_bad_gateway [Webs.HTTP]
502
s503_service_unavailable [Webs.HTTP]
503
s504_gateway_time_out [Webs.HTTP]
504
s505_http_version_not_supported [Webs.HTTP]
505
sendfile_header [Webs.Connector]
sendfile_header is key defining a header name.
server [Webs.HTTP.H]
service_exn_log [Webs.Connector]
error_log is a key defining a formatter to log service errors.
set_cookie [Webs.HTTP.H]
status [Webs.Resp]
status r is r's status.
status_reason_phrase [Webs.HTTP]
status_reason_phrase s is s's reason phrase.
stream_body [Webs.Resp]
stream_body producer is a response body stream produced by producer on the consumer it will be given to.
string_body [Webs.Resp]
string_body s is a reponse body made of string s.

T
te [Webs.HTTP.H]
te
trailer [Webs.HTTP.H]
transfer_encoding [Webs.HTTP.H]

U
undef [Webs.HTTP.H]
undef n hs is hs without a binding for n.
upgrade [Webs.HTTP.H]
user_agent [Webs.HTTP.H]

V
v [Webs.Resp]
v ~version status headers body is a response with the given version (defaults to (1,1)), status, headers and body.
v [Webs.Req]
v dict v m p q hs bl b is an HTTP request with the given components.
vars [Webs_cgi]
vars is a list of CGI environment variables that are added to the request's Webs.Req.headers in the request if they are defined.
vary [Webs.HTTP.H]
version [Webs.Resp]
version r is r's version.
version [Webs.Req]
version r is r's HTTP version.
via [Webs.HTTP.H]
via

W
warning [Webs.HTTP.H]
with_body [Webs.Resp]
with_body r b is r with body b.
with_body [Webs.Req]
with_body req blen b is req with body length blen and body b.
with_dict [Webs.Req]
with_dict req d is req with dictionary d.
with_headers [Webs.Resp]
with_headers r s is r with headers hs.
with_headers [Webs.Req]
with_headers req hs is req with headers hs.
with_path [Webs.Req]
with_path req p is req with path p.
with_status [Webs.Resp]
with_status r s is r with status s.
www_authenticate [Webs.HTTP.H]