cardano-ledger-shelley-test-1.4.0.3: Test helpers from cardano-ledger-shelley exposed to other packages
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Shelley.Examples.Consensus

Synopsis

Documentation

exampleShelleyLedgerBlock ∷ ∀ era. (EraSegWits era, PraosCrypto (EraCrypto era)) ⇒ Tx era → Block (BHeader (EraCrypto era)) era Source #

mkKeyHash ∷ ∀ c discriminator. Crypto c ⇒ IntKeyHash discriminator c Source #

mkScriptHash ∷ ∀ c. Crypto c ⇒ IntScriptHash c Source #

exampleTx ∷ ∀ era. EraTx era ⇒ (TxBody era → KeyPairWits era → TxWits era) → TxBody era → TxAuxData era → ShelleyTx era Source #

This is not a valid transaction. We don't care, we are only interested in serialisation, not validation.

testShelleyGenesisCrypto c ⇒ ShelleyGenesis c Source #

These are dummy values.

exampleNewEpochState ∷ ∀ era. (EraTxOut era, EraGov era, ShelleyBasedEra' era, Default (StashedAVVMAddresses era)) ⇒ Value era → PParams era → PParams era → NewEpochState era Source #

This is probably not a valid ledger. We don't care, we are only interested in serialisation, not validation.

ledgerExamplesShelleyShelleyLedgerExamples Shelley Source #

ShelleyLedgerExamples for Shelley era

exampleKeys ∷ ∀ c r. Crypto c ⇒ AllIssuerKeys c r Source #

mkDSIGNKeyPair ∷ ∀ c kd. DSIGNAlgorithm (DSIGN c) ⇒ Word8KeyPair kd c Source #

mkKeyPair' from Test.Cardano.Ledger.Shelley.Utils doesn't work for real crypto: https://github.com/intersectmbo/cardano-ledger/issues/1770

mkVRFKeyPair ∷ ∀ c. Crypto c ⇒ Proxy c → Word8VRFKeyPair c Source #