package liquidsoap-lang

You can search for identifiers within the package.

in-package search v0.2.0

liquidsoap-lang
- Liquidsoap_lang
  - Build_config
  - Builtins_bool
  - Builtins_eval
  - Builtins_getter
  - Builtins_json
    
    JsonSpecs
    
    JsonValue
    
    Term
  - Builtins_lang
  - Builtins_list
  - Builtins_math
  - Builtins_null
  - Builtins_profiler
  - Builtins_ref
  - Builtins_regexp
    
    RegExp
    
    Term
  - Builtins_string
  - Builtins_xml
  - Builtins_yaml
  - Cache
    
    Table
  - Doc
    
    Map
    
    Plug
    
    Value
  - Environment
  - Error
  - Evaluation
  - Extralib
    
    Array
    
    Fun
    
    Int
    
    List
    
    String
    
    Unix
  - Flags
  - Hooks
  - Json
  - Json_base
  - Json_lexer
  - Json_parser
  - Lang
  - Lang_core
    
    Position
    
    Stacktrace
  - Lang_error
    
    Error
    
    Term
    
    ErrorDef
  - Lang_eval
  - Lang_regexp
  - Lang_string
    
    Version
  - Lexer
    
    String
  - Liqmemtrace
  - Methods
  - Modules
  - Parsed_term
  - Parser
  - Parser_helper
  - Plug
  - Pos
    
    List
    
    Option
  - Preprocessor
  - Profiler
    
    M
  - Queues
    
    Queue
    
    WeakQueue
  - Ref_type
  - Repr
  - Runtime
  - Runtime_error
  - Runtime_term
    
    Methods
    
    Vars
  - Sites
    
    Sites
  - Startup
  - Term
    
    Custom
    
    CustomDef
    
    Methods
    
    MkCustom
    
    Def
    
    Vars
  - Term_base
    
    Custom
    
    CustomDef
    
    MkCustom
    
    Def
    
    T
  - Term_cache
  - Term_custom
    
    Implementation
    
    Make
    
    S
    
    Specs
  - Term_hash
    
    Builtin
    
    For_tests
    
    Ppx_hash_lib
    
    Std
    
    Hash
    
    Builtin
    
    For_tests
  - Term_preprocessor
  - Term_reducer
  - Term_stdlib
  - Term_trim
  - Type
    
    Fresh
  - Type_base
    
    Constraints
    
    DS
    
    Fresh
    
    R
    
    Var
    
    Vars
  - Type_constraints
  - Type_custom
    
    Implementation
    
    Make
    
    S
    
    Specs
  - Typechecking
  - Typing
  - Unifier
  - Utils
  - Value
    
    Custom
    
    MkCustom
    
    Def
    
    Term
    
    MkCustomFromTerm
    
    Term
    
    RuntimeType
    
    Term
liquidsoap-lang.console
- Console
liquidsoap-lang.tooling
- Liquidsoap_tooling
  - Parsed_json

Legend:
Library
Module
Module type
Parameter
Class
Class type

Values are untyped normal forms of terms.

module Custom = Liquidsoap_lang.Term.Custom

module Methods = Runtime_term.Methods

type env = (string * t) list

We derive a hash of the environment to invalidate the cache when the builtin env change. We mostly keep name and methods.

and dynamic_methods = {

hidden_methods : string list;
methods : string -> t option;

}

and t =

| Int of {
1. pos : Pos.Option.t;
2. value : int;
3. methods : t Methods.t;
4. mutable flags : Flags.flags;
}
| Float of {
1. pos : Pos.Option.t;
2. value : float;
3. methods : t Methods.t;
}
| String of {
1. pos : Pos.Option.t;
2. value : string;
3. methods : t Methods.t;
}
| Bool of {
1. pos : Pos.Option.t;
2. value : bool;
3. methods : t Methods.t;
}
| Null of {
1. pos : Pos.Option.t;
2. methods : t Methods.t;
}
| Custom of {
1. pos : Pos.Option.t;
2. value : Custom.t;
3. methods : t Methods.t;
4. dynamic_methods : dynamic_methods option;
5. mutable flags : Flags.flags;
}
| List of {
1. pos : Pos.Option.t;
2. value : t list;
3. methods : t Methods.t;
4. mutable flags : Flags.flags;
}
| Tuple of {
1. pos : Pos.Option.t;
2. value : t list;
3. methods : t Methods.t;
4. mutable flags : Flags.flags;
}
| Fun of {
1. pos : Pos.Option.t;
2. fun_args : (string * string * t option) list;
3. fun_env : env;
4. fun_body : Term.t;
5. methods : t Methods.t;
6. mutable flags : Flags.flags;
}
| FFI of {
1. pos : Pos.Option.t;
2. ffi_args : (string * string * t option) list;
3. mutable ffi_fn : env -> t;
4. methods : t Methods.t;
5. mutable flags : Flags.flags;
}

val hash_fold_env : 
  Term_hash.Ppx_hash_lib.Std.Hash.state ->
  env ->
  Term_hash.Ppx_hash_lib.Std.Hash.state

val hash_fold_dynamic_methods : 
  dynamic_methods Term_hash.Ppx_hash_lib.Std.Hash.folder

val hash_fold_t : t Term_hash.Ppx_hash_lib.Std.Hash.folder

val hash_env : env -> Term_hash.Ppx_hash_lib.Std.Hash.hash_value

val hash_dynamic_methods : 
  dynamic_methods ->
  Term_hash.Ppx_hash_lib.Std.Hash.hash_value

val hash : t -> Term_hash.Ppx_hash_lib.Std.Hash.hash_value

type fun_v = {

fun_args : (string * string * t option) list;
fun_env : env;
fun_body : Term.t;

}

type ffi = {

ffi_args : (string * string * t option) list;
ffi_fn : env -> t;

}

type in_value = [

| `Int of int
| `Float of float
| `String of string
| `Bool of bool
| `Null
| `Custom of Custom.t
| `List of t list
| `Tuple of t list
| `Fun of fun_v
| `FFI of ffi

]

val methods : t -> t Methods.t

val map_methods : t -> (t Methods.t -> t Methods.t) -> t

val pos : t -> Pos.Option.t

val set_pos : t -> Pos.Option.t -> t

val has_flag : t -> Flags.flag -> bool

val add_flag : t -> Flags.flag -> unit

val unit : [> `Tuple of 'a list ]

val is_unit : t -> bool

val make : 
  ?pos:Pos.Option.base ->
  ?methods:t Methods.t ->
  ?flags:Flags.flags ->
  in_value ->
  t

val string_of_int_value : flags:Flags.flags -> int -> string

val to_string : t -> string

val invoke : t -> string -> t

Find a method in a value.

val invokes : t -> string list -> t

Perform a sequence of invokes: invokes x l1;l2;l3;... is x.l1.l2.l3...

val demeth : t -> t

val remeth : t -> t -> t

val split_meths : t -> (string * t) list * t

val compare : t -> t -> int

module type Custom = sig ... end

module type CustomDef = Term.CustomDef

module MkCustomFromTerm (Term : Term.Custom) : sig ... end

module MkCustom (Def : CustomDef) : sig ... end

module RuntimeType : sig ... end