dolmen_loop 0.9 · OCaml Package

module M : sig ... end

type t = M.t

type 'a key = {

id : int;
name : string;
pipe : string;
inj : 'a Dolmen.Std.Hmap.injection;

}

type report_style =

| Minimal
| Regular
| Contextual

type source = [

| `Stdin
| `File of string
| `Raw of string * string

]

type mode = [

| `Full
| `Incremental

]

type 'lang file = {

lang : 'lang option;
mode : mode option;
loc : Dolmen.Std.Loc.file;
dir : string;
source : source;

}

exception Error of t

exception Key_not_found of t * string * string

val split_input : 
  [< `File of string | `Stdin ] ->
  string * [> `File of string | `Stdin ]

val mk_file : 
  ?lang:'a ->
  ?mode:mode ->
  ?loc:Dolmen.Std.Loc.file ->
  string ->
  source ->
  'a file

module type S = sig ... end

val empty : t

val key_counter : int ref

val create_key : pipe:string -> string -> 'a key

val get : 'a key -> t -> 'a

val get_or : default:'a -> 'a key -> M.t -> 'a

val set : 'a key -> 'a -> M.t -> M.t

val update_opt : 'a key -> ('a option -> 'a option) -> M.t -> M.t

val update : 'a key -> ('a -> 'a) -> t -> M.t

val key_name : 'a key -> string

val pipe : string

val bt : bool key

val debug : bool key

val reports : Report.Conf.t key

val report_style : report_style key

val max_warn : int key

val cur_warn : int key

val time_limit : float key

val size_limit : float key

val logic_file : Logic.language file key

val response_file : Response.language file key

val init : 
  ?bt:bool ->
  debug:bool ->
  report_style:report_style ->
  reports:Report.Conf.t ->
  max_warn:int ->
  ?cur_warn:int ->
  time_limit:float ->
  size_limit:float ->
  response_file:Response.language file ->
  M.t ->
  M.t

val loc_input : 
  ?file:'a file ->
  t ->
  Dolmen.Std.Loc.loc ->
  Pp_loc.Input.t option

val pp_loc : 
  ?file:'a file ->
  t ->
  Format.formatter ->
  Dolmen.Std.Loc.loc option ->
  unit

val flush : t -> unit -> M.t

val error : 
  ?file:'a file ->
  ?loc:Dolmen.Std.Loc.full ->
  t ->
  'b Report.Error.t ->
  'b ->
  'c

val warn : 
  ?file:'a file ->
  ?loc:Dolmen.Std.Loc.full ->
  t ->
  ([ `Warning ], 'b) Dolmen_loop__Report.aux ->
  'b ->
  t

package dolmen_loop