Documentation · orsetto 1.0.2

orsetto

A library of assorted structured data interchange languages

Version

IN THIS PACKAGE

library OrsettoCBOR
- module Cbor_decode
  - module Affix
  - module Annot
    
    module Scan_basis
    
    module Form
    
    module Symbol
  - module Infix
  - module Int_map
  - module Record
    
    module type Basis
    
    module Index
    
    module Create
    
    argument 1-B
    
    module Index
    
    module type Profile
  - module String_map
- module Cbor_encode
- module Cbor_event
- module Cbor_flyweight
- module Cbor_type
  - horizon
library OrsettoCF
- module Cf_annot
  - module type Basis
    
    module Position
    
    module Symbol
  - module Coded
    
    module type Basis
    
    module Symbol
    
    module Create
    
    argument 1-B
    
    module Symbol
    
    module Scan_basis
    
    module Form
    
    module Symbol
    
    module type Profile
    
    module Scan_basis
    
    module Form
    
    module Symbol
  - module Create
    
    argument 1-B
    
    module Position
    
    module Symbol
    
    module Scan_basis
    
    module Form
    
    module Symbol
  - module type Profile
    
    module Scan_basis
    
    module Form
    
    module Symbol
  - module Textual
    
    module ASCII
    
    module Scan_basis
    
    module Form
    
    module Symbol
    
    module type Basis
    
    module Symbol
    
    module Create
    
    argument 1-B
    
    module Symbol
    
    module Scan_basis
    
    module Form
    
    module Symbol
    
    module type Profile
    
    module Scan_basis
    
    module Form
    
    module Symbol
    
    module Serial
    
    module Unicode
    
    module type Basis
    
    module Create
    
    argument 1-B
    
    module Scan_basis
    
    module Form
    
    module Symbol
    
    module type Profile
    
    module Scan_basis
    
    module Form
    
    module Symbol
- module Cf_base16
  - module Std
- module Cf_base32
  - module Hex
  - module Std
- module Cf_base64
  - module Mime
  - module Std
  - module Url
- module Cf_bsearch
  - module type Basis
  - module Char
  - module Char_basis
  - module Create
    
    argument 1-B
  - module Int
  - module Int_basis
  - module type Profile
- module Cf_bsearch_data
  - module Map
    
    module Aux
    
    module Of_array
    
    module type Profile
    
    module type Basis
    
    module Content
    
    module Index
    
    module Table
    
    module Search
    
    module Vector
    
    module Basis
    
    module Element
    
    module Char_basis
    
    module Content
    
    module Index
    
    module Table
    
    module Search
    
    module Vector
    
    module Basis
    
    module Element
    
    module Create
    
    argument 1-B
    
    module Content
    
    module Index
    
    module Table
    
    module Search
    
    module Vector
    
    module Basis
    
    module Element
    
    module Unsafe
    
    module Int_basis
    
    module Content
    
    module Index
    
    module Table
    
    module Search
    
    module Vector
    
    module Basis
    
    module Element
    
    module Of_char
    
    module Unsafe
    
    module Of_int
    
    module Unsafe
    
    module Of_string
    
    module Unsafe
    
    module type Profile
    
    module Unsafe
    
    module String_basis
    
    module Content
    
    module Index
    
    module Table
    
    module Search
    
    module Vector
    
    module Basis
    
    module Element
  - module Set
    
    module Create
    
    argument 1-T
    
    module Search
    
    module Vector
    
    module Basis
    
    module Element
    
    module Unsafe
    
    module Of_char
    
    module Unsafe
    
    module Of_int
    
    module Unsafe
    
    module Of_string
    
    module Unsafe
    
    module type Profile
    
    module Unsafe
  - module Table
    
    module type Basis
    
    module Search
    
    module Vector
    
    module Basis
    
    module Element
    
    module Char_basis
    
    module Search
    
    module Vector
    
    module Basis
    
    module Element
    
    module Create
    
    argument 1-B
    
    module Search
    
    module Vector
    
    module Basis
    
    module Element
    
    module Unsafe
    
    module Int_basis
    
    module Search
    
    module Vector
    
    module Basis
    
    module Element
    
    module Of_char
    
    module Unsafe
    
    module Of_int
    
    module Unsafe
    
    module Of_string
    
    module Unsafe
    
    module type Profile
    
    module Unsafe
    
    module String_basis
    
    module Search
    
    module Vector
    
    module Basis
    
    module Element
  - module Vector
    
    module type Basis
    
    module Create
    
    argument 1-E
    
    module Basis
    
    module Element
    
    module Int_basis
    
    module Of_char
    
    module Basis
    
    module Element
    
    module Of_int
    
    module Basis
    
    module Element
    
    module Of_string
    
    module Basis
    
    module Element
    
    module type Profile
    
    module Basis
    
    module Element
