package forester

You can search for identifiers within the package.

in-package search v0.2.0

A tool for tending mathematical forests

Install

Dune Dependency

sr.ht Readme Edit opam file Versions (17)

Authors

J

Jonathan Sterling

Maintainers

J

Jonathan Sterling

Sources

4.0.1.tar.gz

md5=1781b3d67f7ff4edaeb5cfdedba46b9e

sha512=879a583fd3ddf1cf44039fbe9a1d7280e9cc9cc0340506561dc8c6bb6b792db7c512a682d4d09d6c6b0b3b14940665573c9d94580c9ce0a87ee05822fbe4c229

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

Module `Core.Reporter`Source

Sourcemodule Message : sig ... end

include sig ... end

Source

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

Source

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

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

Source

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

Source

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

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

Source

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

Source

val 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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

package forester

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module Core.ReporterSource

Module `Core.Reporter`Source