package orsetto

  1. Overview
  2. Docs
package orsetto
Legend:
Library
Module
Module type
Parameter
Class
Class type
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.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct