package conex

You can search for identifiers within the package.

in-package search v0.2.0

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

Verification primitives

Implementations are provided in Conex_mirage_crypto and Conex_openssl.

type error = [

| `UnknownKey of Conex_resource.identifier
| `InvalidBase64Encoding of Conex_resource.identifier
| `InvalidSignature of Conex_resource.identifier
| `InvalidPublicKey of Conex_resource.identifier

]

Potential error case when verifying a signature

val pp_error : error Conex_utils.fmt

pp_error is a pretty printer for verification_error.

module type S = sig ... end

The verification module type

module type S_RSA_BACK = sig ... end

The verification backend, to be implemented by a crypto provider

module Make (C : S_RSA_BACK) : S

Instantiation.