Evidence that appending a field of type A
to a list of fields C
(with definitions FC
) results in a field
list of type COut
(with definitions FCOut
).
Evidence that appending a field of type A
to a list of fields C
(with definitions FC
) results in a field
list of type COut
(with definitions FCOut
). Also contains ways to return a formatter for the list of
fields after the operation and to append concrete field definitions to a FC
.
Trait defining how to read and write JSON from/to a typed list of fields.
Evidence that removing the field with index N
from a list of fields C
(with definitions FC
) results in a
field list of type COut
(with definitions FCOut
).
Evidence that removing the field with index N
from a list of fields C
(with definitions FC
) results in a
field list of type COut
(with definitions FCOut
). Also contains ways to return a formatter for the list of
fields after the operation and to remove concrete field definitions from a FC
.
Evidence that replacing the field with index N
with a field of type A
in a list of fields C
(with
definitions FC
) results in a field list of type COut
(with definitions FCOut
).
Evidence that replacing the field with index N
with a field of type A
in a list of fields C
(with
definitions FC
) results in a field list of type COut
(with definitions FCOut
). Also contains ways to return
a formatter for the list of fields after the operation and to replace concrete field definitions in a FC
.
Returns a JsonFormatBuilder
with no fields.
Returns a JsonFormatBuilder
with no fields.
a JsonFormatBuilder
with no fields.
A companion object containing auxiliary types and factories for
JsonFormatBuilder
.