package dolmen_loop

  1. Overview
  2. Docs

Module Dolmen_loop.StateSource

Sourcetype ty_state = Typer.ty_state
Sourcetype solve_state = unit
Sourcetype 'solve state = {
  1. debug : bool;
  2. reports : Report.Conf.t;
  3. loc_style : [ `Short | `Contextual ];
  4. max_warn : int;
  5. cur_warn : int;
  6. time_limit : float;
  7. size_limit : float;
  8. input_dir : string;
  9. input_lang : lang option;
  10. input_mode : [ `Full | `Incremental ] option;
  11. input_source : [ `Stdin | `File of string | `Raw of string * string ];
  12. input_file_loc : Dolmen.Std.Loc.file;
  13. header_check : bool;
  14. header_state : Headers.t;
  15. header_licenses : string list;
  16. header_lang_version : string option;
  17. type_state : ty_state;
  18. type_check : bool;
  19. solve_state : 'solve;
  20. export_lang : (lang * Format.formatter) list;
}
Sourceexception Error of t
Sourceval loc_input : 'a state -> Dolmen.Std.Loc.loc -> Pp_loc.Input.t option
Sourceval pp_loc : 'a state -> Format.formatter -> Dolmen.Std.Loc.loc option -> unit
Sourceval error : ?loc:??? -> 'a state -> 'b Report.Error.t -> 'b -> 'c
Sourceval warn : ?loc:??? -> 'a state -> 'b Dolmen_loop__Report.warning -> 'b -> 'a state
Sourceval flush : 'a state -> unit -> 'a state
Sourceval time_limit : 'a state -> float
Sourceval size_limit : 'a state -> float
Sourceval input_dir : 'a state -> string
Sourceval input_mode : 'a state -> [ `Full | `Incremental ] option
Sourceval input_lang : 'a state -> lang option
Sourceval input_source : 'a state -> [ `File of string | `Raw of string * string | `Stdin ]
Sourceval input_file_loc : 'a state -> Dolmen.Std.Loc.file
Sourceval set_input_file_loc : 'a state -> Dolmen.Std.Loc.file -> 'a state
Sourceval set_mode : 'a state -> [ `Full | `Incremental ] -> 'a state
Sourceval header_state : 'a state -> Headers.t
Sourceval set_header_state : 'a state -> Headers.t -> 'a state
Sourceval check_headers : 'a state -> bool
Sourceval allowed_licenses : 'a state -> string list
Sourceval allowed_lang_version : 'a state -> string option
Sourceval ty_state : 'a state -> ty_state
Sourceval set_ty_state : 'a state -> ty_state -> 'a state
Sourceval typecheck : 'a state -> bool
Sourceval is_interactive : 'a state -> bool
Sourceval prelude : 'a state -> string
Sourceval full_mode_switch : string Report.Warning.t
Sourceval switch_to_full_mode : string -> 'a state -> 'a state
Sourceval set_lang : 'a state -> lang -> 'a state