B | |
buffer [Jbuffer] |
Buffer for encoding formatted text.
|
C | |
chapter [Doc] |
The main chapters of the documentation.
|
chapter [Server.Doc] |
The main chapters of the documentation.
|
D | |
data [Data] | |
data [Server.Data] | |
F | |
field [Data] |
Field of type
'b for a record of type 'a
|
field [Syntax] | |
field [Server.Data] |
Field of type
'b for a record of type 'a
|
field [Server.Syntax] | |
I | |
input [Request] | |
input [Server.Request] | |
J | |
json [Request] | |
json [Main] | |
json [Data] | |
json [Jbuffer] | |
json [Server.Request] | |
json [Server.Data] | |
K | |
key [Data.Map] | |
key [Server.Data.Map] | |
kind [Request] | |
kind [Main] | |
kind [Server.Request] | |
M | |
message [Main] |
A paired request-response message.
|
O | |
output [Request] | |
output [Server.Request] | |
P | |
page [Doc] |
A page of the server documentation.
|
page [Server.Doc] |
A page of the server documentation.
|
param [Request] |
Named input parameter.
|
param [Server.Request] |
Named input parameter.
|
R | |
r [Data.Record.S] | |
r [Server.Data.Record.S] | |
record [Data] |
Records of type 'a
|
record [Server.Data] |
Records of type 'a
|
request [Main] |
Type of request messages.
|
response [Main] |
Type of response messages.
|
result [Request] |
Named output parameter.
|
result [Server.Request] |
Named output parameter.
|
rq [Request] |
Request JSON parameters.
|
rq [Server.Request] |
Request JSON parameters.
|
S | |
signature [Request] |
Under definition request signature.
|
signature [Data] |
Opened signature for record of type
'a
|
signature [Server.Request] |
Under definition request signature.
|
signature [Server.Data] |
Opened signature for record of type
'a
|
T | |
t [Request.Output] | |
t [Request.Input] | |
t [Data.Enum] | |
t [Data.IdentifiedType] | |
t [Data.Map] | |
t [Data.S] | |
t [Syntax] | |
t [Server.Request.Output] | |
t [Server.Request.Input] | |
t [Server.Data.Enum] | |
t [Server.Data.IdentifiedType] | |
t [Server.Data.Map] | |
t [Server.Data.S] | |
t [Server.Syntax] |