package merlin-lib

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Annot : sig ... end
module Btype : sig ... end
module Cmi_cache : sig ... end
module Cmi_format : sig ... end
module Cmt_cache : sig ... end
module Cmt_format : sig ... end

cmt and cmti files format.

module Ctype : sig ... end
module Datarepr : sig ... end
module Env : sig ... end
module Envaux : sig ... end
module Errortrace : sig ... end
module Ident : sig ... end
module Includeclass : sig ... end
module Includecore : sig ... end
module Includemod : sig ... end
module Includemod_errorprinter : sig ... end
module Magic_numbers : sig ... end
module Msupport : sig ... end
module Mtype : sig ... end
module Natural : sig ... end

Support for creating fresh types isomorphic to the natural numbers

module Oprint : sig ... end
module Outcometree : sig ... end
module Parmatch : sig ... end

Detection of partial matches and unused match cases.

module Path : sig ... end
module Patterns : sig ... end
module Persistent_env : sig ... end
module Predef : sig ... end
module Primitive : sig ... end
module Printpat : sig ... end
module Printtyp : sig ... end
module Printtyped : sig ... end
module Rec_check : sig ... end
module Saved_parts : sig ... end
module Shape : sig ... end
module Short_paths : sig ... end
module 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.

module Signature_group : sig ... end

Iterate on signature by syntactic group of items

module Stypes : sig ... end
module Subst : sig ... end
module Tast_iterator : sig ... end

Allows the implementation of typed tree inspection using open recursion

module Tast_mapper : sig ... end
module Type_immediacy : sig ... end

Immediacy status of a type

module Typeclass : sig ... end
module Typecore : sig ... end
module Typedecl : sig ... end
module Typedecl_immediacy : sig ... end
module Typedecl_properties : sig ... end
module 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.

module Typedecl_unboxed : sig ... end
module Typedecl_variance : sig ... end
module Typedtree : sig ... end

Abstract syntax tree after typing

module Typemod : sig ... end

Type-checking of the module language and typed ast hooks

module Typeopt : sig ... end
module Types : sig ... end
module Typetexp : sig ... end
module Untypeast : sig ... end
OCaml

Innovation. Community. Security.