
  0 | module Data.Cryptography.Hash
  1 | 
  2 | import Data.Vect
  3 | 
  4 | public export
  5 | record HashAlgorithm where
  6 |   constructor MkHashAlgorithm
  7 |   outputSize: Nat
  8 |   ctxType: Type
  9 |   mkHashCtx: ctxType
 10 |   appendHash: List Bits8 -> ctxType -> ctxType
 11 |   finalizeHash: ctxType -> Vect outputSize Bits8
 12 |