TRecordBuilderType (io7m-jpra-documentation 0.5.0 API)

```
public interface TRecordBuilderType
```
The type of mutable records for TRecord values.

All Methods Instance Methods Abstract Methods
Modifier and Type	Method and Description
`void`	`addField(FieldName name, IdentifierType id, TType type)` Add a value field.
`void`	`addPaddingOctets(Optional<com.io7m.jlexing.core.ImmutableLexicalPositionType<Path>> lex, Size<SizeUnitOctetsType> size)` Add a field of padding octets.
`TRecord`	`build()`

void addPaddingOctets(Optional<com.io7m.jlexing.core.ImmutableLexicalPositionType<Path>> lex,
                      Size<SizeUnitOctetsType> size)

Add a field of padding octets.

Parameters:: lex - The lexical information, if any; size - The size of the padding in octets

void addField(FieldName name,
              IdentifierType id,
              TType type)

Add a value field.

Parameters:: name - The field name; id - The field identifier; type - The field type

Interface TRecordBuilderType