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

3.1.0.tar.gz

md5=3512b493a31b0d1073ba4e48e8058493

sha512=b6e5ad2f86132d1874cb943546375e2f1b987a0c65628d71f17827f1ff7435df476c86fb135b34b3ff302f99ea54a21b90730257e12aa41cce170fae57c422b0

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