package dolmen_loop

You can search for identifiers within the package.

in-package search v0.2.0

package dolmen_loop

dolmen_loop
- Dolmen_loop
  - Alarm
    
    S
  - Code
  - Expr_intf
    
    Print
    
    S
  - Flow
    
    Make
    
    S
  - Flow_intf
    
    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
    
    Key
    
    S
  - Typer
    
    Make
    
    Expr
    
    Print
    
    State
    
    Typer
    
    T
    
    T
    
    Const
    
    Cstr
    
    Field
    
    Var
    
    Tag
    
    Ty
    
    Const
    
    Var
    
    Typer
    
    Ext
    
    State
  - Typer_intf
    
    S
    
    Typer
    
    Typer_Full
    
    Ext
    
    Types

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t

The type of state

type 'a key

The type of keys into the state.

exception Error of t

Convenient exception.

exception Key_not_found of t * string * string

Exception raised by `get` when the key is not bound.

val create_key : pipe:string -> string -> _ key

create a new key

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

get the value associated to a key.

raises Key_not_found
if the key is not bound.

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

get the value associated to a key, or the default if the key is not bound.

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

Set the value associated to a key.

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

update key f s updates the value associated with the key key according to the result of f.

raises Key_not_found
if the key is not bound.

since 0.9

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

update_opt key f s updates the value associated with the key key according to the result of f. The argument passed to f is Some v if the key is currently associated with value v, and None if the key is not bound.

since 0.9

val warn : 
  ?file:_ State.file ->
  ?loc:Dolmen.Std.Loc.full ->
  t ->
  'a Report.Warning.t ->
  'a ->
  t

Emit a warning

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

Emit an error.

val debug : bool key

val reports : Report.Conf.t key

val report_style : State.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 State.file key

val response_file : Response.language State.file key