liquidsoap-lang 2.3.1 · OCaml Package

module Vars : sig ... end

Sets of variables.

module Methods : sig ... end

type custom

val hash_fold_custom : 
  Term_hash.Ppx_hash_lib.Std.Hash.state ->
  custom ->
  Term_hash.Ppx_hash_lib.Std.Hash.state

val hash_custom : custom -> Term_hash.Ppx_hash_lib.Std.Hash.hash_value

type custom_handler = {

name : string;
to_string : custom -> string;
to_json : pos:Pos.t list -> custom -> Json.t;
compare : custom -> custom -> int;
typ : Type.t;

}

val hash_fold_custom_handler : 
  Term_hash.Ppx_hash_lib.Std.Hash.state ->
  custom_handler ->
  Term_hash.Ppx_hash_lib.Std.Hash.state

val hash_custom_handler : 
  custom_handler ->
  Term_hash.Ppx_hash_lib.Std.Hash.hash_value

type custom_term = {

value : custom;
handler : custom_handler;

}

val hash_fold_custom_term : 
  Term_hash.Ppx_hash_lib.Std.Hash.state ->
  custom_term ->
  Term_hash.Ppx_hash_lib.Std.Hash.state

val hash_custom_term : 
  custom_term ->
  Term_hash.Ppx_hash_lib.Std.Hash.hash_value

type 'a term = {

t : Type.t;
term : 'a;
flags : Flags.flags;
methods : 'a term Methods.t;

}

val has_flag : 'a term -> Flags.flag -> bool

type ('a, 'b) func_argument = {

label : string;
as_variable : string option;
default : 'a option;
typ : 'b;

}

val hash_fold_func_argument : 
  'a 'b. (Term_hash.Ppx_hash_lib.Std.Hash.state ->
           'a ->
           Term_hash.Ppx_hash_lib.Std.Hash.state) ->
  (Term_hash.Ppx_hash_lib.Std.Hash.state ->
    'b ->
    Term_hash.Ppx_hash_lib.Std.Hash.state) ->
  Term_hash.Ppx_hash_lib.Std.Hash.state ->
  ('a, 'b) func_argument ->
  Term_hash.Ppx_hash_lib.Std.Hash.state

type ('a, 'b) func = {

mutable free_vars : Vars.t option;
name : string option;
arguments : ('a, 'b) func_argument list;
body : 'a;

}

type 'a app = 'a * (string * 'a) list

type ('a, 'b) cast = {

cast : 'a;
typ : 'b;

}

val hash_fold_cast : 
  'a 'b. (Term_hash.Ppx_hash_lib.Std.Hash.state ->
           'a ->
           Term_hash.Ppx_hash_lib.Std.Hash.state) ->
  (Term_hash.Ppx_hash_lib.Std.Hash.state ->
    'b ->
    Term_hash.Ppx_hash_lib.Std.Hash.state) ->
  Term_hash.Ppx_hash_lib.Std.Hash.state ->
  ('a, 'b) cast ->
  Term_hash.Ppx_hash_lib.Std.Hash.state

type ('a, 'b) common_ast = [

| `Custom of custom_term
| `Tuple of 'a list
| `Null
| `Cast of ('a, 'b) cast
| `Open of 'a * 'a
| `Var of string
| `Seq of 'a * 'a

]

val hash_fold_common_ast : 
  'a 'b. (Term_hash.Ppx_hash_lib.Std.Hash.state ->
           'a ->
           Term_hash.Ppx_hash_lib.Std.Hash.state) ->
  (Term_hash.Ppx_hash_lib.Std.Hash.state ->
    'b ->
    Term_hash.Ppx_hash_lib.Std.Hash.state) ->
  Term_hash.Ppx_hash_lib.Std.Hash.state ->
  ('a, 'b) common_ast ->
  Term_hash.Ppx_hash_lib.Std.Hash.state

type 'a invoke = {

invoked : 'a;
invoke_default : 'a option;
meth : string;

}

type 'a encoder_params =
  [ `Anonymous of string | `Encoder of 'a encoder | `Labelled of string * 'a ]
    list

and 'a encoder = string * 'a encoder_params

type pattern = [

| `PVar of string list
| `PTuple of string list

]

type 'a let_t = {

doc : Doc.Value.t option;
replace : bool;
pat : pattern;
mutable gen : Type.var list;
def : 'a;
body : 'a;

}

type cached_env = {

var_name : int;
var_id : int;
env : Typing.env;

}

type 'a runtime_ast = [

| `Int of int
| `Cache_env of cached_env ref
| `Float of float
| `String of string
| `Bool of bool
| `Let of 'a let_t
| `List of 'a list
| `App of 'a * (string * 'a) list
| `Invoke of 'a invoke
| `Hide of 'a * string list
| `Encoder of 'a encoder
| `Fun of ('a, Type.t) func

]

type t = ast term

and ast = [

| (t, Type.t) common_ast
| t runtime_ast

]

package liquidsoap-lang