# Index of types

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