dolmen_loop 0.7 · OCaml Package

type lang = Logic.language

type ty_state = Typer.ty_state

type solve_state = unit

type 'solve state = {

}

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 ->
  'c ->
  'd

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

val flush : 'a state -> unit -> 'b 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 -> 'b state

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

val header_state : 'a state -> Headers.t

val set_header_state : 'a state -> Headers.t -> 'b 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 -> 'b 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 -> 'b state

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

package dolmen_loop