package conex

You can search for identifiers within the package.

in-package search v0.2.0

package conex

conex
- Conex
  - Make
    
    C
    
    L
    
    Tag
- Conex_diff
- Conex_diff_provider
- Conex_io
- Conex_opam_encoding
- Conex_private
  - FS
  - Make
    
    C
    
    F
  - S
  - S_RSA_BACK
- Conex_repository
- Conex_resource
  - Delegation
  - Digest
  - Digest_map
  - Expression
    
    KS
  - Header
  - Key
  - Root
  - Signature
  - Target
  - Targets
  - Wire
- Conex_utils
  - LOGS
    
    Tag
  - M
  - S
  - String
  - Tree
  - Uint
  - Uint_map
- Conex_verify
  - Make
    
    C
  - S
  - S_RSA_BACK
conex.openssl
- Conex_openssl
  - O_V
  - V
conex.unix

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t

val root : t -> Conex_resource.Root.t

val keydir : t -> Conex_utils.path

val datadir : t -> Conex_utils.path

val targets : 
  t ->
  (Conex_resource.Digest.t * Conex_utils.Uint.t * Conex_utils.S.t)
    Conex_utils.Tree.t

val with_targets : 
  t ->
  (Conex_resource.Digest.t * Conex_utils.Uint.t * Conex_utils.S.t)
    Conex_utils.Tree.t ->
  t

val maintainer_delegation : 
  t ->
  (Conex_resource.Expression.t * bool * Conex_utils.S.t) option

val create : Conex_resource.Root.t -> t

type res = [

| `Only_on_disk of Conex_utils.path
| `Only_in_targets of Conex_utils.path
| `No_match of Conex_utils.path * (Conex_resource.Digest.t * Conex_utils.Uint.t) list * (Conex_resource.Digest.t * Conex_utils.Uint.t * Conex_utils.S.t) list

]

val pp_res : res Conex_utils.fmt

val validate_targets : 
  t ->
  (Conex_resource.Digest.t * Conex_utils.Uint.t) Conex_utils.Tree.t ->
  res list

val collect_and_validate_delegations : 
  (Conex_resource.Digest.t * Conex_utils.Uint.t) Conex_utils.M.t ->
  Conex_utils.path ->
  Conex_resource.Expression.t ->
  Conex_resource.Targets.t list ->
  (Conex_utils.path * Conex_resource.Expression.t * bool * Conex_utils.S.t)
    list

val collect_and_validate_targets : 
  ?tree:
    (Conex_resource.Digest.t * Conex_utils.Uint.t * Conex_utils.S.t)
      Conex_utils.Tree.t ->
  (Conex_resource.Digest.t * Conex_utils.Uint.t) Conex_utils.M.t ->
  Conex_utils.path ->
  Conex_resource.Expression.t ->
  Conex_resource.Targets.t list ->
  (Conex_resource.Digest.t * Conex_utils.Uint.t * Conex_utils.S.t)
    Conex_utils.Tree.t