package conex

You can search for identifiers within the package.

in-package search v0.2.0

conex
- Conex
  - Make
    
    C
    
    L
    
    Tag
- Conex_crypto
  - Make_sign
    
    C
  - Make_verify
    
    C
  - SIGN
  - SIGN_BACK
  - VERIFY
  - VERIFY_BACK
- Conex_diff
- Conex_diff_provider
- Conex_io
- Conex_opam_encoding
- Conex_opam_repository_layout
- Conex_repository
- Conex_resource
  - Author
  - Authorisation
  - Digest
  - Header
  - Key
  - Package
  - Release
  - Signature
  - Team
  - Wire
- Conex_unix_persistency
- Conex_unix_private_key
- Conex_unix_provider
- Conex_utils
  - LOGS
    
    Tag
  - String
  - Uint
conex.nocrypto
- Conex_nocrypto
  - C
  - NC_S
  - NC_V
  - V

Legend:
Library
Module
Module type
Parameter
Class
Class type

An authorisation contains the information who is authorised to modify a package. There is always a single authorisation file per package, approved by a quorum of janitors.

type t = private {

created : Conex_utils.Uint.t;
counter : Conex_utils.Uint.t;
wraps : Conex_utils.Uint.t;
name : name;
authorised : Conex_utils.S.t;

}

The authorisation record: a header, a name, and a set of authorised ids.

val pp : t Conex_utils.fmt

pp is a pretty printer.

val t : 
  ?counter:Conex_utils.Uint.t ->
  ?wraps:Conex_utils.Uint.t ->
  ?authorised:Conex_utils.S.t ->
  Conex_utils.Uint.t ->
  name ->
  t

t ~counter ~wraps ~authorised created name is a constructor.

val equal : t -> t -> bool

equal t t' is true if the names are equal and the set of authorised ids are equal.

val of_wire : Wire.t -> (t, string) Stdlib.result

of_wire w converts w to an authorisation or error.

val wire : t -> Wire.t

wire t is the wire representation of t, written to disk.

val add : t -> identifier -> t

add t id adds id to t.authorised.

val remove : t -> identifier -> t

remove t id removed id from t.authorised.

val prep : t -> t * bool

prep t increments t.counter, returns the carry bit as second component.