A | |
action [Opam_admin_top] | |
action [OpamTypes] |
The solver answers a list of actions to perform
|
address [OpamTypes] |
Repository address
|
arg [OpamTypes] |
Command argument
|
atom [OpamTypes] |
Formula atoms
|
atom [OpamFormula] |
Formula atoms for OPAM
|
B | |
basename [OpamTypes] |
Basenames
|
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
|
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
|
conjunction [OpamTypes] |
AND formulat
|
conjunction [OpamFormula] |
AND formulas
|
constr [OpamCompiler.Version] |
Compiler constraint
|
D | |
dirname [OpamTypes] |
Directory names
|
disjunction [OpamTypes] |
OR formulat
|
disjunction [OpamFormula] |
OR formulas
|
dnf [OpamFormula] |
DNF formulas (Disjunctive Normal Form)
|
download [OpamTypes] |
Download result
|
E | |
env [OpamTypes] |
Environement variables
|
env [OpamFilter] |
Type of filter environment.
|
env_updates [OpamTypes] |
Environment updates
|
error [OpamTypes] | |
ext_formula [OpamTypes] |
Formula over versionned packages
|
ext_package_formula [OpamFormula] |
Formula over versionned packages with additional flags (used to handle
eg.
|
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_variable [OpamTypes] |
Fully qualified variables (ie.
|
G | |
gen_solution [OpamTypes] |
The type for solutions
|
generic_file [OpamTypes] |
Generalized file type
|
generic_file [OpamFilename] |
Generic filename
|
generic_formula [OpamTypes] |
A generic formula
|
global_config [OpamTypes] |
Global configuration option
|
J | |
json [OpamTypes] |
JSON
|
L | |
lock [OpamTypes] |
The different kinds of locks
|
lock [OpamSystem] | |
logop [OpamTypes] | |
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
|
os [OpamGlobals] | |
P | |
package [OpamTypes] |
Packages are (
name * version ) tuple
|
package_dep_flag [OpamTypes] |
Flags on dependencies
|
package_flag [OpamTypes] |
Opam package flags
|
package_map [OpamTypes] |
Map of packages
|
package_set [OpamTypes] |
Set of packages
|
pfxop [OpamTypes] | |
pin_kind [OpamTypes] |
Pin kind
|
pin_option [OpamTypes] |
Pinned packages options
|
pos [OpamTypes] |
Source file positions: filename, line, column
|
R | |
relop [OpamTypes] | |
relop [OpamFormula] |
binary operations (compatible with the Dose type for Cudf operators !)
|
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 | |
shell [OpamTypes] |
Shell compatibility modes
|
simple_arg [OpamTypes] |
A command argument
|
solver_criteria [OpamTypes] | |
solver_criteria [OpamGlobals] | |
solver_result [OpamTypes] |
Solver result
|
state [OpamState] | |
stats [OpamTypes] |
Upgrade statistics
|
status [OpamTypes] | |
success [OpamTypes] |
Error and continuation handling
|
switch [OpamTypes] |
Compiler switches
|
switch_map [OpamTypes] |
Map of compile switches
|
switch_set [OpamTypes] |
Set of compiler switches
|
T | |
t [OpamProcess] |
The type for processes
|
t [OpamPath] |
Type of path root
|
t [OpamJson] | |
t [OpamFormula] |
An atom is:
name * (relop * version ) formula.
|
t [OpamFile.IO_FILE] |
File contents
|
t [OpamState.Types] | |
tags [OpamTypes] |
Tags
|
text_style [OpamGlobals] | |
token [OpamParser] | |
U | |
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_constraint [OpamFormula] |
Version constraints for OPAM
|
version_formula [OpamFormula] |
Expressions composed entirely of version constraints
|
version_set [OpamTypes] |
Set of package versions
|