cardano-ledger-conformance-9.9.9.9: Testing utilities for conformance testing
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Conformance.Utils

Documentation

standardHashSize ∷ Int Source #

standardAddrHashSize ∷ Int Source #

agdaHashToBytes ∷ Int → Integer → ByteString Source #

agdaHashToExpr ∷ Int → Integer → Expr Source #

hashToInteger ∷ Hash a b → Integer Source #

integerToHash ∷ ∀ h a. HashAlgorithm h ⇒ Integer → Maybe (Hash h a) Source #