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.0.tar.gz

md5=e6fc311885219d11faae87be4918566d

sha512=9e262f964d36404228f3f82eab803be126be247507c774ce417ce2ef652a8a0220da3e6446f971725a8080ba98c9679fd77e87956155af19c21b2925b2195e90

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