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

sha256=6e6f59fc6a2c590b1b377e40f2120a548e6f09e61e7eb12ffa45cf2d517316b8

md5=533153cd4a9fe8093d3b98afc1073bc8

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.