- module Cf_chain_scan
  - module ASCII
  - module type Basis
    
    module Scan
    
    module Affix
    
    module Infix
  - module Create
    
    argument 1-B
    
    module Scan
    
    module Affix
    
    module Infix
  - module type Profile
- module Cf_clockface
- module Cf_cmonad
  - module Basis
  - module Infix
- module Cf_decode
  - module Monad
    
    module Infix
  - scanner
- module Cf_deque
  - module A
  - module B
  - module type Direction
- module Cf_dfa
  - module type Affix
  - module Aux
    
    module type Char_dispatch
    
    module Eager
    
    module type Int_dispatch
    
    module Memo
    
    argument 1-E
  - module type Basis
    
    module Dispatch
    
    module Event
  - module Core
    
    argument 1-B
    
    module Dispatch
    
    module Event
  - module Create
    
    argument 1-B
    
    module Dispatch
    
    module Event
    
    module Affix
  - module type Dispatch
  - module type Machine
  - module Mk_affix
    
    argument 1-R
  - module type Profile
    
    module Affix
  - module type Regular
- module Cf_disjoint_interval
  - module Core
    
    module Create
    
    argument 1-B
    
    module Of_char
    
    module Of_int
    
    module type Profile
  - module Map
    
    module Of_char
    
    module Unsafe
    
    module Of_int
    
    module Unsafe
  - module Set
    
    module Of_char
    
    module Unsafe
    
    module Of_int
    
    module Unsafe
- module Cf_emit
  - module To_buffer
  - module To_formatter
- module Cf_encode
  - module Monad
    
    module Infix
  - emitter
  - framer
  - sync_emitter
- module Cf_endian
  - module BE
  - module LE
  - module SE
  - module Unsafe
    
    module BE
    
    module LE
    
    module SE
- module Cf_endian_big
  - module Unsafe
- module Cf_endian_core
  - module Safe
    
    argument 1-U
  - module type Unsafe
  - module Unsafe_octet
- module Cf_endian_little
  - module Unsafe
- module Cf_gregorian
- module Cf_index_node
  - module Binary
    
    argument 1-K
  - module type Profile
  - module Unary
    
    argument 1-E
- module Cf_journal
  - module Basic
    
    agent
    
    archiver
    
    event
    
    prioritizer
  - module Create
    
    argument 1-P
    
    agent
    
    archiver
    
    event
    
    prioritizer
  - module type Profile
    
    agent
    
    archiver
    
    event
    
    prioritizer
  - basic_agent
  - basic_channel_archiver
  - basic_prioritizer
- module Cf_lex_scan
  - module ASCII
    
    module Affix
    
    module DFA
  - module type Basis
    
    module Buffer
    
    module DFA
    
    module Affix
    
    module Form
    
    module Scan
    
    module Affix
    
    module Infix
  - module type Buffer
  - module Create
    
    argument 1-B
    
    module Buffer
    
    module DFA
    
    module Affix
    
    module Form
    
    module Scan
    
    module Affix
    
    module Infix
    
    module Affix
    
    module DFA
  - module type Profile
    
    module Affix
    
    module DFA
- module Cf_monad
  - module Binary
    
    module Create
    
    argument 1-B
    
    module Infix
    
    module type Profile
    
    module Infix
  - module Trinary
    
    module Create
    
    argument 1-B
    
    module Infix
    
    module type Profile
    
    module Infix
  - module Unary
    
    module Create
    
    argument 1-B
    
    module Infix
    
    module type Profile
    
    module Infix
- module Cf_monad_core
  - module Binary
    
    module type Basis
    
    module Create
    
    argument 1-B
    
    module Infix
    
    module type Infix
    
    module type Profile
    
    module Infix
  - module Trinary
    
    module type Basis
    
    module Create
    
    argument 1-B
    
    module Infix
    
    module type Infix
    
    module type Profile
    
    module Infix
  - module Unary
    
    module type Basis
    
    module Create
    
    argument 1-B
    
    module Infix
    
    module type Infix
    
    module type Profile
    
    module Infix
