package liquidsoap-lang

You can search for identifiers within the package.

in-package search v0.2.0

liquidsoap-lang
- Liquidsoap_lang
  - Active_value
    
    Make
    
    T
    
    T
  - 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

exception Internal_error of Pos.t list * string

exception Parse_error of Pos.t * string

exception Unsupported_encoder of Pos.t option * string

val conf_debug : bool ref

val conf_debug_errors : bool ref

val debug : bool Lazy.t

val profile : bool ref

val ref_t : ?pos:Pos.t -> Type.t -> Type.t

module Vars : sig ... end

module Ground : sig ... end

module type GroundDef = sig ... end

module MkGround (D : GroundDef) : sig ... end

module Methods : sig ... end

type t = private {

mutable t : Type.t;
term : in_term;
methods : t Methods.t;
id : int;

}

and doc = Doc.Value.t

and let_t = {

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

}

and encoder_params = (string * [ `Encoder of encoder | `Term of t ]) list

and encoder = string * encoder_params

and invoke = {

invoked : t;
default : t option;
meth : string;

}

and in_term =

| Ground of Ground.t
| Encoder of encoder
| List of t list
| Tuple of t list
| Null
| Cast of t * Type.t
| Invoke of invoke
| Open of t * t
| Let of let_t
| Var of string
| Seq of t * t
| App of t * (string * t) list
| Fun of Vars.t * (string * string * Type.t * t option) list * t
| RFun of string * Vars.t * (string * string * Type.t * t option) list * t

and pattern =

| PVar of string list
| PTuple of pattern list
| PList of pattern list * string option * pattern list
| PMeth of pattern option * (string * pattern option) list

type term = t

val unit : in_term

val is_ground : t -> bool

val string_of_pat : pattern -> string

val to_string : t -> string

val make : ?pos:Pos.t -> ?t:Type.t -> ?methods:term Methods.t -> in_term -> t

val trim_runtime_types : unit -> unit

val free_vars_pat : pattern -> Vars.t

val bound_vars_pat : pattern -> Vars.t

val free_vars : ?bound:Vars.elt list -> t -> Vars.t

val can_ignore : Type.t -> bool

exception Unbound of Pos.Option.t * string

exception Ignored of t

exception No_label of t * string * bool * t

exception Duplicate_label of Pos.Option.t * string

exception Missing_arguments of Pos.Option.t * (string * Type.t) list

exception Unused_variable of string * Pos.t

val check_unused : throw:(exn -> unit) -> lib:bool -> t -> unit

module type Abstract = sig ... end

module type AbstractDef = sig ... end

module MkAbstract (Def : AbstractDef) : sig ... end