Module `Dolmen_loop.State`Source

Sourcetype 'a info = {

name : string;
pipe : string;

}

module M : sig ... end

Sourcetype t = M.t

Sourcetype 'a key = 'a M.key

Sourcetype report_style =

| Minimal
| Regular
| Contextual

Sourcetype source = [

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

]

Sourcetype mode = [

| `Full
| `Incremental

]

Sourcetype 'lang file = {

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

}

Sourceexception Error of t

Sourceexception Key_not_found of t * string * string

Source

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

Source

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

Sourcemodule type S = sig ... end

Sourceval empty : t

Sourceval create_key : pipe:string -> string -> 'a M.key

Sourceval get : 'a M.key -> t -> 'a

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

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

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

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

Sourceval pipe : string

Sourceval bt : bool key

Sourceval debug : bool key

Sourceval reports : Report.Conf.t key

Sourceval report_style : report_style key

Sourceval max_warn : int key

Sourceval cur_warn : int key

Sourceval time_limit : float key

Sourceval size_limit : float key

Sourceval logic_file : Logic.language file key

Sourceval response_file : Response.language file key

Source

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

Source

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

Source

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

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

Source

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

Source

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

package dolmen_loop

Module Dolmen_loop.StateSource

Module `Dolmen_loop.State`Source