- module Cf_number_scan
  - module ASCII
  - module type Basis
    
    module Form
    
    module Scan
    
    module Affix
    
    module Infix
  - module Create
    
    argument 1-B
    
    module Form
    
    module Scan
    
    module Affix
    
    module Infix
  - module type Profile
- module Cf_radix_n
  - module type Profile
- module Cf_rbtree
  - module Map
    
    module Create
    
    argument 1-K
    
    module type Profile
  - module Set
    
    module Create
    
    argument 1-E
    
    module type Profile
- module Cf_record_scan
  - module type Basis
    
    module Content
    
    module Form
    
    module Index
    
    module Scan
    
    module Affix
    
    module Infix
  - module Create
    
    argument 1-B
    
    module Content
    
    module Form
    
    module Index
    
    module Scan
    
    module Affix
    
    module Infix
  - module type Profile
- module Cf_regx
  - module DFA
    
    module Affix
- module Cf_relations
  - module type Equal
  - module Int
  - module type Order
  - module type Std
- module Cf_sbheap
  - module Heap
    
    module Create
    
    argument 1-E
    
    module type Profile
  - module PQueue
    
    module Create
    
    argument 1-K
    
    module type Profile
- module Cf_scan
  - module ASCII
    
    module Affix
    
    module Infix
  - module type Basis
    
    module Form
    
    module Symbol
  - module Create
    
    argument 1-B
    
    module Form
    
    module Symbol
    
    module Affix
    
    module Infix
  - module type Form
  - module type Profile
    
    module Affix
    
    module Infix
  - module Simple
    
    module Basis
    
    argument 1-S
    
    module Form
    
    module Symbol
    
    module Create
    
    argument 1-S
    
    module Affix
    
    module Infix
    
    module Form
    
    module type Profile
    
    module Affix
    
    module Infix
  - module Staging
    
    module type Basis
    
    module Form
    
    module Scan
    
    module Affix
    
    module Infix
    
    module Token
    
    module Create
    
    argument 1-B
    
    module Form
    
    module Scan
    
    module Affix
    
    module Infix
    
    module Token
    
    module Affix
    
    module Infix
    
    module type Profile
    
    module Affix
    
    module Infix
- module Cf_scmonad
  - module Basis
  - module Infix
- module Cf_seq
  - module Infix
- module Cf_seqmonad
  - module Basis
  - module Functor
    
    module Binary
    
    argument 1-B
    
    module Trinary
    
    argument 1-B
    
    module Unary
    
    argument 1-B
  - module Infix
- module Cf_slice
- module Cf_slice_big
- module Cf_smonad
  - module Basis
  - module Infix
- module Cf_stdtime
  - epoch
  - unqualified
- module Cf_tai64
- module Cf_tai64n
- module Cf_type
  - module type Form
  - horizon
- module Cf_uri
  - absolute
  - basis
  - generic
  - relative
library OrsettoJSON
- module Json_emit
- module Json_event
- module Json_scan
  - module Affix
  - module Chain
  - module Infix
  - module Object
- module Json_type
library OrsettoUCS
- module Ucs_db_aux
  - module Quick
- module Ucs_db_core
- module Ucs_db_regx1
- module Ucs_lex_scan
  - module Create
    
    argument 1-S
    
    module Affix
    
    module Annot
    
    module Scan_basis
    
    module Form
    
    module Symbol
    
    module Infix
    
    module Affix
    
    module DFA
  - module type Profile
    
    module Affix
    
    module DFA
  - module UTF8
    
    module Affix
    
    module DFA
- module Ucs_normal
  - module NFC
  - module NFD
  - module NFKC
  - module NFKD
  - module type Profile
- module Ucs_property_core
- module Ucs_regx
  - module DFA
    
    module Affix
- module Ucs_scan
  - module Create
    
    argument 1-UTF
    
    module Affix
    
    module Annot
    
    module Scan_basis
    
    module Form
    
    module Symbol
    
    module Infix
  - module type Profile
    
    module Affix
    
    module Annot
    
    module Scan_basis
    
    module Form
    
    module Symbol
    
    module Infix
  - module UTF8
    
    module Affix
    
    module Annot
    
    module Scan_basis
    
    module Form
    
    module Symbol
    
    module Infix
- module Ucs_stream_safe
- module Ucs_text
  - module Unsafe
- module Ucs_transport
  - module UTF16be
  - module UTF16le
  - module UTF16se
  - module UTF32be
  - module UTF32le
  - module UTF32se
  - module UTF8
