Module `Trie.Untagged`Source

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

val map : 
  ?prefix:bwd_path ->
  (bwd_path -> 'data1 -> 'data2) ->
  'data1 t ->
  'data2 t

val filter : 
  ?prefix:bwd_path ->
  (bwd_path -> 'data -> bool) ->
  'data t ->
  'data t

val 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

val update_singleton : 
  path ->
  ('data option -> 'data option) ->
  'data t ->
  'data t

Sourceval update_root : ('data option -> 'data option) -> 'data t -> 'data t

val union : 
  ?prefix:bwd_path ->
  (bwd_path -> 'data -> 'data -> 'data) ->
  'data t ->
  'data t ->
  'data t

val union_subtree : 
  ?prefix:bwd_path ->
  (bwd_path -> 'data -> 'data -> 'data) ->
  'data t ->
  (path * 'data t) ->
  'data t

val union_singleton : 
  ?prefix:bwd_path ->
  (bwd_path -> 'data -> 'data -> 'data) ->
  'data t ->
  (path * 'data) ->
  'data t

val 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

val 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

val 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

package yuujinchou