State (dolmen_loop.Dolmen

type lang = Logic.language

type ty_state = Typer.ty_state

type solve_state = unit

type 'solve state = {

debug : bool;

reports : Report.Conf.t;

loc_style : [ `Short | `Contextual ];

max_warn : int;

cur_warn : int;

time_limit : float;

size_limit : float;

input_dir : string;

input_lang : lang option;

input_mode : [ `Full | `Incremental ] option;

input_source : [ `Stdin | `File of string | `Raw of string * string ];

input_file_loc : Dolmen.Std.Loc.file;

header_check : bool;

header_state : Headers.t;

header_licenses : string list;

header_lang_version : string option;

type_state : ty_state;

type_check : bool;

solve_state : 'solve;

export_lang : (lang * Stdlib.Format.formatter) list;

}

type t = solve_state state

exception Error of t

val loc_input : 'a state -> Dolmen.Std.Loc.loc -> Pp_loc.Input.t option

val pp_loc : 
  'a state ->
  Stdlib.Format.formatter ->
  Dolmen.Std.Loc.loc option ->
  unit

val error : 
  ?loc:Dolmen.Std.Loc.full ->
  'a state ->
  'b Report.Error.t ->
  'b ->
  'c

val warn : 
  ?loc:Dolmen.Std.Loc.full ->
  'a state ->
  'b Dolmen_loop__Report.warning ->
  'b ->
  'a state

val flush : 'a state -> unit -> 'a state

val time_limit : 'a state -> float

val size_limit : 'a state -> float

val input_dir : 'a state -> string

val input_mode : 'a state -> [ `Full | `Incremental ] option

val input_lang : 'a state -> lang option

val input_source : 
  'a state ->
  [ `File of string | `Raw of string * string | `Stdin ]

val input_file_loc : 'a state -> Dolmen.Std.Loc.file

val set_input_file_loc : 'a state -> Dolmen.Std.Loc.file -> 'a state

val set_mode : 'a state -> [ `Full | `Incremental ] -> 'a state

val header_state : 'a state -> Headers.t

val set_header_state : 'a state -> Headers.t -> 'a state

val check_headers : 'a state -> bool

val allowed_licenses : 'a state -> string list

val allowed_lang_version : 'a state -> string option

val ty_state : 'a state -> ty_state

val set_ty_state : 'a state -> ty_state -> 'a state

val typecheck : 'a state -> bool

val is_interactive : 'a state -> bool

val prelude : 'a state -> string

val full_mode_switch : string Report.Warning.t

val switch_to_full_mode : string -> 'a state -> 'a state

val set_lang : 'a state -> lang -> 'a state