Module Wcs_lib.Context

The "skip_user_input" field
val skip_user_input_lbl : string

The "skip_user_input" string.

val skip_user_input : bool ‑> Wcs_t.json

skip_user_input b creates the JSON object { "skip_user_input" : b }.

val 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.

val 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
val actions_lbl : string

The "actions" string.

val actions : Wcs_t.action list ‑> Wcs_t.json

actions acts creates the JSON object { "actions" : acts }.

val 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.

val take_actions : Wcs_t.json ‑> Wcs_t.json * Wcs_t.action list option

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

val 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.

val 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
val continuation_lbl : string

The "continuation" string.

val 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.

val get_continuation : Wcs_t.json ‑> Wcs_t.action option

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

val 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
val return_lbl : string

The "return" string.

val return : Wcs_t.json ‑> Wcs_t.json

return v creates the JSON object { "return" : v }.

val 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.

val get_return : Wcs_t.json ‑> Wcs_t.json option

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