Index of types


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]