Module Liquidsoap_lang.Term

include module type of Runtime_term
module Vars : sig ... end

Sets of variables.

module Methods : sig ... end
type custom
val hash_fold_custom : Liquidsoap_lang.Term_hash.Ppx_hash_lib.Std.Hash.state -> custom -> Liquidsoap_lang.Term_hash.Ppx_hash_lib.Std.Hash.state
val hash_custom : custom -> Liquidsoap_lang.Term_hash.Ppx_hash_lib.Std.Hash.hash_value
type custom_handler = {
  1. name : string;
  2. to_string : custom -> string;
  3. to_json : pos:Pos.t list -> custom -> Json.t;
  4. compare : custom -> custom -> int;
  5. typ : Type.t;
}
val hash_fold_custom_handler : Liquidsoap_lang.Term_hash.Ppx_hash_lib.Std.Hash.state -> custom_handler -> Liquidsoap_lang.Term_hash.Ppx_hash_lib.Std.Hash.state
val hash_custom_handler : custom_handler -> Liquidsoap_lang.Term_hash.Ppx_hash_lib.Std.Hash.hash_value
type custom_term = {
  1. value : custom;
  2. handler : custom_handler;
}
val hash_fold_custom_term : Liquidsoap_lang.Term_hash.Ppx_hash_lib.Std.Hash.state -> custom_term -> Liquidsoap_lang.Term_hash.Ppx_hash_lib.Std.Hash.state
val hash_custom_term : custom_term -> Liquidsoap_lang.Term_hash.Ppx_hash_lib.Std.Hash.hash_value
type 'a term = {
  1. t : Type.t;
  2. term : 'a;
  3. flags : Flags.flags;
  4. methods : 'a term Methods.t;
}
val has_flag : 'a term -> Flags.flag -> bool
type ('a, 'b) func_argument = {
  1. label : string;
  2. as_variable : string option;
  3. default : 'a option;
  4. typ : 'b;
}
val hash_fold_func_argument : 'a 'b. (Liquidsoap_lang.Term_hash.Ppx_hash_lib.Std.Hash.state -> 'a -> Liquidsoap_lang.Term_hash.Ppx_hash_lib.Std.Hash.state) -> (Liquidsoap_lang.Term_hash.Ppx_hash_lib.Std.Hash.state -> 'b -> Liquidsoap_lang.Term_hash.Ppx_hash_lib.Std.Hash.state) -> Liquidsoap_lang.Term_hash.Ppx_hash_lib.Std.Hash.state -> ('a, 'b) func_argument -> Liquidsoap_lang.Term_hash.Ppx_hash_lib.Std.Hash.state
type ('a, 'b) 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 = {
  1. cast : 'a;
  2. typ : 'b;
}
val hash_fold_cast : 'a 'b. (Liquidsoap_lang.Term_hash.Ppx_hash_lib.Std.Hash.state -> 'a -> Liquidsoap_lang.Term_hash.Ppx_hash_lib.Std.Hash.state) -> (Liquidsoap_lang.Term_hash.Ppx_hash_lib.Std.Hash.state -> 'b -> Liquidsoap_lang.Term_hash.Ppx_hash_lib.Std.Hash.state) -> Liquidsoap_lang.Term_hash.Ppx_hash_lib.Std.Hash.state -> ('a, 'b) cast -> Liquidsoap_lang.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.Term_hash.Ppx_hash_lib.Std.Hash.state -> 'a -> Liquidsoap_lang.Term_hash.Ppx_hash_lib.Std.Hash.state) -> (Liquidsoap_lang.Term_hash.Ppx_hash_lib.Std.Hash.state -> 'b -> Liquidsoap_lang.Term_hash.Ppx_hash_lib.Std.Hash.state) -> Liquidsoap_lang.Term_hash.Ppx_hash_lib.Std.Hash.state -> ('a, 'b) common_ast -> Liquidsoap_lang.Term_hash.Ppx_hash_lib.Std.Hash.state
type 'a 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 = {
  1. doc : Doc.Value.t option;
  2. replace : bool;
  3. pat : pattern;
  4. mutable gen : Type.var list;
  5. def : 'a;
  6. body : 'a;
}
type cached_env = {
  1. var_name : int;
  2. var_id : int;
  3. env : 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/(4d5f7f2bb215601361fa25a234ecf2b7)
  12. | `Fun of ('a, Type.t) func
]
type t = ast term
and ast = [
  1. | (t, Type.t) common_ast
  2. | t runtime_ast
]
exception Internal_error of Pos.t list * string
exception Unsupported_encoder of 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
val ref_t : ?pos:Pos.t -> Type.t -> Type.t
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 make : ?pos:Pos.t -> ?t:Type.t -> ?flags:Flags.flags -> ?methods:t Methods.t -> ast -> t
val free_vars : ?bound:Vars.elt list -> t -> Vars.t
val free_fun_vars : (t, Type.t) func -> Vars.t
val can_ignore : Type.t -> bool
val fresh : handler:Type.Fresh.mapper -> t -> t
exception Unbound of Pos.Option.t * string
exception Ignored of t
exception No_label of t * string * bool * t
exception Duplicate_label of Pos.Option.t * string
exception Missing_arguments of Pos.Option.t * (string * Type.t) list
exception Unused_variable of string * Pos.t
val check_unused : throw:(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