package yuujinchou

  1. Overview
  2. Docs

Module Trie.UntaggedSource

A convenience module Trie.Untagged derived from Trie for untagged tries Trie.untagged.

Sourcetype path = Trie.path
Sourcetype bwd_path = Trie.bwd_path
Sourcetype 'data t = 'data Trie.untagged
Sourceval empty : 'data t
Sourceval is_empty : 'data t -> bool
Sourceval root : 'data -> 'data t
Sourceval root_opt : 'data option -> 'data t
Sourceval prefix : path -> 'data t -> 'data t
Sourceval singleton : (path * 'data) -> 'data t
Sourceval equal : ('data -> 'data -> bool) -> 'data t -> 'data t -> bool
Sourceval find_subtree : path -> 'data t -> 'data t
Sourceval find_singleton : path -> 'data t -> 'data option
Sourceval find_root : 'data t -> 'data option
Sourceval iter : ?prefix:bwd_path -> (bwd_path -> 'data -> unit) -> 'data t -> unit
Sourceval map : ?prefix:bwd_path -> (bwd_path -> 'data1 -> 'data2) -> 'data1 t -> 'data2 t
Sourceval filter : ?prefix:bwd_path -> (bwd_path -> 'data -> bool) -> 'data t -> 'data t
Sourceval filter_map : ?prefix:bwd_path -> (bwd_path -> 'data1 -> 'data2 option) -> 'data1 t -> 'data2 t
Sourceval update_subtree : path -> ('data t -> 'data t) -> 'data t -> 'data t
Sourceval update_singleton : path -> ('data option -> 'data option) -> 'data t -> 'data t
Sourceval update_root : ('data option -> 'data option) -> 'data t -> 'data t
Sourceval union : ?prefix:bwd_path -> (bwd_path -> 'data -> 'data -> 'data) -> 'data t -> 'data t -> 'data t
Sourceval union_subtree : ?prefix:bwd_path -> (bwd_path -> 'data -> 'data -> 'data) -> 'data t -> (path * 'data t) -> 'data t
Sourceval union_singleton : ?prefix:bwd_path -> (bwd_path -> 'data -> 'data -> 'data) -> 'data t -> (path * 'data) -> 'data t
Sourceval union_root : ?prefix:bwd_path -> (bwd_path -> 'data -> 'data -> 'data) -> 'data t -> 'data -> 'data t
Sourceval detach_subtree : path -> 'data t -> 'data t * 'data t
Sourceval detach_singleton : path -> 'data t -> 'data option * 'data t
Sourceval detach_root : 'data t -> 'data option * 'data t
Sourceval to_seq : ?prefix:bwd_path -> 'data t -> (path * 'data) Seq.t
Sourceval to_seq_with_bwd_paths : ?prefix:bwd_path -> 'data t -> (bwd_path * 'data) Seq.t
Sourceval to_seq_values : 'data t -> 'data Seq.t
Sourceval of_seq : (path * 'data) Seq.t -> 'data t
Sourceval of_seq_with_merger : ?prefix:bwd_path -> (bwd_path -> 'data -> 'data -> 'data) -> (path * 'data) Seq.t -> 'data t
Sourceval tag : 'tag -> 'data t -> ('data, 'tag) Trie.t
Sourceval untag : ('data, _) Trie.t -> 'data t
OCaml

Innovation. Community. Security.