package liquidsoap-lang

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Main script evaluation

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

Main script evaluation

exception Error

type stdlib = {

full_term : Term.t;
checked_term : Term.t;
env : Typing.env;

}

type append_stdlib = unit -> stdlib

val type_term : 
  ?name:string ->
  ?stdlib:append_stdlib ->
  ?term:Term.t ->
  ?ty:Type.t ->
  ?cache_dirtype:Cache.dirtype ->
  cache:bool ->
  trim:bool ->
  lib:bool ->
  Parsed_term.t ->
  Term.t

Typecheck a term and return it. Might return a cached value!

val eval_term : ?name:string -> toplevel:bool -> Term.t -> Value.t

Evaluate a term.

val strict : bool ref

Raise errors for warnings.

val libs : 
  ?stdlib:string ->
  ?error_on_no_stdlib:bool ->
  ?deprecated:bool ->
  unit ->
  string list

Return the list of external libraries.

val load_libs : ?stdlib:string -> unit -> unit

Load the external libraries.

val throw : 
  ?formatter:Format.formatter ->
  ?lexbuf:Sedlexing.lexbuf ->
  unit ->
  exn ->
  unit

val program : 
  (unit -> Parser.token * Lexing.position * Lexing.position) ->
  Parsed_term.t

val interactive : unit -> unit

Interactive loop: read from command line, eval, print and loop.

val parse : string -> Parsed_term.t * Term.t

Parse a string.

val error_header : formatter:Format.formatter -> int -> Pos.Option.t -> unit

val report : 
  ?lexbuf:Sedlexing.lexbuf ->
  ?default:(unit -> 'a) ->
  (throw:(exn -> unit) -> unit -> 'a) ->
  'a

Report language errors.