include module type of struct include Dl.State end
type !'a info = 'a Dolmen_loop__State.info = {
name : string;
pipe : string;
}
type report_style = Dolmen_loop__State.report_style =
| Minimal
| Regular
| Contextual
type source = [
| `File of string
| `Raw of string * string
| `Stdin
]
type mode = [
| `Full
| `Incremental
]
type !'lang file = 'lang Dolmen_loop__State.file = {
lang : 'lang option;
mode : mode option;
loc : Dolmen.Std.Loc.file;
dir : string;
source : source;
}
exception Key_not_found of t * string * string
val mk_file :
?lang:'a ->
?mode:mode ->
?loc:Dolmen.Std.Loc.file ->
string ->
source ->
'a file
module type S = sig ... end
val create_key : pipe:string -> string -> 'a M.key
val get : 'a M.key -> t -> 'a
val get_or : default:'a -> 'a M.key -> M.t -> 'a
val set : 'a M.key -> 'a -> M.t -> M.t
val update_opt : 'a M.key -> ('a option -> 'a option) -> M.t -> M.t
val update : 'a M.key -> ('a -> 'a) -> t -> M.t
val reports : Dolmen_loop.Report.Conf.t key
val time_limit : float key
val size_limit : float key
val logic_file : Dolmen_loop.Logic.language file key
val response_file : Dolmen_loop.Response.language file key
val init :
?bt:bool ->
debug:bool ->
report_style:report_style ->
reports:Dolmen_loop.Report.Conf.t ->
max_warn:int ->
?cur_warn:int ->
time_limit:float ->
size_limit:float ->
response_file:Dolmen_loop.Response.language file ->
M.t ->
M.t
val pp_loc :
?file:'a file ->
t ->
Stdlib.Format.formatter ->
Dolmen.Std.Loc.loc option ->
unit
val flush : t -> unit -> M.t
val warn :
?file:'a file ->
?loc:Dolmen.Std.Loc.full ->
t ->
'b Dolmen_loop__Report.Warning.t ->
'b ->
t
val error :
?file:'a file ->
?loc:Dolmen.Std.Loc.full ->
t ->
'b Dl.Report.Error.t ->
'b ->
'c