package opam-lib

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parsing functions
Creation functions
Printing functions
Finding functions
Formula
Environment variables
filter expressions
Tags
Features

package opam-lib

opam-lib
- OpamCompat
- OpamConsole
- OpamCoreConfig
- OpamFilename
  - Attribute
    
    Map
    
    Set
    
    Op
  - Base
    
    Map
    
    Set
    
    Op
  - Dir
    
    Map
    
    Set
    
    Op
  - Map
  - Op
  - Set
    
    Op
- OpamJson
- OpamParallel
  - G
    
    E
    
    Topological
    
    V
    
    Vertex
  - GRAPH
    
    Dot
    
    E
    
    Parallel
    
    G
    
    E
    
    Topological
    
    V
    
    Vertex
    
    Topological
    
    V
  - Make
    
    G
    
    E
    
    Topological
    
    V
    
    Vertex
  - MakeGraph
    
    Dot
    
    E
    
    Parallel
    
    G
    
    E
    
    Topological
    
    V
    
    Vertex
    
    Topological
    
    V
  - SIG
    
    G
    
    E
    
    Topological
    
    V
    
    Vertex
  - VERTEX
- OpamProcess
  - Job
    
    Op
- OpamStd
  - ABSTRACT
    
    Map
    
    Set
    
    Op
  - AbstractString
    
    Map
    
    Set
    
    Op
  - Config
  - Env
  - Exn
  - Format
  - IntMap
  - IntSet
    
    Op
  - List
  - MAP
  - Map
    
    Make
    
    S
  - Op
  - Option
    
    Op
  - OrderedType
  - SET
    
    Op
  - Set
    
    Make
    
    Op
    
    S
  - String
    
    Map
    
    Set
    
    Op
    
    SetMap
    
    SetSet
    
    Op
  - Sys
- OpamSystem
- OpamVersion
  - Map
  - Set
    
    Op
- OpamVersionCompare
opam-lib.client
- OpamClient
  - API
    
    CONFIG
    
    PIN
    
    REPOSITORY
    
    SWITCH
  - SafeAPI
    
    CONFIG
    
    PIN
    
    REPOSITORY
    
    SWITCH
- OpamClientConfig
- OpamConfigCommand
- OpamPinCommand
- OpamRepositoryCommand
- OpamSwitchCommand
opam-lib.format
- OpamCompiler
  - Map
  - Set
    
    Op
  - Version
    
    Map
    
    Set
    
    Op
- OpamFile
  - Aliases
  - Comp
  - Compiler_index
  - Config
  - Descr
  - Dot_config
  - Dot_install
  - Export
  - File_attributes
  - Filenames
  - IO_FILE
  - Installed
  - Installed_roots
  - Lines
  - OPAM
  - Package_index
  - Pinned
  - Prefix
  - Reinstall
  - Repo
  - Repo_config
  - URL
- OpamFilter
- OpamFormat
- OpamFormatConfig
- OpamFormula
- OpamLexer
- OpamLineLexer
- OpamPackage
  - Graph
    
    Dot
    
    E
    
    Parallel
    
    G
    
    E
    
    Topological
    
    V
    
    Vertex
    
    Topological
    
    V
  - Map
  - Name
    
    Map
    
    Set
    
    Op
  - Set
    
    Op
  - Version
    
    Map
    
    Set
    
    Op
- OpamParser
- OpamRepositoryName
  - Map
  - Set
    
    Op
- OpamSwitch
  - Map
  - Set
    
    Op
- OpamTypesBase
- OpamVariable
  - Full
    
    Map
    
    Set
    
    Op
  - Map
  - Set
    
    Op
opam-lib.repository
- OpamDarcs
  - B
- OpamDownload
- OpamGit
  - B
- OpamHTTP
  - B
- OpamHg
  - B
- OpamLocal
  - B
- OpamRepository
- OpamRepositoryBackend
  - S
- OpamRepositoryConfig
- OpamRepositoryPath
- OpamVCS
  - Make
    
    VCS
  - VCS
opam-lib.solver
- OpamActionGraph
  - ACTION
    
    Pkg
  - Make
    
    A
    
    Pkg
    
    Dot
    
    E
    
    Parallel
    
    G
    
    E
    
    Topological
    
    V
    
    Vertex
    
    Topological
    
    V
  - MakeAction
    
    P
    
    Pkg
  - SIG
    
    Dot
    
    E
    
    Parallel
    
    G
    
    E
    
    Topological
    
    V
    
    Vertex
    
    Topological
    
    V
- OpamCudf
  - ActionGraph
    
    Dot
    
    E
    
    Parallel
    
    G
    
    E
    
    Topological
    
    V
    
    Vertex
    
    Topological
    
    V
  - Graph
  - Map
  - Set
    
    Op
- OpamHeuristic
- OpamSolver
  - Action
    
    Pkg
  - ActionGraph
    
    Dot
    
    E
    
    Parallel
    
    G
    
    E
    
    Topological
    
    V
    
    Vertex
    
    Topological
    
    V
