Module Cf_data_ingest.Field

A submodule containing composers for elements indexed by some totally ordered domain type.

val required : 'k -> 'v model -> ('k index, 'v) bind

Use required k m to compose a group element that requires a value matching the model m to be indexed in the sequence with k.

val optional : 'k -> 'v model -> ('k index, 'v option) bind

Use optional k m to compose a group element that admits an optional value matching the model m if it is indexed in the sequence with k.

val default : 'k -> 'v model -> 'v -> ('k index, 'v) bind

Use default k m v to compose a group element that admits an optional value matching the model m if it is indexed in the sequence with k, and if it is not present, then the scanner produces the default v for the element.