Module Liquidsoap_lang.TermSource

Sourceexception Internal_error of Pos.t list * string
Sourceexception Parse_error of Pos.t * string
Sourceexception Unsupported_encoder of Pos.t option * string
Sourceval conf_debug : bool ref
Sourceval conf_debug_errors : bool ref
Sourceval debug : bool Lazy.t
Sourceval profile : bool ref
Sourceval ref_t : ?pos:Pos.t -> Type.t -> Type.t
Sourcemodule Vars : sig ... end
Sourcemodule Ground : sig ... end
Sourcemodule type GroundDef = sig ... end
Sourcemodule MkGround (D : GroundDef) : sig ... end
Sourcemodule Methods : sig ... end
Sourcetype t = private {
  1. mutable t : Type.t;
  2. term : in_term;
  3. methods : t Methods.t;
  4. id : int;
}
Sourceand let_t = {
  1. doc : doc option;
  2. replace : bool;
  3. pat : pattern;
  4. mutable gen : Type.var list;
  5. def : t;
  6. body : t;
}
Sourceand encoder_params = (string * [ `Encoder of encoder | `Term of t ]) list
Sourceand encoder = string * encoder_params
Sourceand invoke = {
  1. invoked : t;
  2. default : t option;
  3. meth : string;
}
Sourceand in_term =
  1. | Ground of Ground.t
  2. | Encoder of encoder
  3. | List of t list
  4. | Tuple of t list
  5. | Null
  6. | Cast of t * Type.t
  7. | Invoke of invoke
  8. | Open of t * t
  9. | Let of let_t
  10. | Var of string
  11. | Seq of t * t
  12. | App of t * (string * t) list
  13. | Fun of Vars.t * (string * string * Type.t * t option) list * t
  14. | RFun of string * Vars.t * (string * string * Type.t * t option) list * t
Sourceand pattern =
  1. | PVar of string list
  2. | PTuple of pattern list
  3. | PList of pattern list * string option * pattern list
  4. | PMeth of pattern option * (string * pattern option) list
Sourcetype term = t
Sourceval unit : in_term
Sourceval is_ground : t -> bool
Sourceval string_of_pat : pattern -> string
Sourceval to_string : t -> string
Sourceval make : ?pos:Pos.t -> ?t:Type.t -> ?methods:term Methods.t -> in_term -> t
Sourceval trim_runtime_types : unit -> unit
Sourceval free_vars_pat : pattern -> Vars.t
Sourceval bound_vars_pat : pattern -> Vars.t
Sourceval free_vars : ?bound:Vars.elt list -> t -> Vars.t
Sourceval can_ignore : Type.t -> bool
Sourceexception Unbound of Pos.Option.t * string
Sourceexception Ignored of t
Sourceexception No_label of t * string * bool * t
Sourceexception Duplicate_label of Pos.Option.t * string
Sourceexception Missing_arguments of Pos.Option.t * (string * Type.t) list
Sourceexception Unused_variable of string * Pos.t
Sourceval check_unused : throw:(exn -> unit) -> lib:bool -> t -> unit
Sourcemodule type Abstract = sig ... end
Sourcemodule type AbstractDef = sig ... end
Sourcemodule MkAbstract (Def : AbstractDef) : sig ... end