- OpamSolverConfig
opam-lib.state
- OpamAction
- OpamOCaml
- OpamPath
  - Switch
    
    Default
    
    Overlay
- OpamScript
- OpamSolution
- OpamState
  - Cache
  - Types
- OpamStateConfig

Legend:
Library
Module
Module type
Parameter
Class
Class type

Format of OPAM configuration files.

val empty : OpamTypes.file

The empty file

val map : 
  (string -> OpamTypes.value -> (string * OpamTypes.value) option) ->
  OpamTypes.file ->
  OpamTypes.file

map a file

val variables : OpamTypes.file_item list -> (string * OpamTypes.value) list

Get all the variable definitions from a list of items

val sections : 
  OpamTypes.file_item list ->
  (string * OpamTypes.file_section) list

Get all the sections from a list of items

val is_valid : 
  ?allow_extended:bool ->
  OpamTypes.file_item list ->
  string list ->
  bool

Check whether a list of items contains only valid variable definitions.

val invalid_fields : 
  ?allow_extended:bool ->
  OpamTypes.file_item list ->
  string list ->
  string list

Find all the invalid fields. If allow_extended is specified and true, fields starting with "x-" are not reported

Parsing functions

exception Bad_format of OpamTypes.pos option * string list * string

All the following parsing function raise Bad_format in case the input does not have the right format.

val bad_format : ?pos:OpamTypes.pos -> ('a, unit, string, 'b) format4 -> 'a

Raise Bad_format.

val string_of_bad_format : ?file:OpamTypes.filename -> exn -> string

val add_pos : OpamTypes.pos -> exn -> exn

Adds a position to a Bad_format exception if it doesn't have one yet

val value_pos : OpamTypes.value -> OpamTypes.pos

Get the position out of a value

val values_pos : OpamTypes.value list -> OpamTypes.pos option

Get the position of the first element out of a value list

val parse_bool : OpamTypes.value -> bool

Parse a boolean

val parse_int : OpamTypes.value -> int

Parse an integer

val parse_ident : OpamTypes.value -> string

Parse an ident

val parse_string : OpamTypes.value -> string

Parse a string

