package dkim

  1. Overview
  2. Docs

Module Dkim.DigestSource

Sourcetype 'a dkim = 'a t
Sourcetype 'k t =
  1. | Digest : {
    1. m : ('k, 'ctx) impl;
    2. ctx : 'ctx;
    } -> 'k t
Sourceand ('k, 'ctx) impl = (module Digestif.S with type ctx = 'ctx and type t = 'k)
Sourceand ('signed, 'k) value = 'signed dkim * 'k t
Sourceand pack =
  1. | Value : (signed, 'k) value -> pack
Sourceval digest_fields : (Mrmime.Field_name.t * Unstrctrd.t) list -> (Mrmime.Field_name.t * Unstrctrd.t * signed dkim * domain_key) -> string * pack
Sourceval digest_wsp : [< `CRLF | `Spaces of string ] list -> ('signed, 'k) value -> ('signed, 'k) value
Sourceval digest_str : string -> ('signed, 'k) value -> ('signed, 'k) value
Sourceval verify : fields:string -> domain_key:domain_key -> (signed, 'k) value -> string * bool