wcs-lib 2017-05-26.04 · OCaml Package

Spel constructors.

parsers

val of_string : string -> Spel_t.expression

of_string s parse the Spel expression s.

val of_text : string -> Spel_t.expression

of_text t parse the text t as a string that can contain embedded Spel expressions.

printers

val to_text : Spel_t.expression -> string

to_text e pretty-print e as a string embedding the expression e.

from OCaml types

val entity : 
  Wcs_t.entity_def ->
  ?value:Wcs_t.entity_value ->
  unit ->
  Spel_t.expression

val intent : Wcs_t.intent_def -> Spel_t.expression

val bool : bool -> Spel_t.expression

val int : int -> Spel_t.expression

val string : string -> Spel_t.expression

expression constructors

val prop : Spel_t.expression -> string -> Spel_t.expression

val prop_catch : Spel_t.expression -> string -> Spel_t.expression

val get : Spel_t.expression -> Spel_t.expression -> Spel_t.expression

val list : Spel_t.expression list -> Spel_t.expression

val new_array : 
  Spel_t.spel_type ->
  int option list ->
  Spel_t.expression list option ->
  Spel_t.expression

val new_ : string -> Spel_t.expression list -> Spel_t.expression

val call : 
  Spel_t.expression option ->
  string ->
  Spel_t.expression list ->
  Spel_t.expression

val call_catch : 
  Spel_t.expression option ->
  string ->
  Spel_t.expression list ->
  Spel_t.expression

val op : Spel_t.op -> Spel_t.expression list -> Spel_t.expression

val eq : Spel_t.expression -> Spel_t.expression -> Spel_t.expression

val ne : Spel_t.expression -> Spel_t.expression -> Spel_t.expression

val lt : Spel_t.expression -> Spel_t.expression -> Spel_t.expression

val gt : Spel_t.expression -> Spel_t.expression -> Spel_t.expression

val ge : Spel_t.expression -> Spel_t.expression -> Spel_t.expression

val not : Spel_t.expression -> Spel_t.expression

val and_ : Spel_t.expression -> Spel_t.expression -> Spel_t.expression

val or_ : Spel_t.expression -> Spel_t.expression -> Spel_t.expression

val plus : Spel_t.expression -> Spel_t.expression -> Spel_t.expression

val minus : Spel_t.expression -> Spel_t.expression -> Spel_t.expression

val uminus : Spel_t.expression -> Spel_t.expression

val mult : Spel_t.expression -> Spel_t.expression -> Spel_t.expression

val div : Spel_t.expression -> Spel_t.expression -> Spel_t.expression

val mod_ : Spel_t.expression -> Spel_t.expression -> Spel_t.expression

val concat : Spel_t.expression list -> Spel_t.expression

val conditional : 
  Spel_t.expression ->
  Spel_t.expression ->
  Spel_t.expression ->
  Spel_t.expression

val to_string : Spel_t.expression -> Spel_t.expression

val ident : string -> Spel_t.expression

other constructors

val anything_else : Spel_t.expression

val context : Spel_t.expression

val conversation_start : Spel_t.expression

val entitites : Spel_t.expression

val input : Spel_t.expression

val intents : Spel_t.expression

val output : Spel_t.expression

val variable : string -> Spel_t.expression

Spel checker

val spel_check : string -> string

spel_check expr parses the spel expression and prints it back. Fall backs to the initial string with a warning in case of error.