Module `Resolver.Scope`Source

Sourcetype 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

Source

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

Sourceexception Locked

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Sourceval get_visible : unit -> (P.data, P.tag) Yuujinchou.Trie.t

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

Source

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

Sourcemodule type Perform = sig ... end

Sourcemodule Perform : sig ... end

Sourcemodule Silence : sig ... end

Source

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

Source

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

Source

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

Install

Dune Dependency

Authors

Maintainers

Sources

doc/forester.core/Core/Resolver/Scope/index.html

Module `Resolver.Scope`Source

package forester

Install

Dune Dependency

Authors

Maintainers

Sources

doc/forester.core/Core/Resolver/Scope/index.html

Module Resolver.ScopeSource

Module `Resolver.Scope`Source