package liquidsoap-lang

  1. Overview
  2. Docs
package liquidsoap-lang
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Liquidsoap_lang.TypingSource

Functions for typing

Sourceval debug_subtyping : bool ref

Print debugging messages for subtyping.

Sourceval filter_vars : (Type.var -> bool) -> Type.t -> Type.var list

Find all the free variables satisfying a predicate.

Sourcetype env = (string * Type.scheme) list

A typing environment.

Sourceval instantiate : level:int -> Type.scheme -> Type.t

Instantiate a type.

Sourceval generalize : level:int -> Type.t -> Type.scheme

Find all generalizable variables.

Sourceval update_level : int -> Type.t -> unit

Lower all type variables to given level.

Sourceval (<:) : Type.t -> Type.t -> unit

Subtyping.

Sourceval (>:) : Type.t -> Type.t -> unit

Suptyping.

Sourceval sup : pos:Pos.Option.t -> Type.t -> Type.t -> Type.t

Supremeum of two types.

Sourceval bind : ?variance:Type.variance -> Type.t -> Type.t -> unit

Bind a variable

Sourceval satisfies_constraint : Type.t -> Type.constr -> unit

Ensure that a type satisfies a given constraint, i.e. morally that b <: c.

Sourceval do_occur_check : bool ref
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct