Module Cobol_common.Diagnostics

module TYPES : sig ... end
include module type of TYPES with type severity = TYPES.severity and type diagnostic = TYPES.diagnostic and type diagnostics = TYPES.diagnostics and type 'a in_result = 'a TYPES.in_result and type 'a with_diags = 'a TYPES.with_diags
type severity = TYPES.severity =
  1. | Hint
  2. | Note
  3. | Info
  4. | Warn
  5. | Error
type diagnostic = TYPES.diagnostic
type diagnostics = TYPES.diagnostics
type 'a in_result = 'a TYPES.in_result
type 'a with_diags = 'a TYPES.with_diags = {
  1. result : 'a;
  2. diags : diagnostics;
}
type t = diagnostic
val pp : t Pretty.printer
val pp_msg : t Pretty.printer
val message : t -> Pretty.delayed
val severity : t -> severity
val location : t -> Srcloc.srcloc option

Set of diagnostics

module Set : sig ... end

Functional and imperative interfaces to diagnostics

module One : sig ... end
module Now : sig ... end
module Acc : sig ... end
module Cont : sig ... end

Allow direct access to persistent diagnostics reporting

include module type of Acc
val diag : Cobol_common__.Diagnostics_sigs.severity -> (Set.t as 's) -> ?loc:Srcloc.srcloc -> (_, 's) Pretty.func
val hint : (Set.t as 's) -> ?loc:Srcloc.srcloc -> (_, 's) Pretty.func
val note : (Set.t as 's) -> ?loc:Srcloc.srcloc -> (_, 's) Pretty.func
val info : (Set.t as 's) -> ?loc:Srcloc.srcloc -> (_, 's) Pretty.func
val warn : (Set.t as 's) -> ?loc:Srcloc.srcloc -> (_, 's) Pretty.func
val error : (Set.t as 's) -> ?loc:Srcloc.srcloc -> (_, 's) Pretty.func
val blind : Set.t -> t -> Set.t
include module type of Cont
val kdiag : Cobol_common__.Diagnostics_sigs.severity -> (t -> _) -> ?loc:Srcloc.srcloc -> (_, _) Pretty.func
val khint : (t -> _) -> ?loc:Srcloc.srcloc -> (_, _) Pretty.func
val knote : (t -> _) -> ?loc:Srcloc.srcloc -> (_, _) Pretty.func
val kinfo : (t -> _) -> ?loc:Srcloc.srcloc -> (_, _) Pretty.func
val kwarn : (t -> _) -> ?loc:Srcloc.srcloc -> (_, _) Pretty.func
val kerror : (t -> _) -> ?loc:Srcloc.srcloc -> (_, _) Pretty.func
val kblind : (t -> 'a) -> t -> 'a
val result : ?diags:diagnostics -> 'a -> 'a with_diags
val with_more_diags : diags:diagnostics -> 'a with_diags -> 'a with_diags
val some_result : ?diags:diagnostics -> 'a -> 'a option with_diags
val no_result : diags:diagnostics -> _ option with_diags
val map_result : f:('a -> 'b) -> 'a with_diags -> 'b with_diags
val map2_results : f:('a -> 'b -> 'c with_diags as 'x) -> 'a with_diags -> 'b with_diags -> 'x
val map_some_result : f:('a -> 'b) -> 'a option with_diags -> 'b option with_diags
val more_result : f:('a -> 'b with_diags) -> 'a with_diags -> 'b with_diags
val cons_option_result : 'a option with_diags -> 'a list with_diags -> 'a list with_diags
val forget_result : _ with_diags -> diagnostics
val show_n_forget : ?set_status:bool -> ?min_level:severity -> ?ppf:Stdlib.Format.formatter -> 'a with_diags -> 'a
val sink_result : ?set_status:bool -> ?ppf:Stdlib.Format.formatter -> _ with_diags -> unit
val hint_result : 'a -> ?loc:Srcloc.srcloc -> ('b, 'a with_diags) Pretty.func
val note_result : 'a -> ?loc:Srcloc.srcloc -> ('b, 'a with_diags) Pretty.func
val info_result : 'a -> ?loc:Srcloc.srcloc -> ('b, 'a with_diags) Pretty.func
val warn_result : 'a -> ?loc:Srcloc.srcloc -> ('b, 'a with_diags) Pretty.func
val error_result : 'a -> ?loc:Srcloc.srcloc -> ('b, 'a with_diags) Pretty.func
module type STATEFUL = sig ... end
module type STATEFUL0 = sig ... end
module MakeStateful (H : sig ... end) : STATEFUL0
module Fatal : sig ... end