OCaml compiler library : Index of modules

# Index of modules

A
Arg_helper | Decipher command line arguments of the form <value> | <key>=<value>`,...`
Array [Misc.Stdlib] | Extensions to the Array module
Artifact [Unit_info] | Build artifacts
Ast_helper | Helpers to produce Parsetree fragments
Ast_invariants | Check AST invariants
Ast_iterator | `Ast_iterator.iterator` enables AST inspection using open recursion.
Ast_mapper | The interface of a -ppx rewriter
Asttypes | Auxiliary AST types used by parsetree and typedtree.
Attr [Ast_helper] | Attributes
Attr_helper | Helpers for attributes
B
Binutils |
Build_path_prefix_map | Rewrite paths for reproducible builds
Builtin_attributes | Support for the builtin attributes:
C
CamlinternalMenhirLib |
Ccomp | Compiling C files and building C libraries
Cf [Ast_helper] | Class fields
Ci [Ast_helper] | Classes
Cl [Ast_helper] | Class expressions
Clflags | Command line flags
Color [Misc] | Color support detection
Compiler_libs | Warning This library is part of the internal OCaml compiler API, and is not the language standard library.
Compiler_pass [Clflags] |
Compression |
Config | System configuration
Config_boot | System configuration
Config_main | System configuration
Consistbl | Consistency tables: for checking consistency of module CRCs
Const [Ast_helper] |
Convert [CamlinternalMenhirLib] |
Csig [Ast_helper] | Class signatures
Cstr [Ast_helper] | Class structures
Ctf [Ast_helper] | Class type fields
Cty [Ast_helper] | Class type expressions
D
Define [Diffing_with_keys] |
Define [Diffing] | `Define(Defs)` creates the diffing types from the types defined in `Defs` and the functors that need to be instantatied with the diffing algorithm parameters
Depend | Module dependencies.
Diffing | Parametric diffing
Diffing_with_keys | When diffing lists where each element has a distinct key, we can refine the diffing patch by introducing two composite edit moves: swaps and moves.
Dir [Load_path] |
Doc [Format_doc] | Definitions and immutable API for composing documents
Doc [Pprintast] | `Format_doc` functions for error messages
Doc [Location] |
Docstrings | Documentation comments
Domainstate |
Dump_option [Clflags] |
E
Engine [CamlinternalMenhirLib] |
EngineTypes [CamlinternalMenhirLib] |
ErrorReports [CamlinternalMenhirLib] |
Error_style [Misc] |
Exp [Ast_helper] | Expressions
F
Float [Numbers] |
Float_arg_helper [Clflags] | Optimization parameters represented as floats indexed by round number.
Format_doc | Composable document for the `Format` formatting engine.
G
General [CamlinternalMenhirLib] |
I
Id [Strongly_connected_components.S] |
Identifiable | Uniform interface for common data structures over various things.
Incl [Ast_helper] | Includes
Incremental [Parser] |
IncrementalEngine [CamlinternalMenhirLib] |
InfiniteArray [CamlinternalMenhirLib] |
InspectionTableFormat [CamlinternalMenhirLib] |
InspectionTableInterpreter [CamlinternalMenhirLib] |
Int [Numbers] |
Int16 [Numbers] |
Int8 [Numbers] |
Int_arg_helper [Clflags] | Optimization parameters represented as ints indexed by round number.
Int_literal_converter [Misc] |
Int_replace_polymorphic_compare |
L
Lazy_backtrack |
Left_variadic [Diffing.Define] | Variadic diffing
Lexer | The lexical analyzer
LexerUtil [CamlinternalMenhirLib] |
LinearizedArray [CamlinternalMenhirLib] |
Linkdeps |
List [Misc.Stdlib] | Extensions to the List module
Load_path | Management of include directories.
Local_store | This module provides some facilities for creating references (and hash tables) which can easily be snapshotted and restored to an arbitrary version.
Location | Source code locations (ranges of positions), used in parsetree.
Log [CamlinternalMenhirLib.EngineTypes.TABLE] |
Longident | Long identifiers, used in parsetree.
M
Magic_number [Misc] |
Make [Strongly_connected_components] |
Make [Identifiable] |
Make [Consistbl] |
Make [Arg_helper] |
Make [CamlinternalMenhirLib.InspectionTableInterpreter] |
Make [CamlinternalMenhirLib.Printers] |
Make [CamlinternalMenhirLib.Engine] |
MakeEngineTable [CamlinternalMenhirLib.TableInterpreter] |
Map [Identifiable.S] |
Map [Misc.Stdlib.String] |
Mb [Ast_helper] | Module bindings
Md [Ast_helper] | Module declarations
MenhirInterpreter [Parser] |
Misc | Miscellaneous useful types and functions
Mod [Ast_helper] | Module expressions
Ms [Ast_helper] | Module substitutions
Mtd [Ast_helper] | Module type declarations
Mty [Ast_helper] | Module type expressions
N
Numbers | Modules about numbers, some of which satisfy `Identifiable.S`.
O
Of [Ast_helper] | Object fields
Opn [Ast_helper] | Opens
Option [Misc.Stdlib] | Extensions to the Option module
P
PackedIntArray [CamlinternalMenhirLib] |
Pair [Identifiable] |
Parse | Entry points in the parser
Parser |
Parsetree | Abstract syntax tree produced by parsing
Pat [Ast_helper] | Patterns
Pparse | Driver for the parser and external preprocessors.
Pprintast | Pretty-printers for `Parsetree`
Printast | Raw printer for `Parsetree`
Printers [CamlinternalMenhirLib] |
Profile | Compiler performance recording
R
Rf [Ast_helper] | Row fields
Right_variadic [Diffing.Define] |
RowDisplacement [CamlinternalMenhirLib] |
S
Set [Identifiable.S] |
Set [Misc.Stdlib.String] |
Sig [Ast_helper] | Signature items
Simple [Diffing_with_keys.Define] |
Simple [Diffing.Define] |
Simplified [CamlinternalMenhirLib.Convert] |
StaticVersion [CamlinternalMenhirLib] |
Stdlib [Misc] |
Str [Ast_helper] | Structure items
String [Misc.Stdlib] | Extensions to the String module
String [Depend] |
Strongly_connected_components | Kosaraju's algorithm for strongly connected components.
Style [Misc] |
Symbols [CamlinternalMenhirLib.InspectionTableInterpreter] |
Syntaxerr | Auxiliary type for reporting syntax errors
T
T [Identifiable.Tbl] |
T [Identifiable.Map] |
T [Identifiable.Set] |
T [Identifiable.S] |
TableFormat [CamlinternalMenhirLib] |
TableInterpreter [CamlinternalMenhirLib] |
Targetint | Target processor-native integers.
Tbl [Identifiable.S] |
Tbl [Misc.Stdlib.String] |
Te [Ast_helper] | Type extensions
Terminfo | Basic interface to the terminfo database
Typ [Ast_helper] | Type expressions
Type [Ast_helper] | Type declarations
U
Unit_info | This module centralize the handling of compilation files and their metadata.
Utf8_lexeme [Misc] |
V
Val [Ast_helper] | Value declarations
Vb [Ast_helper] | Value bindings
W
Warnings | Warning definitions
WithMenhir [Docstrings] |