package merlin-lib

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Ocaml_typingSource

module Annot : sig ... end
Sourcemodule Btype : sig ... end
Sourcemodule Cmi_cache : sig ... end
Sourcemodule Cmi_format : sig ... end
Sourcemodule Cmt_cache : sig ... end
Sourcemodule Cmt_format : sig ... end

cmt and cmti files format.

Sourcemodule Ctype : sig ... end
Sourcemodule Datarepr : sig ... end
Sourcemodule Env : sig ... end
Sourcemodule Envaux : sig ... end
Sourcemodule Errortrace : sig ... end
Sourcemodule Errortrace_report : sig ... end

Functions for reporting core level type errors.

Sourcemodule Ident : sig ... end
Sourcemodule Includeclass : sig ... end
Sourcemodule Includecore : sig ... end
Sourcemodule Includemod : sig ... end
Sourcemodule Includemod_errorprinter : sig ... end
Sourcemodule Lambda : sig ... end
Sourcemodule Magic_numbers : sig ... end
Sourcemodule Msupport : sig ... end
Sourcemodule Mtype : sig ... end
Sourcemodule Natural : sig ... end

Support for creating fresh types isomorphic to the natural numbers

Sourcemodule Oprint : sig ... end
Sourcemodule Out_type : sig ... end

Functions for representing type expressions and module types as outcometree (with as 'a aliases for cycles) and printing them. All functions below depends on global contexts that keep track of

module Outcometree : sig ... end
Sourcemodule Parmatch : sig ... end

Detection of partial matches and unused match cases.

Sourcemodule Path : sig ... end
Sourcemodule Patterns : sig ... end
Sourcemodule Persistent_env : sig ... end
Sourcemodule Predef : sig ... end
Sourcemodule Primitive : sig ... end
Sourcemodule Printpat : sig ... end
Sourcemodule Printtyp : sig ... end
Sourcemodule Printtyped : sig ... end
Sourcemodule Rawprinttyp : sig ... end

This module provides function(s) for printing the internal representation of type expressions. It is targetted at internal use when debbuging the compiler itself.

Sourcemodule Saved_parts : sig ... end
Sourcemodule Shape : sig ... end

Shapes are an abstract representation of modules' implementations which allow the tracking of definitions through functor applications and other module-level operations.

Sourcemodule Shape_reduce : sig ... end
Sourcemodule Short_paths : sig ... end
Sourcemodule Short_paths_graph : sig ... end

Short_path_graph is a representation of the environment (as a graph, using Graph.t) that is more suitable to answer short path queries.

Sourcemodule Signature_group : sig ... end

Iterate on signature by syntactic group of items

Sourcemodule Stypes : sig ... end
Sourcemodule Subst : sig ... end

Substitutions

Sourcemodule Tast_iterator : sig ... end

Allows the implementation of typed tree inspection using open recursion

Sourcemodule Tast_mapper : sig ... end
Sourcemodule Type_immediacy : sig ... end

Immediacy status of a type

Sourcemodule Typeclass : sig ... end
Sourcemodule Typecore : sig ... end
Sourcemodule Typedecl : sig ... end
Sourcemodule Typedecl_immediacy : sig ... end
Sourcemodule Typedecl_properties : sig ... end
Sourcemodule Typedecl_separability : sig ... end

The OCaml runtime assumes for type-directed optimizations that all types are "separable". A type is "separable" if either all its inhabitants (the values of this type) are floating-point numbers, or none of them are.

Sourcemodule Typedecl_unboxed : sig ... end
Sourcemodule Typedecl_variance : sig ... end
Sourcemodule Typedtree : sig ... end

Abstract syntax tree after typing

Sourcemodule Typemod : sig ... end

Type-checking of the module language and typed ast hooks

Sourcemodule Typeopt : sig ... end
Sourcemodule Types : sig ... end
Sourcemodule Typetexp : sig ... end
Sourcemodule Untypeast : sig ... end
Sourcemodule Value_rec_check : sig ... end
module Value_rec_types : sig ... end

Types related to the compilation of value let-recs (non-functional recursive definitions)

OCaml

Innovation. Community. Security.