Module Cobol_typeck.Results

Results with diagnostics

include Cobol_common.Diagnostics_accumulator.S with type t := Cobol_typeck__.Typeck_diagnostics.diagnostic list
module TYPES : sig ... end
include module type of TYPES with type 'a with_diags = 'a TYPES.with_diags
type 'a with_diags = 'a TYPES.with_diags = {
  1. result : 'a;
  2. diags : Cobol_typeck__.Typeck_diagnostics.diagnostic list;
}
val result : ?diags:Cobol_typeck__.Typeck_diagnostics.diagnostic list -> 'a -> 'a with_diags
val simple_result : 'a -> 'a with_diags
val some_result : ?diags:Cobol_typeck__.Typeck_diagnostics.diagnostic list -> 'a -> 'a option with_diags
val no_result : diags:Cobol_typeck__.Typeck_diagnostics.diagnostic list -> _ option with_diags
val with_diags : 'a -> Cobol_typeck__.Typeck_diagnostics.diagnostic list -> 'a with_diags
val with_more_diags : diags:Cobol_typeck__.Typeck_diagnostics.diagnostic list -> 'a with_diags -> 'a with_diags
val result_only : 'a with_diags -> 'a
val forget_result : _ with_diags -> Cobol_typeck__.Typeck_diagnostics.diagnostic list
val more_result : f:('a -> 'b with_diags) -> 'a with_diags -> 'b 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 merge_results : f:('a -> 'b -> 'c) -> 'a with_diags -> 'b with_diags -> 'c with_diags
val cons_option_result : 'a option with_diags -> 'a list with_diags -> 'a list with_diags
val translate_diags : 'a with_diags -> 'a Cobol_common.Diagnostics.with_diags
val show_n_forget : ?set_status:bool -> ?min_level:Cobol_common.Diagnostics.severity -> ?ppf:Stdlib.Format.formatter -> 'a with_diags -> 'a
val sink_result : ?set_status:bool -> ?ppf:Stdlib.Format.formatter -> _ with_diags -> unit