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

dune-project

Dependency

sha512=9b654edb663ae697563f150824047052f3b1bf760398f24bce6350553f031f73c46b6337239a1acd871e61238597ea92046809e3358290ff14d6ba671b449085

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.