package base_trie

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

base_trie
- Trie
  - Iterator
    
    Impl0
    
    Impl1
    
    Listable0
    
    Listable1
    
    Make0
    
    Impl
    
    Make1
    
    Impl
    
    Monomorphic
    
    Elt
    
    Iterator
    
    Of_list
    
    Of_listable0
    
    Seq
    
    Of_listable1
    
    Seq
    
    Of_string
    
    S0
    
    S1
  - Keychainable
    
    Impl
    
    Iterator
    
    Key
    
    Listable
    
    Make
    
    Impl
    
    Iterator
    
    Key
    
    Of_list
    
    Key
    
    Of_listable
    
    Key
    
    Keychain
    
    Of_string
    
    Key
    
    S
    
    Iterator
    
    Key
  - Make
    
    Keychain
    
    Iterator
    
    Key
  - Of_list
    
    Key
  - Of_listable
    
    Key
    
    Keychain
  - Of_string
  - Or_duplicate
  - S
    
    Keychain
    
    Iterator
    
    Key
base_trie.test_trie
- Test_trie
base_trie.trie_stable
- Trie_stable
  - V1
    
    Keychain_stable
    
    Keychain_unstable
    
    Iterator
    
    Key
base_trie.trie_stable_test
- Trie_stable_test

Legend:
Library
Module
Module type
Parameter
Class
Class type

Takes an unstable keychain implementation to define the in-memory representation, and a stable serialization for keychain values to define the serialization.

Parameters

module Keychain_unstable : Trie.Keychainable.S

module Keychain_stable : Core.Core_stable.Stable_with_witness with type t = Keychain_unstable.t

Signature

type 'a t = 'a Trie.Make(Keychain_unstable).t

include Core.Core_stable.Stable1_with_witness with type 'a t := 'a t

val stable_witness : 
  'a Ppx_stable_witness_runtime.Stable_witness.t ->
  'a t Ppx_stable_witness_runtime.Stable_witness.t

include Bin_prot.Binable.S1 with type 'a t := 'a t

val bin_shape_t : Bin_prot.Shape.t -> Bin_prot.Shape.t

val bin_size_t : ('a, 'a t) Bin_prot.Size.sizer1

val bin_write_t : ('a, 'a t) Bin_prot.Write.writer1

val bin_read_t : ('a, 'a t) Bin_prot.Read.reader1

val __bin_read_t__ : ('a, int -> 'a t) Bin_prot.Read.reader1

val bin_writer_t : ('a, 'a t) Bin_prot.Type_class.S1.writer

val bin_reader_t : ('a, 'a t) Bin_prot.Type_class.S1.reader

val bin_t : ('a, 'a t) Bin_prot.Type_class.S1.t

include Ppx_compare_lib.Comparable.S1 with type 'a t := 'a t

val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int

include Sexplib0.Sexpable.S1 with type 'a t := 'a t

val t_of_sexp : (Sexplib0.Sexp.t -> 'a) -> Sexplib0.Sexp.t -> 'a t

val sexp_of_t : ('a -> Sexplib0.Sexp.t) -> 'a t -> Sexplib0.Sexp.t

val map : 'a t -> f:('a -> 'b) -> 'b t