- module Ucs_transport_aux
  - module Private
    
    module type Basis
    
    module Create
    
    argument 1-B
  - module type Profile
- module Ucs_transport_utf16
  - module BE
  - module LE
  - module SE
- module Ucs_transport_utf32
  - module BE
  - module LE
  - module SE
- module Ucs_transport_utf8
- module Ucs_type
  - horizon

Libraries

This package provides the following libraries (via ocamlobjinfo):

OrsettoCBOR

Documentation:

Cbor_type Runtime type indications for CBOR encoded values.
Cbor_flyweight Concise Binary Object Representation (CBOR) flyweight implementation.
Cbor_event Concise Binary Object Representation (CBOR) events.
Cbor_encode Concise Binary Object Representation (CBOR) event and value encoders.
Cbor_decode Concise Binary Object Representation (CBOR) event decoder and parsers.

OrsettoCF

Documentation:

Cf_relations Utility relations.
Cf_journal Diagnostic event journaling (basis).
Cf_tai64 Computations with the Temps Atomique International (TAI) timescale.
Cf_tai64n Computations with the Temps Atomique International (TAI) timescale.
Cf_gregorian Civil dates in the proleptic Gregorian calendar.
Cf_clockface Civil time in the 24-hour digital clock face notation.
Cf_monad_core Core functions for monad operations.
Cf_seq Functional progressive sequences
Cf_seqmonad Monad functions for functional progressive sequences.
Cf_slice Slices of basic vector types, i.e. arrays, byte sequences and string.
Cf_slice_big Slices of basic vector types, i.e. arrays, byte sequences and string.
Cf_monad Monad operations.
Cf_type Extensible runtime type indicators and equality constraints.
Cf_decode Simple octet-stream decoders.
Cf_encode Simple octet-stream encoders.
Cf_endian_core Utility functions for safe operations with byte-order sensitive data.
Cf_endian_big Utility functions for big-endian byte order.
Cf_endian_little Utility functions for little-endian byte order.
Cf_endian Utility functions for byte-order sensitive data.
Cf_cmonad The continuation monad and its operators.
Cf_scmonad The state-continuation monad and its operators.
Cf_smonad The state monad and its operators.
Cf_radix_n Support logic for arbitrary Radix-N transcodings.
Cf_base16 Radix-16 transcoding.
Cf_base32 Radix-32 transcoding.
Cf_base64 Radix-64 transcoding.
Cf_deque Functional deque.
Cf_index_node Index codes for tree structures.
Cf_rbtree Functional red-black binary trees.
Cf_sbheap Functional skew-binomial heaps.
Cf_bsearch Binary search algorithm and data structures.
Cf_bsearch_data Data structures founded on sorted vectors.
Cf_disjoint_interval Data structures founded on vectors of sorted disjoint intervals.
Cf_emit Functional emitter/formatter combinators
Cf_scan Functional LL(x) parsing with monadic combinators.
Cf_annot Position annotation systems.
Cf_chain_scan Parsers for sequences of delimited elements.
Cf_record_scan Parser combinators for record types.
Cf_number_scan Parser combinators for numeric types.
Cf_dfa Functional composition of lazy deterministic finite automata.
Cf_regx Regular expression parsing, search and matching.
Cf_lex_scan Functional lexical analyzers.
Cf_stdtime Conversions between Standard Time, UTC and TAI.
Cf_uri General syntax of the Uniform Resource Identifier (URI)

OrsettoJSON

Documentation:

Json_type
Json_event JavaScript Object Notation (JSON) events.
Json_emit JavaScript Object Notation (JSON) output formatter.
Json_scan JavaScript Object Notation (JSON) input scanner.

OrsettoUCS

Documentation:

Ucs_ucdgen_aux
Ucs_db_aux Unicode character set properties.
Ucs_db_core
Ucs_db_regx1
Ucs_transport_aux
Ucs_transport_utf8
Ucs_transport_utf16
Ucs_transport_utf32
Ucs_transport Unicode Transport Form (UTF)
Ucs_property_core Unicode character set properties.
Ucs_normal Unicode Normalization Form
Ucs_stream_safe Unicode Stream Safe Format
Ucs_text Unicode texts encoded in UTF-8 as string.
Ucs_type Runtime type indications for Unicode text.
Ucs_scan Functional LL(x) parsing of Unicode text with monadic combinators.
Ucs_regx Regular expression parsing, search and matching with Unicode text.
Ucs_lex_scan