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
|