package forester

You can search for identifiers within the package.

in-package search v0.2.0

forester.core
- Core
  - BaseN
    
    Base36
    
    I
    
    Make
    
    _
    
    S
  - Code
  - Eval
  - Expand
    
    Builtins
    
    Transclude
    
    UnitMap
  - Prim
  - Query
  - Range
  - Reporter
    
    Message
  - Resolver
    
    P
    
    Scope
    
    Perform
    
    Silence
  - Sem
    
    MethodTable
    
    Query
    
    Util
  - Syn
forester.frontend
- Forester
  - Analysis
    
    Gph
    
    Map
    
    Tbl
    
    Topo
  - Build_latex
  - Forest
  - Grammar
  - LaTeX_queue
    
    Make
    
    S
  - LaTeX_template
  - Lexer
forester.prelude
- Prelude
  - Compare
  - Date
  - Eio_util
    
    NullSink
  - Printer_kit
    
    Kit
    
    P
    
    S
    
    S0
  - String_util
forester.render
- Render
  - Render_bibtex
    
    Metas
    
    Printer
    
    P0
  - Render_effect
    
    Handler
    
    Perform
    
    Run
    
    _
  - Render_json
  - Render_latex
  - Render_rss
  - Render_text
    
    Printer
  - Render_verbatim
    
    Printer
  - Render_xml
  - Xml_printer
    
    P0

Legend:
Library
Module
Module type
Parameter
Class
Class type

module Message : sig ... end

include sig ... end

val emit : 
  ?severity:Asai.Diagnostic.severity ->
  ?loc:Asai.Range.t ->
  ?backtrace:Asai.Diagnostic.backtrace ->
  ?extra_remarks:Asai.Diagnostic.loctext list ->
  Message.t ->
  string ->
  unit

val emitf : 
  ?severity:Asai.Diagnostic.severity ->
  ?loc:Asai.Range.t ->
  ?backtrace:Asai.Diagnostic.backtrace ->
  ?extra_remarks:Asai.Diagnostic.loctext list ->
  Message.t ->
  ('a, Format.formatter, unit, unit) format4 ->
  'a

val emit_diagnostic : Message.t Asai.Diagnostic.t -> unit

val fatal : 
  ?severity:Asai.Diagnostic.severity ->
  ?loc:Asai.Range.t ->
  ?backtrace:Asai.Diagnostic.backtrace ->
  ?extra_remarks:Asai.Diagnostic.loctext list ->
  Message.t ->
  string ->
  'a

val fatalf : 
  ?severity:Asai.Diagnostic.severity ->
  ?loc:Asai.Range.t ->
  ?backtrace:Asai.Diagnostic.backtrace ->
  ?extra_remarks:Asai.Diagnostic.loctext list ->
  Message.t ->
  ('a, Format.formatter, unit, 'b) format4 ->
  'a

val fatal_diagnostic : Message.t Asai.Diagnostic.t -> 'a

val get_backtrace : unit -> Asai.Diagnostic.backtrace

val with_backtrace : Asai.Diagnostic.backtrace -> (unit -> 'a) -> 'a

val trace : ?loc:Asai.Range.t -> string -> (unit -> 'a) -> 'a

val tracef : 
  ?loc:Asai.Range.t ->
  ('a, Format.formatter, unit, (unit -> 'b) -> 'b) format4 ->
  'a

val trace_text : 
  ?loc:Asai.Range.t ->
  Asai.Diagnostic.text ->
  (unit -> 'a) ->
  'a

val trace_loctext : Asai.Diagnostic.loctext -> (unit -> 'a) -> 'a

val get_loc : unit -> Asai.Range.t option

val with_loc : Asai.Range.t option -> (unit -> 'a) -> 'a

val merge_loc : Asai.Range.t option -> (unit -> 'a) -> 'a

val diagnostic : 
  ?severity:Asai.Diagnostic.severity ->
  ?loc:Asai.Range.t ->
  ?backtrace:Asai.Diagnostic.backtrace ->
  ?extra_remarks:Asai.Diagnostic.loctext list ->
  Message.t ->
  string ->
  Message.t Asai.Diagnostic.t

val diagnosticf : 
  ?severity:Asai.Diagnostic.severity ->
  ?loc:Asai.Range.t ->
  ?backtrace:Asai.Diagnostic.backtrace ->
  ?extra_remarks:Asai.Diagnostic.loctext list ->
  Message.t ->
  ('a, Format.formatter, unit, Message.t Asai.Diagnostic.t) format4 ->
  'a

val kdiagnosticf : 
  ?severity:Asai.Diagnostic.severity ->
  ?loc:Asai.Range.t ->
  ?backtrace:Asai.Diagnostic.backtrace ->
  ?extra_remarks:Asai.Diagnostic.loctext list ->
  (Message.t Asai.Diagnostic.t -> 'b) ->
  Message.t ->
  ('a, Format.formatter, unit, 'b) format4 ->
  'a

val run : 
  ?init_loc:Asai.Range.t ->
  ?init_backtrace:Asai.Diagnostic.backtrace ->
  emit:(Message.t Asai.Diagnostic.t -> unit) ->
  fatal:(Message.t Asai.Diagnostic.t -> 'a) ->
  (unit -> 'a) ->
  'a

val adopt : 
  ('message Asai.Diagnostic.t -> Message.t Asai.Diagnostic.t) ->
  (?init_loc:Asai.Range.t ->
    ?init_backtrace:Asai.Diagnostic.backtrace ->
    emit:('message Asai.Diagnostic.t -> unit) ->
    fatal:('message Asai.Diagnostic.t -> 'a) ->
    (unit -> 'a) ->
    'a) ->
  (unit -> 'a) ->
  'a

val try_with : 
  ?emit:(Message.t Asai.Diagnostic.t -> unit) ->
  ?fatal:(Message.t Asai.Diagnostic.t -> 'a) ->
  (unit -> 'a) ->
  'a

val map_diagnostic : 
  (Message.t Asai.Diagnostic.t -> Message.t Asai.Diagnostic.t) ->
  (unit -> 'a) ->
  'a

val register_printer : 
  ([ `Emit of Message.t Asai.Diagnostic.t
   | `Fatal of Message.t Asai.Diagnostic.t
   | `Trace ] ->
    string option) ->
  unit