dolmen_loop 0.6 · OCaml Package

type perm =

exception File_not_found of Dolmen.Std.Loc.full * string * string

exception Input_lang_changed of Logic.language * Logic.language

type lang = Logic.language

type ty_state = Typer.ty_state

type solve_state = unit

type 'solve state = {

}

type t = solve_state state

val pp_loc : Format.formatter -> Dolmen.Std.Loc.loc option -> unit

val error : 
  ?code:Code.t ->
  ?loc:Dolmen.Std.Loc.full ->
  'a ->
  ('b, Format.formatter, unit, unit, unit, 'c) format6 ->
  'b

val warn : 
  ?loc:Dolmen.Std.Loc.full ->
  'a state ->
  ('b, Format.formatter, unit, 'a state) format4 ->
  'b

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 strict_typing : 'a state -> bool

val is_interactive : 'a state -> bool

val prelude : 'a state -> string

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

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

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

val start : 'a -> unit

val stop : 'a -> unit

val file_not_found : loc:Dolmen.Std.Loc.full -> dir:string -> file:string -> 'a

package dolmen_loop