package wcs-lib

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

The "skip_user_input" field
The "actions" field
The "continuation" field
The "return" field
Boolean fields
String fields

package wcs-lib

wcs-lib
- CHANGES
- README
- Library wcs-lib
  - Wcs_lib
    
    Dialog_t
    
    Json
    
    Json_t
    
    Log
    
    Translation
    
    Wcs_aux
    
    Wcs_builder
    
    Wcs_j
    
    Wcs_json
    
    Wcs_t
- Sources
  - wcs-lib
    
    dialog_t.ml
    
    json.ml
    
    json_t.ml
    
    log.ml
    
    translation.ml
    
    wcs_aux.ml
    
    wcs_builder.ml
    
    wcs_j.ml
    
    wcs_json.ml
    
    wcs_lib.ml-gen
    
    wcs_t.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Wcs_lib.Json`Source

Json utilities.

Source

val read_json_file : 
  (Yojson.lexer_state -> Lexing.lexbuf -> 'a) ->
  string ->
  'a

read_json_file reader fname reads the file fname using the reader reader generated by atdgen.

Sourceval null : Wcs_t.json

The null value of JSON.

Sourceval set : Wcs_t.json -> string -> Wcs_t.json -> Wcs_t.json

set o x v add (or replace) the a field x of the object o with value v.

Sourceval get : Wcs_t.json -> string -> Wcs_t.json option

get o x gets the value of the field x of the object o.

Sourceval take : Wcs_t.json -> string -> Wcs_t.json * Wcs_t.json option

take o x gets the value of the field x of the object o and remove the field from the object. The left part of the return value is the modified object and the right part is the value of the field.

The `"skip_user_input"` field

Sourceval set_skip_user_input : Wcs_t.json -> bool -> Wcs_t.json

set_skip_user_input ctx b set the field "skip_user_input" of the object ctx with value b.

Sourceval take_skip_user_input : Wcs_t.json -> Wcs_t.json * bool

take_skip_user_input ctx take the field "skip_user_input" of the object ctx. If the field is the defined, it returns false.

The `"actions"` field

Sourceval set_actions : Wcs_t.json -> Wcs_t.action list -> Wcs_t.json

set_actions ctx l set the field "actions" of the object ctx with the list of actions l.

Sourceval take_actions : Wcs_t.json -> Wcs_t.json * Wcs_t.action list option

take_actions ctx take the field "actions" of the object ctx.

Sourceval push_action : Wcs_t.json -> Wcs_t.action -> Wcs_t.json

push_action ctx act add the action act in the list of actions stored in the field "actions" of ctx. It the field "actions" doesn't exists, it creates it.

Sourceval pop_action : Wcs_t.json -> Wcs_t.json * Wcs_t.action option

pop_action ctx take an action act in the list of actions stored in the field "actions" of ctx.

The `"continuation"` field

Sourceval set_continuation : Wcs_t.json -> Wcs_t.action -> Wcs_t.json

set_continuation ctx act set the field "continuation" of the object ctx with the action act.

Sourceval get_continuation : Wcs_t.json -> Wcs_t.action option

get_continuation ctx get the value of the field "continuation" of the object ctx.

Sourceval take_continuation : Wcs_t.json -> Wcs_t.json * Wcs_t.action option

take_continuation ctx take the value of the field "continuation" of the object ctx.

The `"return"` field

Sourceval set_return : Wcs_t.json -> Wcs_t.json -> Wcs_t.json

set_return ctx v set the field "return" of the object ctx with the value v.

Sourceval get_return : Wcs_t.json -> Wcs_t.json option

get_return ctx get the value of the field "return" of the object ctx.

Boolean fields

Sourceval set_bool : Wcs_t.json -> string -> bool -> Wcs_t.json

set_bool o x b sets the a field x of the object o with value b.

Sourceval get_bool : Wcs_t.json -> string -> bool option

get_bool o x gets the value of the field x of the object o.

String fields

Sourceval set_string : Wcs_t.json -> string -> string -> Wcs_t.json

set_string o x x sets the a field x of the object o with string s.

Sourceval get_string : Wcs_t.json -> string -> string option

get_string o x gets the value of the field x of the object o.

Sourceval take_string : Wcs_t.json -> string -> Wcs_t.json * string option

take_string o x takes the value of the field x of the object o.

package wcs-lib

Module Wcs_lib.JsonSource

The "skip_user_input" field

The "actions" field

The "continuation" field

The "return" field

Boolean fields

String fields

Module `Wcs_lib.Json`Source

The `"skip_user_input"` field

The `"actions"` field

The `"continuation"` field

The `"return"` field