~/jendhub

def ad.es.e

bend-osdev-aead@0.1.0.0 · essiv.bend:25

import bend-osdev-aead@0.1.0.0/essiv.bend as Essiv
import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B

25def ad.es.e(~KS: Data, ~Blk: Data, ~enc: KS -> Blk -> Blk, ~blk_to: Blk -> B.Octets, +ks: KS, x: Maybe<&2, Blk>, +iv: B.Octets) -> B.Octets:
26  match x:
27    case None{}:
28      iv
29    case Some{b}:
30      blk_to(enc(ks, b))

Uses (2)

Used by (1)