Results (cobol_typeck.Cobol

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 = {

result : 'a;
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