Idris2Doc : Data.Cryptography.Hash

Data.Cryptography.Hash

(source)
Definitions
record HashAlgorithm : Type
  Totality: total
  Visibility: public export
  Constructor: 
MkHashAlgorithm : (outputSize : Nat) -> (ctxType : Type) -> ctxType -> (List Bits8 -> ctxType -> ctxType) -> (ctxType -> Vect outputSize Bits8) -> HashAlgorithm

  Projections:
  
.appendHash : ({rec:0} : HashAlgorithm) -> List Bits8 -> ctxType {rec:0} -> ctxType {rec:0}
  
.ctxType : HashAlgorithm -> Type
  
.finalizeHash : ({rec:0} : HashAlgorithm) -> ctxType {rec:0} -> Vect (outputSize {rec:0}) Bits8
  
.mkHashCtx : ({rec:0} : HashAlgorithm) -> ctxType {rec:0}
  
.outputSize : HashAlgorithm -> Nat
.outputSize : HashAlgorithm -> Nat
  Visibility: public export
outputSize : HashAlgorithm -> Nat
  Visibility: public export
.ctxType : HashAlgorithm -> Type
  Visibility: public export
ctxType : HashAlgorithm -> Type
  Visibility: public export
.mkHashCtx : ({rec:0} : HashAlgorithm) -> ctxType {rec:0}
  Visibility: public export
mkHashCtx : ({rec:0} : HashAlgorithm) -> ctxType {rec:0}
  Visibility: public export
.appendHash : ({rec:0} : HashAlgorithm) -> List Bits8 -> ctxType {rec:0} -> ctxType {rec:0}
  Visibility: public export
appendHash : ({rec:0} : HashAlgorithm) -> List Bits8 -> ctxType {rec:0} -> ctxType {rec:0}
  Visibility: public export
.finalizeHash : ({rec:0} : HashAlgorithm) -> ctxType {rec:0} -> Vect (outputSize {rec:0}) Bits8
  Visibility: public export
finalizeHash : ({rec:0} : HashAlgorithm) -> ctxType {rec:0} -> Vect (outputSize {rec:0}) Bits8
  Visibility: public export