package liquidsoap-lang

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Builtins
Environments

liquidsoap-lang
- Liquidsoap_lang
  - Build_config
  - Builtins_bool
  - Builtins_eval
  - Builtins_getter
  - Builtins_json
    
    JsonSpecs
    
    JsonValue
    
    Term
    
    T
  - Builtins_lang
  - Builtins_list
  - Builtins_math
  - Builtins_null
  - Builtins_profiler
  - Builtins_ref
  - Builtins_regexp
    
    RegExp
    
    Term
    
    T
  - Builtins_string
  - Builtins_yaml
  - Doc
    
    Map
    
    Plug
    
    Protocol
    
    Value
  - Environment
  - Error
  - Evaluation
  - Extralib
    
    Array
    
    Int
    
    List
    
    String
    
    Unix
  - Ground_type
    
    Bool
    
    Custom
    
    Float
    
    Int
    
    Make
    
    _
    
    Never
    
    Spec
    
    String
  - Hooks
  - Json
  - Json_base
  - Json_lexer
  - Json_parser
  - Lang
    
    Ground
    
    Regexp
  - Lang_core
    
    Position
    
    Single_position
    
    Stacktrace
  - Lang_error
    
    Error
    
    Term
    
    T
    
    ErrorDef
  - Lang_regexp
    
    Regexp
  - Lang_string
    
    Version
  - Lexer
    
    String
  - Methods
  - Modules
  - Parser
  - Parser_helper
  - Plug
  - Pos
    
    List
    
    Option
  - Preprocessor
  - Profiler
    
    M
  - Ref_type
  - Regexp
    
    T
  - Repr
  - Runtime
  - Runtime_error
  - Sites
    
    Sites
  - Startup
  - Term
    
    Abstract
    
    AbstractDef
    
    Ground
    
    GroundDef
    
    Methods
    
    MkAbstract
    
    Def
    
    T
    
    MkGround
    
    D
    
    Vars
  - Type
  - Type_base
    
    Constraints
    
    DS
    
    R
    
    Subst
    
    M
    
    Var
    
    Vars
  - Typechecking
  - Typing
  - Unifier
  - Utils
  - Value
    
    Abstract
    
    MkAbstract
    
    Def
    
    Term
    
    T
    
    MkAbstractFromTerm
    
    Term
    
    RuntimeType
    
    Term
    
    T
liquidsoap-lang.console
- Console

Legend:
Library
Module
Module type
Parameter
Class
Class type

Builtins

val has_builtin : string -> bool

Whether a given builtin was declared.

val get_builtin : string -> (Type.scheme * Value.t) option

Retrieve a builtin definition.

val add_builtin : 
  ?override:bool ->
  ?register:bool ->
  ?doc:Doc.Value.t Lazy.t ->
  string list ->
  (Type.scheme * Value.t) ->
  unit

Add a builtin value.

val add_module : string list -> unit

Declare a module.

Environments

val default_typing_environment : unit -> (string * Type.scheme) list

Initial typing environment (with builtins).

val default_environment : unit -> (string * Value.t) list

Initial environment (with builtins).