package orsetto

The type constructor 'v model represents the rendering of 'v values encoded to some interchange language.

Use primitive nym to compose a model that corresponds to all the values of the type associated with nym.

Use cast f m to compose a model that corresponds to the values produced by applying f to rendered values for the model m.

Use default v m to compose a model for rendered optional values in the model m where v is output when the rendered value is None.

Use defer m to compose a model by forcing m as needed. This is useful for composing recursive data models to be used in the array arguments of the choice and variant model constructors (see below).

Use choice f s to compose a model that applies f to the rendered value to select the index of the model in s used to produce the output.

Use vector m to compose a model that corresponds to a variable length array of values produced by the emitter for the model m.

Use new index nym to create an index object for the type indicated by nym required for composing table, structure and variant group models. Use the optional ~cmp argument to specify a concrete comparator function to use instead of Stdlib.( = ). Use the optional ~model argument to specify the model explicitly, otherwise the primitive model for nym is used for the domain or index in the compoed group model.

Use table k v to compose a model that corresponds to a variable length array of pairs comprising a domain value of the type described by the index k and a codomain value of the type described by the model v. Use the optional ~unsorted argument to specify that the emitter does not sort the rendered array.

The abstract type parameter for group elements where the position in the sequence indicates the model for the element.

The type constructor ['g, 'p] bind represents the model of a specific element in a group with fields or elements of disparate type. In the case where type 'g is element, the type 'p corresponds to the type indicated by the position in the sequence. In the case where type 'g is 'k index, the type 'p corresponds to the type indicated by its index value.

A submodule containing composers for elements indexed by position.

Use record s to compose a model that corresponds to variable length array of elements corresponding to the projection of the rendered value with all the element binders in s in sequence.

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

Use structure d s to compose a model that corresponds to variable length array of pairs comprising a key of the type described by the index d and a value of a type indicated by the field in s associated with the key. Use the optional ~unsorted argument to specify that the emitter does not sort the rendered array by their keys.

Use variant d f s to compose a model that corresponds to a pair comprising a key of the type described by the index d obtained by applying f to the rendered value, and a value of a type indicated by, and a value obtained according to the field bind associated with the key.

A submodule containing affix operators the provide a convenient and idiosyncratic syntax for composing record and structure models.

The extensible control type. Facilitates composing data models with features extended by the render specialization for unique features of the interchange language. A value of type ('a, 'b) control represents a conversion of a model of type 'a model to a model of type 'b model as a side effect of any additional constraints applied.

A control value Cast f represents the operation of applying f to the rendered value to produce the value rendered by the model under control.

A control value Default v represents the conversion of an optional rendered value into a required value by using v in the event the rendered value is None.

Use control m c to compose a new model comprising the application of c to the model m.

Values of type 'k pair are used to describe the structure of pair elements in sequences that comprise group data models indexed by values of type 'k.

Values of type 'k container are used to describe the structure of sequences that comprise group data models.

Define a module of type Basis to create a render specialization.

The module type of render specializations.

Use Create(B) to create a render specialization from the basis B.