Module `Ocaml_typing`Source

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 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

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 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

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)

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/merlin-lib.ocaml_typing/Ocaml_typing/index.html

Module `Ocaml_typing`Source

package merlin-lib

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/merlin-lib.ocaml_typing/Ocaml_typing/index.html

Module Ocaml_typingSource

dune-project
Dependency

Module `Ocaml_typing`Source