Module Wcs_lib.Spel_parse

Spel parsers.

val desugar_spel : bool Pervasives.ref

desugaring

Set if builder should desugar spel expressions

val desugar : Spel_t.expression ‑> Spel_t.expression

desugar expr expands shorthand syntax for variables, entities and intents into their underlying Spel expressions.

val resugar_spel : bool Pervasives.ref

Set if builder should resugar spel expressions

val resugar : Spel_t.expression ‑> Spel_t.expression

desugar expr re-introduces shorthand syntax for variables, entities and intents.

parsers

val expr_from_file : string ‑> Spel_t.expression

expr_from_file f parses file f as spel expression

val expr_from_string : string ‑> Spel_t.expression

expr_from_string s parses string s as spel expression

val quoted_expr_from_file : string ‑> Spel_t.expression

quoted_expr_from_file f parses file f as text containing quoted spel expressions

val quoted_expr_from_string : string ‑> Spel_t.expression

quoted_expr_from_string f parses string s as text containing quoted spel expression