Module Dolmen_loop.StateSource

Sourcetype perm =
  1. | Allow
  2. | Warn
  3. | Error
Sourceexception File_not_found of Dolmen.Std.Loc.full * string * string
Sourceexception Input_lang_changed of Logic.language * Logic.language
Sourcetype ty_state = Typer.ty_state
Sourcetype solve_state = unit
Sourcetype 'solve state = {
  1. debug : bool;
  2. context : bool;
  3. max_warn : int;
  4. cur_warn : int;
  5. time_limit : float;
  6. size_limit : float;
  7. input_dir : string;
  8. input_lang : lang option;
  9. input_mode : [ `Full | `Incremental ] option;
  10. input_source : [ `Stdin | `File of string | `Raw of string * string ];
  11. input_file_loc : Dolmen.Std.Loc.file;
  12. header_check : bool;
  13. header_state : Headers.t;
  14. header_licenses : string list;
  15. header_lang_version : string option;
  16. type_state : ty_state;
  17. type_check : bool;
  18. type_strict : bool;
  19. solve_state : 'solve;
  20. export_lang : (lang * Format.formatter) list;
}
Sourceval pp_loc : Format.formatter -> Dolmen.Std.Loc.loc option -> unit
Sourceval error : ?code:Code.t -> ?loc:Dolmen.Std.Loc.full -> 'a -> ('b, Format.formatter, unit, unit, unit, 'c) format6 -> 'b
Sourceval warn : ?loc:Dolmen.Std.Loc.full -> 'a state -> ('b, Format.formatter, unit, 'a state) format4 -> 'b
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 strict_typing : 'a state -> bool
Sourceval is_interactive : 'a state -> bool
Sourceval prelude : 'a state -> string
Sourceval switch_to_full_mode : string -> 'a state -> 'a state
Sourceval set_lang_aux : 'a state -> lang -> 'a state
Sourceval set_lang : 'a state -> lang -> 'a state
Sourceval start : 'a -> unit
Sourceval stop : 'a -> unit
Sourceval file_not_found : loc:Dolmen.Std.Loc.full -> dir:string -> file:string -> 'a