Module Liquidsoap_lang_ast.Term

The runtime term: what gets typechecked and evaluated.

include module type of struct include Runtime_term end
module Vars = Runtime_term.Vars

Sets of variables.

module Methods = Runtime_term.Methods
type custom = Runtime_term.custom
val hash_fold_custom : Liquidsoap_lang_prelude.Term_hash.Ppx_hash_lib.Std.Hash.state -> custom -> Liquidsoap_lang_prelude.Term_hash.Ppx_hash_lib.Std.Hash.state
val hash_custom : custom -> Liquidsoap_lang_prelude.Term_hash.Ppx_hash_lib.Std.Hash.hash_value
type custom_handler = Runtime_term.custom_handler = {
  1. name : string;
  2. to_string : custom -> string;
  3. to_json : pos:Liquidsoap_lang_prelude.Pos.t list -> custom -> Liquidsoap_lang_data.Json.t;
  4. compare : custom -> custom -> int;
  5. typ : Liquidsoap_lang_types.Type.t;
}
val hash_fold_custom_handler : Liquidsoap_lang_prelude.Term_hash.Ppx_hash_lib.Std.Hash.state -> custom_handler -> Liquidsoap_lang_prelude.Term_hash.Ppx_hash_lib.Std.Hash.state
val hash_custom_handler : custom_handler -> Liquidsoap_lang_prelude.Term_hash.Ppx_hash_lib.Std.Hash.hash_value
type custom_term = Runtime_term.custom_term = {
  1. value : custom;
  2. handler : custom_handler;
}
val hash_fold_custom_term : Liquidsoap_lang_prelude.Term_hash.Ppx_hash_lib.Std.Hash.state -> custom_term -> Liquidsoap_lang_prelude.Term_hash.Ppx_hash_lib.Std.Hash.state
val hash_custom_term : custom_term -> Liquidsoap_lang_prelude.Term_hash.Ppx_hash_lib.Std.Hash.hash_value
type 'a term = 'a Runtime_term.term = {
  1. t : Liquidsoap_lang_types.Type.t;
  2. term : 'a;
  3. flags : Liquidsoap_lang_data.Flags.flags;
  4. methods : 'a term Methods.t;
}
val has_flag : 'a term -> Liquidsoap_lang_data.Flags.flag -> bool
type ('a, 'b) func_argument = ('a, 'b) Runtime_term.func_argument = {
  1. label : string;
  2. as_variable : string option;
  3. default : 'a option;
  4. typ : 'b;
  5. pos : Liquidsoap_lang_prelude.Pos.t option;
}
val hash_fold_func_argument : 'a 'b. (Liquidsoap_lang_prelude.Term_hash.Ppx_hash_lib.Std.Hash.state -> 'a -> Liquidsoap_lang_prelude.Term_hash.Ppx_hash_lib.Std.Hash.state) -> (Liquidsoap_lang_prelude.Term_hash.Ppx_hash_lib.Std.Hash.state -> 'b -> Liquidsoap_lang_prelude.Term_hash.Ppx_hash_lib.Std.Hash.state) -> Liquidsoap_lang_prelude.Term_hash.Ppx_hash_lib.Std.Hash.state -> ('a, 'b) func_argument -> Liquidsoap_lang_prelude.Term_hash.Ppx_hash_lib.Std.Hash.state
type ('a, 'b) func = ('a, 'b) Runtime_term.func = {
  1. mutable free_vars : Vars.t option;
  2. name : string option;
  3. arguments : ('a, 'b) func_argument list;
  4. body : 'a;
}
type 'a app = 'a * (string * 'a) list
type ('a, 'b) cast = ('a, 'b) Runtime_term.cast = {
  1. cast : 'a;
  2. typ : 'b;
}
val hash_fold_cast : 'a 'b. (Liquidsoap_lang_prelude.Term_hash.Ppx_hash_lib.Std.Hash.state -> 'a -> Liquidsoap_lang_prelude.Term_hash.Ppx_hash_lib.Std.Hash.state) -> (Liquidsoap_lang_prelude.Term_hash.Ppx_hash_lib.Std.Hash.state -> 'b -> Liquidsoap_lang_prelude.Term_hash.Ppx_hash_lib.Std.Hash.state) -> Liquidsoap_lang_prelude.Term_hash.Ppx_hash_lib.Std.Hash.state -> ('a, 'b) cast -> Liquidsoap_lang_prelude.Term_hash.Ppx_hash_lib.Std.Hash.state
type ('a, 'b) common_ast = [
  1. | `Custom of custom_term
  2. | `Tuple of 'a list
  3. | `Null
  4. | `Cast of ('a, 'b) cast
  5. | `Open of 'a * 'a
  6. | `Var of string
  7. | `Seq of 'a * 'a
]
val hash_fold_common_ast : 'a 'b. (Liquidsoap_lang_prelude.Term_hash.Ppx_hash_lib.Std.Hash.state -> 'a -> Liquidsoap_lang_prelude.Term_hash.Ppx_hash_lib.Std.Hash.state) -> (Liquidsoap_lang_prelude.Term_hash.Ppx_hash_lib.Std.Hash.state -> 'b -> Liquidsoap_lang_prelude.Term_hash.Ppx_hash_lib.Std.Hash.state) -> Liquidsoap_lang_prelude.Term_hash.Ppx_hash_lib.Std.Hash.state -> ('a, 'b) common_ast -> Liquidsoap_lang_prelude.Term_hash.Ppx_hash_lib.Std.Hash.state
type 'a invoke = 'a Runtime_term.invoke = {
  1. invoked : 'a;
  2. invoke_default : 'a option;
  3. meth : string;
}
type pattern = [
  1. | `PVar of string list
  2. | `PTuple of string list
]
type 'a let_t = 'a Runtime_term.let_t = {
  1. doc : Liquidsoap_lang_data.Doc.Value.t option;
  2. replace : bool;
  3. pat : pattern;
  4. mutable gen : Liquidsoap_lang_types.Type.var list;
  5. def : 'a;
  6. body : 'a;
}
type cached_env = Runtime_term.cached_env = {
  1. var_name : int;
  2. var_id : int;
  3. env : Liquidsoap_lang_types.Typing.env;
}
type 'a runtime_ast = [
  1. | `Int of int
  2. | `Cache_env of cached_env Stdlib.ref
  3. | `Float of float
  4. | `String of string
  5. | `Bool of bool
  6. | `Let of 'a let_t
  7. | `List of 'a list
  8. | `App of 'a * (string * 'a) list
  9. | `Invoke of 'a invoke
  10. | `Hide of 'a * string list
  11. | `Encoder of string * 'a {encoder_params}1/shadowed/(fe58af1e08b4e3598ebda9587ed93fdc)
  12. | `Fun of ('a, Liquidsoap_lang_types.Type.t) func
]
type t = ast term
type parsed_pos = Stdlib.Lexing.position * Stdlib.Lexing.position

A position as reported by the lexer, before it is turned into a Pos.t.

exception Parse_error of parsed_pos * string
exception Internal_error of Liquidsoap_lang_prelude.Pos.t list * string
exception Unsupported_encoder of Liquidsoap_lang_prelude.Pos.t option * string
val conf_debug : bool Stdlib.ref
val conf_debug_errors : bool Stdlib.ref
val debug : bool Stdlib.Lazy.t
val profile : bool Stdlib.ref
module Custom : sig ... end
type encoder_params = [ `Anonymous of string | `Encoder of encoder | `Labelled of string * t ] list
and encoder = string * encoder_params
val unit : ast
val is_ground : t -> bool
val string_of_pat : pattern -> string
val to_string : t -> string
val free_vars : ?bound:Vars.elt list -> t -> Vars.t
val free_fun_vars : (t, Liquidsoap_lang_types.Type.t) func -> Vars.t
val can_ignore : Liquidsoap_lang_types.Type.t -> bool
val fresh : handler:Liquidsoap_lang_types.Type.Fresh.mapper -> t -> t
exception Unbound of Liquidsoap_lang_prelude.Pos.Option.t * string
exception Ignored of t
exception No_label of t * string * bool * t
exception Duplicate_label of Liquidsoap_lang_prelude.Pos.Option.t * string
exception Missing_arguments of Liquidsoap_lang_prelude.Pos.Option.t * (string * Liquidsoap_lang_types.Type.t) list
exception Unused_variable of string * Liquidsoap_lang_prelude.Pos.t
exception Deprecated of string * Liquidsoap_lang_prelude.Pos.t
val check_unused : throw:(bt:Stdlib.Printexc.raw_backtrace -> exn -> unit) -> lib:bool -> t -> unit
module type Custom = sig ... end
module type CustomDef = sig ... end
module MkCustom (Def : CustomDef) : Custom with type content = Def.content