package orsetto

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Overview
Interfaces

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

Functional skew-binomial heaps.

Overview

This module implements functional heaps and priority queues based on skew-binomial heaps. The underlying algorithm can be found in Chris Okasaki's Ph.D. thesis. These data structures have O(1) cost in space and time for most operations, including merge.

Interfaces

module Heap : sig ... end

Interfaces to persistent functional heap data structures.

module PQueue : sig ... end

Interfaces to persistent functional priority queue data structures.