forester 2.1 · OCaml Package

type not_found_handler = P.context option -> Yuujinchou.Trie.bwd_path -> unit

type shadow_handler =
  P.context option ->
  Yuujinchou.Trie.bwd_path ->
  (P.data * P.tag) ->
  (P.data * P.tag) ->
  P.data * P.tag

type hook_handler =
  P.context option ->
  Yuujinchou.Trie.bwd_path ->
  P.hook ->
  (P.data, P.tag) Yuujinchou.Trie.t ->
  (P.data, P.tag) Yuujinchou.Trie.t

exception Locked

val resolve : Yuujinchou.Trie.path -> (P.data * P.tag) option

val include_singleton : 
  ?context_visible:P.context ->
  ?context_export:P.context ->
  (Yuujinchou.Trie.path * (P.data * P.tag)) ->
  unit

val include_subtree : 
  ?context_modifier:P.context ->
  ?context_visible:P.context ->
  ?context_export:P.context ->
  ?modifier:P.hook Yuujinchou.Language.t ->
  (Yuujinchou.Trie.path * (P.data, P.tag) Yuujinchou.Trie.t) ->
  unit

val import_singleton : 
  ?context_visible:P.context ->
  (Yuujinchou.Trie.path * (P.data * P.tag)) ->
  unit

val import_subtree : 
  ?context_modifier:P.context ->
  ?context_visible:P.context ->
  ?modifier:P.hook Yuujinchou.Language.t ->
  (Yuujinchou.Trie.path * (P.data, P.tag) Yuujinchou.Trie.t) ->
  unit

val modify_visible : 
  ?context_visible:P.context ->
  P.hook Yuujinchou.Language.t ->
  unit

val modify_export : 
  ?context_export:P.context ->
  P.hook Yuujinchou.Language.t ->
  unit

val export_visible : 
  ?context_modifier:P.context ->
  ?context_export:P.context ->
  P.hook Yuujinchou.Language.t ->
  unit

val get_export : unit -> (P.data, P.tag) Yuujinchou.Trie.t

val section : 
  ?context_modifier:P.context ->
  ?context_visible:P.context ->
  ?context_export:P.context ->
  ?modifier:P.hook Yuujinchou.Language.t ->
  Yuujinchou.Trie.path ->
  (unit -> 'a) ->
  'a

module type Perform = sig ... end

module Perform : sig ... end

module Silence : sig ... end

val run : 
  ?not_found:not_found_handler ->
  ?shadow:shadow_handler ->
  ?hook:hook_handler ->
  ?export_prefix:Yuujinchou.Trie.bwd_path ->
  ?init_visible:(P.data, P.tag) Yuujinchou.Trie.t ->
  (unit -> 'a) ->
  'a

val try_with : 
  ?not_found:not_found_handler ->
  ?shadow:shadow_handler ->
  ?hook:hook_handler ->
  (unit -> 'a) ->
  'a

val register_printer : 
  ([ `Hook of
       P.context option
       * Yuujinchou.Trie.bwd_path
       * P.hook
       * (P.data, P.tag) Yuujinchou.Trie.t
   | `NotFound of P.context option * Yuujinchou.Trie.bwd_path
   | `Shadow of
     P.context option
     * Yuujinchou.Trie.bwd_path
     * (P.data * P.tag)
     * (P.data * P.tag) ] ->
    string option) ->
  unit

package forester