package orsetto

  1. Overview
  2. Docs
A library of assorted structured data interchange languages

Install 

dune-project
 Dependency

bitbucket.org Edit opam file Versions (8)

Authors

  1. J
    james woodyatt <jhw@conjury.org>

Maintainers

  1. J
    james woodyatt <jhw@conjury.org>

Sources

r1.1.tar.gz
sha256=6e6f59fc6a2c590b1b377e40f2120a548e6f09e61e7eb12ffa45cf2d517316b8
md5=533153cd4a9fe8093d3b98afc1073bc8

doc/orsetto.cf/Cf_data_ingest/Create/argument-1-B/index.html

Parameter Create.B

type symbol

The interchange language scanner symbol type.

type position

The interchange language scanner position type.

type 'k frame

Encapsulation of a sequence comprising a group of kind 'k.

The form module for interchange language scanners.

module Scan : Cf_scan.Profile with type symbol := symbol and type position := position and type 'a form := 'a Form.t

The interchange language scanner module.

val primitive : 'a Cf_type.nym -> 'a Form.t Scan.t

The scanner compiler uses primitive n to obtain a scanner for the primitive type named by n.

val control : 'a Form.t Scan.t -> ('a, 'b) control -> 'b Form.t Scan.t

The scanner compiler uses control s c to compose a scanner representing the application of control c to the value recognized by the scanner s.

val start : 'k container -> occurs -> 'k frame Form.t Scan.t

The scanner compiler uses start c q to compose a scanner that recognizes the start of a sequence of kind c with length limited by q and produces an abstract frame value annotated with the location of the start in the input stream.

val visit : 'k container -> 'k frame -> ('r -> 'r Scan.t) -> 'r -> 'r Scan.t

The scanner compiler uses visit c w f v to compose a scanner that visits with f every element in a sequence of kind c in the context w. The first element is visited with the initializer v, and each following element is visited with the value returned by the preceding scanner.

val finish : 'k frame -> unit Form.t Scan.t

The scanner compiler uses finish w to compose a scanner that recognizes the end of the sequence that started upon producing w.

val pair : 'k pair -> 'k Form.t Scan.t -> 'v Form.t Scan.t -> ('k * 'v) Form.t Scan.t

The scanner compiler uses pair c k v to compose a scanner that recognizes a pair of kind c comprising a first item recognized by k and a second item recognized by v.

The scanner compiler uses memo to obtain an annotated scanner mark at the beginning of the next element in a sequence, advancing the cursor to one position past the end of the element.