Index of types


A
action [OpamTypes]
The solver answers a list of actions to perform
address [OpamTypes]
Repository address
arg [OpamTypes]
Command argument
args [Opam_repo_check]
args [Opam_mk_repo]
atom [OpamTypes]
Formula atoms
atom [OpamFormula]
Formula atoms for OPAM

B
basename [OpamTypes]
Basenames
build_options [OpamArg]
Abstract type for build options

C
cause [OpamTypes]
The possible causes of an action.
checksums [OpamTypes]
Checksums
cnf [OpamFormula]
CNF formulas (Conjunctive Normal Form)
command [OpamTypes]
Command
command [OpamSystem]
a command is a list of words
command [OpamArg]
Type of commands
compiler [OpamTypes]
Compiler names
compiler_constraint [OpamTypes]
Compiler constraints
compiler_map [OpamTypes]
Maps of compiler names
compiler_set [OpamTypes]
Set of compiler names
compiler_version [OpamTypes]
Compiler versions
config [OpamTypes]
Configuration requests
conjunction [OpamTypes]
AND formulat
conjunction [OpamFormula]
AND formulas
constr [OpamCompiler.Version]
Compiler constraint

D
decoder [OpamJson]
The type for JSON decoders.
dirname [OpamTypes]
Directory names
disjunction [OpamTypes]
OR formulat
disjunction [OpamFormula]
OR formulas
dnf [OpamFormula]
DNF formulas (Disjunctive Normal Form)
download [OpamTypes]
Download result
dst [OpamJson]
The type for output destinations.

E
encoder [OpamJson]
The type for JSON encoders.
encoding [OpamJson]
The type for Unicode encoding schemes.
env [OpamTypes]
Environement variables
env [OpamFilter]
Type of filter environment.
env_updates [OpamTypes]
Environment updates
error [OpamParallel]
error [OpamJson]

F
file [OpamTypes]
A file is a list of items and the filename
file_attribute [OpamTypes]
A line in urls.tx
file_attribute_set [OpamTypes]
All the lines in urls.txt
file_item [OpamTypes]
A file is composed of sections and variable definitions
file_section [OpamTypes]
A file section
filename [OpamTypes]
Filenames
filename_map [OpamTypes]
Map of files
filename_set [OpamTypes]
Set of files
filter [OpamTypes]
Filter
formula [OpamTypes]
Formula over versionned packages
formula [OpamFormula]
General formulas
full_section [OpamTypes]
Fully qualified section names
full_variable [OpamTypes]
Fully qualified variables (ie.

G
generic_file [OpamTypes]
Generalized file type
generic_file [OpamFilename]
Generic filename
generic_formula [OpamTypes]
A generic formula
global_config [OpamTypes]
Global configuration option
global_options [OpamArg]
Abstract type for global options

I
indent_variable [OpamFormat]
When folding recursively a value Variable (s, v) for printing, we check if we indent the first encountered list below v (i.e.

J
json [OpamTypes]
JSON

L
lexeme [OpamJson]
The type for JSON lexemes.
lock [OpamTypes]
The different kinds of locks

N
name [OpamTypes]
Package names
name_map [OpamTypes]
Map of package names
name_set [OpamTypes]
Set of package names

O
opam_version [OpamTypes]
OPAM versions
optional [OpamTypes]
Optional contents

P
package [OpamCudf.Diff]
Differences between the versions of a given package
package [OpamTypes.ACTION_GRAPH]
package [OpamTypes]
Packages are (name * version) tuple
package_map [OpamTypes]
Map of packages
package_set [OpamTypes]
Set of packages
pin [OpamTypes]
Pinned packages
pin_kind [OpamTypes]
Pin kind
pin_option [OpamTypes]
Pinned packages options
ppflag [OpamTypes]
Content of pp variables

R
relop [OpamFormula]
binary operations
repository [OpamTypes]
Repositories
repository_kind [OpamTypes]
Repository kind
repository_name [OpamTypes]
Repository names
repository_name_map [OpamTypes]
Maps of repository names
repository_root [OpamTypes]
Repository root
request [OpamTypes]
Solver request
result [OpamTypes]
Solver result
result [OpamProcess]
Process results

S
section [OpamVariable.Section]
Shortcut to sections
section [OpamTypes]
Section names
shell [OpamTypes]
Shell compatibility modes
simple_arg [OpamTypes]
A command argument
solution [OpamTypes.ACTION_GRAPH]
Solver solution
solution [OpamTypes]
The type for solutions
solver_result [OpamTypes]
Solver result
src [OpamJson]
The type for input sources.
state [OpamHeuristic]
A state.
state [OpamState]
state_space [OpamHeuristic]
A state space.
stats [OpamTypes]
Upgrade statistics
switch [OpamTypes]
Compiler switches
switch_map [OpamTypes]
Map of compile switches
switch_set [OpamTypes]
Set of compiler switches
symbol [OpamTypes]
Symbols

T
t [OpamCudf.Graph]
Graph of cudf packages
t [OpamProcess]
The type for processes
t [OpamPath]
Type of path root
t [OpamMisc.Base]
t [OpamJson]
t [OpamFormula]
An atom is: name * (relop * version) formula.
t [OpamMisc.ABSTRACT]
ABSTRACT type
t [OpamFile.IO_FILE]
File contents
t [OpamState.Types]
tags [OpamTypes]
Tags

U
universe [OpamCudf.Diff]
Difference between universe
universe [OpamTypes]
Solver universe
updates [OpamTypes]
Updates
upload [OpamTypes]
Upload arguments
user_action [OpamTypes]
user request action
user_config [OpamTypes]
User configuration option

V
value [OpamTypes]
Base values
variable [OpamVariable]
Shortcut to variables
variable [OpamTypes]
Variables
variable_contents [OpamVariable]
Variable contents
variable_contents [OpamTypes]
Content of user-defined variables
variable_map [OpamTypes]
A map from variables to their contents (i.e an environment)
version [OpamTypes]
Package versions
version_set [OpamTypes]
Set of package versions