Parameter Create.B

type -'v scheme

The general type of an emitter of rendered values.

val primitive : 'v Cf_type.nym -> 'v scheme

The emitted compiler uses primitive nym to create an emitter for the primitive type named by nym.

val control : 'a scheme -> ('a, 'b) control -> 'b scheme

The emitter compiler uses control e c to compose an emitter representing the application of control c to the value output by e.

type packet

The general type of an encapusated emission.

val delegate : ('v -> packet) -> 'v scheme

The emitter compiler uses delegate f to compose a scheme that applies f to the rendered value to make an encapsulated emission.

val packet : 'v scheme -> 'v -> packet

The emitter compiler uses packet e v to produce an encapsulated emission of v using the emitter e.

val pair : 'k pair -> packet -> packet -> packet

The emitter compiler uses pair g a b to combine the encapsulated emissions of a and b according to the structural descriptor g.

val sequence : 'k container -> packet Seq.t -> packet

The emitter compiler uses sequence g s to combine the encapsulated emissions in s according to the structure descriptor g.