val parse_list : (OpamTypes.value -> 'a) -> OpamTypes.value -> 'a list

Parse a list of 'things'

val parse_list_list : (OpamTypes.value -> 'a) -> OpamTypes.value -> 'a list

Parse a list of list of 'things'

val parse_group : (OpamTypes.value -> 'a) -> OpamTypes.value -> 'a list

Parse a group of 'things'

val parse_option : 
  (OpamTypes.value -> 'a) ->
  (OpamTypes.value list -> 'b) ->
  OpamTypes.value ->
  'a * 'b option

Parse a value and its option of 'things'

val parse_single_option : 
  (OpamTypes.value -> 'a) ->
  (OpamTypes.value -> 'b) ->
  OpamTypes.value ->
  'a * 'b option

Parse a value and a single optional value

val parse_string_option : 
  (OpamTypes.value list -> 'a) ->
  OpamTypes.value ->
  string * 'a option

Parse a string with an optional argument

val parse_string_list : OpamTypes.value -> string list

Parse a list of strings

val parse_single_string : OpamTypes.value list -> string

Parse a single string

val parse_pair : 
  (OpamTypes.value -> 'a) ->
  (OpamTypes.value -> 'b) ->
  OpamTypes.value ->
  'a * 'b

Parse a pair of strings

val parse_or : (string * (OpamTypes.value -> 'a)) list -> OpamTypes.value -> 'a

Try to parse the value using function from the list. All the parsing functions are tried until one succeeds. The first argument is a debug message.

Creation functions

val make_bool : bool -> OpamTypes.value

Create a boolean

val make_int : int -> OpamTypes.value

Create an integer

val make_ident : string -> OpamTypes.value

Create an ident

val make_string : string -> OpamTypes.value

Create a string

val make_list : ('a -> OpamTypes.value) -> 'a list -> OpamTypes.value

Create a list of 'things'

val make_string_list : string list -> OpamTypes.value

Create a list of strings

val make_group : ('a -> OpamTypes.value) -> 'a list -> OpamTypes.value

Create a group of 'things'

val make_option : 
  ('a -> OpamTypes.value) ->
  ('b -> OpamTypes.value list) ->
  ('a * 'b option) ->
  OpamTypes.value

Create a value and its optional arguments

val make_pair : 
  ('a -> OpamTypes.value) ->
  ('b -> OpamTypes.value) ->
  ('a * 'b) ->
  OpamTypes.value

Create a pair

val make_string_pair : (string * string) -> OpamTypes.value

Create a pair of strings

val make_section : OpamTypes.file_section -> OpamTypes.file_item

Create a file section

val make_variable : (string * OpamTypes.value) -> OpamTypes.file_item

Create a variable

Printing functions

val string_of_value : OpamTypes.value -> string

Print a value

val string_of_values : OpamTypes.value list -> string

Print a list of values

val string_of_file : simplify:bool -> OpamTypes.file -> string

Print a file

Finding functions

val assoc : OpamTypes.file_item list -> string -> (OpamTypes.value -> 'a) -> 'a

Get the value of a field

val assoc_option : 
  OpamTypes.file_item list ->
  string ->
  (OpamTypes.value -> 'a) ->
  'a option

Get the value of a field. If the field does not exist, return None

val assoc_default : 
  'a ->
  OpamTypes.file_item list ->
  string ->
  (OpamTypes.value -> 'a) ->
  'a

Get the value of a field. If the variable does not exist, return a default value

val assoc_list : 
  OpamTypes.file_item list ->
  string ->
  (OpamTypes.value -> 'a list) ->
  'a list

Get the value associated to a variable. If the variable does not exists, return

val assoc_string_list : OpamTypes.file_item list -> string -> string list

Get the string list associated to a variable. If the variable does not exist, return

val get_section_by_kind : 
  OpamTypes.file_item list ->
  string ->
  OpamTypes.file_section

Get one section of a certain kind

val get_all_section_by_kind : 
  OpamTypes.file_item list ->
  string ->
  OpamTypes.file_section list

Get all the sections of a certain kind

val assoc_sections : 
  OpamTypes.file_item list ->
  string ->
  (OpamTypes.file_section -> 'a) ->
  'a list

Get sections

Formula

This section is dedicated to the parsing and creatin of dependency and conflict formaulas. It's maybe easier to do that directly in the parser ...

val parse_package_name : 
  ?expected:OpamTypes.name ->
  OpamTypes.value ->
  OpamTypes.name

val parse_package_version : 
  ?expected:OpamTypes.version ->
  OpamTypes.value ->
  OpamTypes.version

val parse_constraints : OpamTypes.value list -> OpamFormula.version_formula

Parser for version constraints in formulas

val parse_ext_constraints : 
  OpamTypes.value list ->
  OpamTypes.package_dep_flag list * OpamFormula.version_formula

Parser for version constraints in formula with dependency flags

val make_constraints : OpamFormula.version_formula -> OpamTypes.value list

Builder for version constraints in formulas

val make_ext_constraints : 
  (OpamTypes.package_dep_flag list * OpamFormula.version_formula) ->
  OpamTypes.value list

Builder for version constraints in formula with dependency flags

val parse_formula : 
  [ `Conj | `Disj ] ->
  (OpamTypes.value list -> 'a) ->
  OpamTypes.value ->
  (OpamTypes.name * 'a) OpamTypes.generic_formula

Parse package formula as a `Conjunction or `Disjunction, using the given parser for constraints

val make_formula : 
  [ `Conj | `Disj ] ->
  ('a -> OpamTypes.value list) ->
  (OpamTypes.name * 'a) OpamTypes.generic_formula ->
  OpamTypes.value

Build a formula as a `Conjunction or `Disjunction, building constraints with the given function

val parse_compiler_version : OpamTypes.value -> OpamTypes.compiler_version

Parse compiler versions

val parse_compiler_constraint : 
  OpamTypes.value ->
  OpamTypes.compiler_constraint

Parse compiler constraints

val make_compiler_constraint : OpamTypes.compiler_constraint -> OpamTypes.value

Build a compiler constraint

val parse_os_constraint : 
  OpamTypes.value ->
  (bool * string) OpamTypes.generic_formula

Parse an OS constraint

val make_os_constraint : 
  (bool * string) OpamTypes.generic_formula ->
  OpamTypes.value

Build an OS constraint

Environment variables

val parse_env_variable : OpamTypes.value -> string * string * string

Parsing

val make_env_variable : (string * string * string) -> OpamTypes.value

Making

filter expressions

val parse_filter : OpamTypes.value list -> OpamTypes.filter

Parsing

val make_filter : OpamTypes.filter -> OpamTypes.value list

Creation

val parse_single_command : OpamTypes.value -> OpamTypes.arg list

Unfiltered argument list

val make_single_command : OpamTypes.arg list -> OpamTypes.value

val parse_command : OpamTypes.value -> OpamTypes.command

Parse a command

val make_command : OpamTypes.command -> OpamTypes.value

Create a command

val parse_commands : OpamTypes.value -> OpamTypes.command list

Parse a list of commands

val make_commands : OpamTypes.command list -> OpamTypes.value

Create a list of commands

val parse_messages : OpamTypes.value -> (string * OpamTypes.filter option) list

Parse a list of commands

val make_libraries : (string * OpamTypes.filter option) list -> OpamTypes.value

Create a list of libraries/syntax

val parse_libraries : 
  OpamTypes.value ->
  (string * OpamTypes.filter option) list

Parse a list of libraries/syntax

val make_flag : OpamTypes.package_flag -> OpamTypes.value

Create a package flag

val parse_flag : OpamTypes.value -> OpamTypes.package_flag

Parse a package flag

Features

val parse_features : 
  OpamTypes.value ->
  (OpamVariable.t * string * OpamTypes.filter) list

Parse features list

val make_features : 
  (OpamVariable.t * string * OpamTypes.filter) list ->
  OpamTypes.value

Make features list

package opam-lib

Parsing functions

Creation functions

Printing functions

Finding functions

Formula

Environment variables

filter expressions

Tags

Features