package orsetto

You can search for identifiers within the package.

in-package search v0.2.0

A library of assorted structured data interchange languages

Install

sha512=e260412b2dd0f98cfe3dc7ed5c31a694eb31c93cd207c51fa12675b790234ee0ad3bf07d9be17a4dc266fedfe55b14c967cad7bc0c9414063eef8afd59f3d0d1

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.