D | |
declare [Record.Safe] |
Create a new layout with the given name.
|
declare [Record.Unsafe] |
Create a new layout with the given name.
|
declare0 [Record.Util] |
Shortcut to build a layout with no fields.
|
declare1 [Record.Util] |
Shortcut to build a layout with 1 field.
|
declare2 [Record.Util] |
Shortcut to build a layout with 2 fields.
|
declare3 [Record.Util] |
Shortcut to build a layout with 3 fields.
|
declare4 [Record.Util] |
Shortcut to build a layout with 4 fields.
|
E | |
equal [Record.Polid] |
Equality predicate.
|
equal [Record] |
Equality predicate.
|
exn [Record.Type] |
How to represent exceptions.
|
F | |
field [Record.Safe.LAYOUT] |
Add a field to the layout.
|
field [Record.Unsafe] |
Add a field to a layout.
|
fresh [Record.Polid] |
Make a new, fresh identifier.
|
ftype [Record.Field] |
Get the type of the field (as passed to
field ).
|
G | |
get [Record] |
Get the value of a field.
|
get_layout [Record] |
Get the layout of a record.
|
I | |
int [Record.Type] |
How to represent
int .
|
int32 [Record.Type] |
How to represent
int32 .
|
int64 [Record.Type] |
How to represent
int64 .
|
is_equal [Record.Polid] | equal projected to a plain bool .
|
L | |
layout [Record.Safe.LAYOUT] |
A value representing the layout.
|
layout_id [Record.Safe.LAYOUT] |
The unique identifier given to a layout.
|
layout_id [Record.Unsafe] |
Get the unique identifier given to a layout.
|
layout_name [Record.Safe.LAYOUT] |
The name that was given to the layout.
|
layout_name [Record.Unsafe] |
Get the name that was given to a layout.
|
layout_type [Record.Util] |
Get the
Type.t representation of a layout.
|
list [Record.Type] |
Build a representation of a list.
|
M | |
make [Record.Safe.LAYOUT] |
Allocate a record of the layout, with all fields initially unset.
|
make [Record.Unsafe] |
Allocate a record of a given layout, with all fields initially unset.
|
make [Record.Type] |
Declare a new type.
|
make_string [Record.Type] |
Declare a new type that marshal/unmarshal to strings.
|
N | |
name [Record.Field] |
Get the name of the field (as passed to
field ).
|
name [Record.Type] | |
O | |
of_yojson [Record.Type] | |
of_yojson [Record] |
Convert a JSON value into a given schema.
|
P | |
product_2 [Record.Type] |
Build a representation of a couple.
|
R | |
result [Record.Type] |
Build a representation of a
result .
|
S | |
seal [Record.Safe.LAYOUT] |
Make the layout unmodifiable.
|
seal [Record.Unsafe] |
Make the layout unmodifiable.
|
set [Record] |
Set the value of a field.
|
string [Record.Type] |
How to represent
string .
|
T | |
to_int [Record.Polid] |
Convert an identifier to an integer.
|
to_yojson [Record.Type] | |
to_yojson [Record] |
Convert a record to JSON.
|
U | |
unit [Record.Type] |
How to represent
unit .
|
V | |
view [Record.Type] |
Build a
'b type which has the same JSON encoding as the 'a type from
conversion functions read and write .
|