package forester

  1. Overview
  2. Docs
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, Stdlib.Format.formatter, unit, unit) Stdlib.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, Stdlib.Format.formatter, unit, 'b) Stdlib.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, Stdlib.Format.formatter, unit, (unit -> 'b) -> 'b) Stdlib.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, Stdlib.Format.formatter, unit, Message.t Asai__.Diagnostic.t) Stdlib.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, Stdlib.Format.formatter, unit, 'b) Stdlib.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
OCaml

Innovation. Community. Security.