package forester

  1. Overview
  2. Docs
A tool for tending mathematical forests

Install 

dune-project
 Dependency

sr.ht Readme Edit opam file Versions (17)

Authors

  1. J
    Jonathan Sterling

Maintainers

  1. J
    Jonathan Sterling

Sources

4.0.1.tar.gz
md5=1781b3d67f7ff4edaeb5cfdedba46b9e
sha512=879a583fd3ddf1cf44039fbe9a1d7280e9cc9cc0340506561dc8c6bb6b792db7c512a682d4d09d6c6b0b3b14940665573c9d94580c9ce0a87ee05822fbe4c229

doc/forester.core/Core/Reporter/index.html

Module Core.ReporterSource

Sourcemodule Message : sig ... end
include sig ... end
Sourceval emit : ?severity:Asai.Diagnostic.severity -> ?loc:Asai.Range.t -> ?backtrace:Asai.Diagnostic.backtrace -> ?extra_remarks:Asai.Diagnostic.loctext list -> Message.t -> string -> unit
Sourceval 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
Sourceval emit_diagnostic : Message.t Asai.Diagnostic.t -> unit
Sourceval fatal : ?severity:Asai.Diagnostic.severity -> ?loc:Asai.Range.t -> ?backtrace:Asai.Diagnostic.backtrace -> ?extra_remarks:Asai.Diagnostic.loctext list -> Message.t -> string -> 'a
Sourceval 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
Sourceval fatal_diagnostic : Message.t Asai.Diagnostic.t -> 'a
Sourceval get_backtrace : unit -> Asai.Diagnostic.backtrace
Sourceval with_backtrace : Asai.Diagnostic.backtrace -> (unit -> 'a) -> 'a
Sourceval trace : ?loc:Asai.Range.t -> string -> (unit -> 'a) -> 'a
Sourceval tracef : ?loc:Asai.Range.t -> ('a, Format.formatter, unit, (unit -> 'b) -> 'b) format4 -> 'a
Sourceval trace_text : ?loc:Asai.Range.t -> Asai.Diagnostic.text -> (unit -> 'a) -> 'a
Sourceval trace_loctext : Asai.Diagnostic.loctext -> (unit -> 'a) -> 'a
Sourceval get_loc : unit -> Asai.Range.t option
Sourceval with_loc : Asai.Range.t option -> (unit -> 'a) -> 'a
Sourceval merge_loc : Asai.Range.t option -> (unit -> 'a) -> 'a
Sourceval 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
Sourceval 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
Sourceval 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
Sourceval 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
Sourceval 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
Sourceval try_with : ?emit:(Message.t Asai.Diagnostic.t -> unit) -> ?fatal:(Message.t Asai.Diagnostic.t -> 'a) -> (unit -> 'a) -> 'a
Sourceval map_diagnostic : (Message.t Asai.Diagnostic.t -> Message.t Asai.Diagnostic.t) -> (unit -> 'a) -> 'a
Sourceval register_printer : ([ `Emit of Message.t Asai.Diagnostic.t | `Fatal of Message.t Asai.Diagnostic.t | `Trace ] -> string option) -> unit