package orsetto

You can search for identifiers within the package.

in-package search v0.2.0

package orsetto

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

Legend:
Library
Module
Module type
Parameter
Class
Class type

The fully-decomposed compatibility normal form.

val quick_check : Ucs_db_aux.qc Ucs_db_aux.map

The quick-check property corresponding to the form.

val boundary_check : Uchar.t Seq.t -> Ucs_db_aux.qc

Use boundary_check s to consume s, and if possible, quickly find whether the sequence conforms to the normalization form.

Returns QC_yes if s is normalized, or QC_no if s is not normalized, and QC_maybe if the predicate can only be determined by the more costly function of comparing the sequence with the output of the transform function (see below).

val transform : Uchar.t Seq.t -> Uchar.t Seq.t

Use transform s to normalize s according to the form.