Parser_helper (liquidsoap-lang.Liquidsoap_lang_parser.Parser

module Vars = Liquidsoap_lang_ast.Parsed_term.Vars

type arglist = Liquidsoap_lang_ast.Parsed_term.fun_arg list

type pos = Liquidsoap_lang_ast.Parsed_term.pos

type lexer_let_decoration = [

| `Eval
| `Json_parse
| `None
| `Recursive
| `Replaces
| `Yaml_parse
| `Xml_parse
| `Sqlite_row
| `Sqlite_query

]

type let_opt_el = string * Liquidsoap_lang_ast.Parsed_term.t

val clear_comments : unit -> unit

val get_pending_comments : unit -> (pos * string list) list

val append_comment : pos:pos -> string -> unit

val attach_comments : Liquidsoap_lang_ast.Parsed_term.t -> unit

val mk_stmt : 
  pos:pos ->
  Liquidsoap_lang_ast.Parsed_term.statement_ast ->
  Liquidsoap_lang_ast.Parsed_term.statement

val mk_block : 
  pos:pos ->
  Liquidsoap_lang_ast.Parsed_term.statement list ->
  Liquidsoap_lang_ast.Parsed_term.block

val expr_of_block : 
  pos:pos ->
  Liquidsoap_lang_ast.Parsed_term.block ->
  Liquidsoap_lang_ast.Parsed_term.t

A block where an expression is expected. A single-expression block is returned unwrapped, which is the common case (`if a then`, `def f() = e end`) and keeps the AST free of redundant `Block` nodes.

val block_expr : 
  pos:pos ->
  Liquidsoap_lang_ast.Parsed_term.statement list ->
  Liquidsoap_lang_ast.Parsed_term.t

val binding_target : 
  Liquidsoap_lang_ast.Parsed_term.t ->
  Liquidsoap_lang_ast.Parsed_term.pattern
  * Liquidsoap_lang_ast.Parsed_term.type_annotation option

Reinterpret a bare binding's left-hand side, parsed as an expression, as a pattern plus an optional type annotation. Raises Term.Parse_error if it is not a valid target.

val let_args : 
  kind:Liquidsoap_lang_ast.Parsed_term.binding_kind ->
  decoration:Liquidsoap_lang_ast.Parsed_term.let_decoration ->
  pat:Liquidsoap_lang_ast.Parsed_term.pattern ->
  ?arglist:arglist ->
  def:Liquidsoap_lang_ast.Parsed_term.t ->
  ?cast:Liquidsoap_lang_ast.Parsed_term.type_annotation ->
  unit ->
  Liquidsoap_lang_ast.Parsed_term._let

val let_decoration_of_lexer_let_decoration : 
  lexer_let_decoration ->
  Liquidsoap_lang_ast.Parsed_term.let_decoration

val expect_keyword : pos:pos -> string -> string -> unit

Check a contextual keyword's spelling, e.g. the `as` of `as json.object`. Raises Term.Parse_error naming what was expected.

val mk_json_object_ty : 
  pos:pos ->
  Liquidsoap_lang_ast.Parsed_term.type_annotation ->
  Liquidsoap_lang_ast.Parsed_term.type_annotation

val mk_source_ty : 
  pos:pos ->
  string ->
  Liquidsoap_lang_ast.Parsed_term.source_annotation ->
  Liquidsoap_lang_ast.Parsed_term.type_annotation

val mk_named_ty : 
  pos:pos ->
  string ->
  Liquidsoap_lang_ast.Parsed_term.type_annotation option ->
  Liquidsoap_lang_ast.Parsed_term.type_annotation

val mk : 
  ?comments:(pos * Liquidsoap_lang_ast.Parsed_term.comment) list ->
  ?annotations:Liquidsoap_lang_ast.Parsed_term.term_annotation list ->
  pos:pos ->
  Liquidsoap_lang_ast.Parsed_term.parsed_ast ->
  Liquidsoap_lang_ast.Parsed_term.t

val mk_try : 
  ?handler:Liquidsoap_lang_ast.Parsed_term._try_handler ->
  ?finally_block:Liquidsoap_lang_ast.Parsed_term.block ->
  body_block:Liquidsoap_lang_ast.Parsed_term.block ->
  pos:pos ->
  unit ->
  Liquidsoap_lang_ast.Parsed_term.t

val mk_fun : 
  pos:pos ->
  arglist ->
  Liquidsoap_lang_ast.Parsed_term.t ->
  Liquidsoap_lang_ast.Parsed_term.t

val mk_encoder : 
  pos:pos ->
  string ->
  Liquidsoap_lang_ast.Parsed_term.encoder_params ->
  Liquidsoap_lang_ast.Parsed_term.t

val args_of_json_parse : pos:pos -> (string * 'a) list -> (string * 'a) list

val render_string : pos:pos -> (char * string) -> string