package dolmen_loop

You can search for identifiers within the package.

in-package search v0.2.0

package dolmen_loop

dolmen_loop
- Dolmen_loop
  - Code
  - Expr_intf
    
    Print
    
    S
  - Headers
    
    Field
    
    Make
    
    S
  - Headers_intf
    
    S
  - Logic
    
    S
    
    Lexer
    
    Parser
  - Parser
    
    Make
    
    State
  - Parser_intf
    
    S
  - Pipeline
    
    Make
    
    State
  - Report
    
    Conf
    
    Error
    
    T
    
    Warning
    
    Status
  - Response
    
    P
    
    S
    
    Lexer
    
    Parser
    
    S
    
    Lexer
    
    Parser
  - State
    
    M
    
    S
  - Typer
    
    Make
    
    Expr
    
    Print
    
    State
    
    Typer
    
    T
    
    T
    
    Const
    
    Cstr
    
    Field
    
    Var
    
    Tag
    
    Ty
    
    Const
    
    Var
    
    Typer
    
    State
  - Typer_intf
    
    S
    
    Typer
    
    Typer_Full
    
    Types

Legend:
Library
Module
Module type
Parameter
Class
Class type

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

module type S = sig ... end

val empty : t

val key_counter : int Stdlib.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 : 'a key -> ('a -> 'a) -> t -> M.t

val pipe : string

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 : 
  debug:bool ->
  report_style:report_style ->
  reports:Report.Conf.t ->
  max_warn:int ->
  ?cur_warn:int ->
  time_limit:float ->
  size_limit:float ->
  logic_file:Logic.language file ->
  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 ->
  Stdlib.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 ->
  'b Dolmen_loop__Report.warning ->
  'b ->
  t