| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Shelley.Examples.Consensus
Synopsis
- data ShelleyResultExamples era = ShelleyResultExamples {}
- data ShelleyLedgerExamples era = ShelleyLedgerExamples {
- sleBlock ∷ Block (BHeader StandardCrypto) era
- sleHashHeader ∷ HashHeader
- sleTx ∷ Tx era
- sleApplyTxError ∷ ApplyTxError era
- sleRewardsCredentials ∷ Set (Either Coin (Credential 'Staking))
- sleResultExamples ∷ ShelleyResultExamples era
- sleNewEpochState ∷ NewEpochState era
- sleChainDepState ∷ ChainDepState
- sleTranslationContext ∷ TranslationContext era
- defaultShelleyLedgerExamples ∷ ∀ era. (EraSegWits era, EraGov era, PredicateFailure (EraRule "DELEGS" era) ~ ShelleyDelegsPredFailure era, PredicateFailure (EraRule "LEDGER" era) ~ ShelleyLedgerPredFailure era, Default (StashedAVVMAddresses era), ProtVerAtMost era 4) ⇒ (TxBody era → [KeyPair 'Witness] → TxWits era) → (ShelleyTx era → Tx era) → Value era → TxBody era → TxAuxData era → TranslationContext era → ShelleyLedgerExamples era
- exampleShelleyLedgerBlock ∷ ∀ era. EraSegWits era ⇒ Tx era → Block (BHeader StandardCrypto) era
- exampleHashHeader ∷ HashHeader
- mkKeyHash ∷ ∀ discriminator. Int → KeyHash discriminator
- mkScriptHash ∷ Int → ScriptHash
- exampleTx ∷ ∀ era. EraTx era ⇒ (TxBody era → [KeyPair 'Witness] → TxWits era) → TxBody era → TxAuxData era → ShelleyTx era
- exampleProposedPParamsUpdates ∷ EraPParams era ⇒ ProposedPPUpdates era
- examplePoolDistr ∷ PoolDistr
- exampleNonMyopicRewards ∷ Map (Either Coin (Credential 'Staking)) (Map (KeyHash 'StakePool) Coin)
- testShelleyGenesis ∷ ShelleyGenesis
- exampleNewEpochState ∷ ∀ era. (EraTxOut era, EraGov era, Default (StashedAVVMAddresses era)) ⇒ Value era → PParams era → PParams era → NewEpochState era
- exampleLedgerChainDepState ∷ Word64 → ChainDepState
- testEpochInfo ∷ EpochInfo Identity
- mkDummyAnchor ∷ Int → Anchor
- ledgerExamplesShelley ∷ ShelleyLedgerExamples ShelleyEra
- mkWitnessesPreAlonzo ∷ EraTx era ⇒ Proxy era → TxBody era → [KeyPair 'Witness] → ShelleyTxWits era
- exampleCoin ∷ Coin
- exampleTxBodyShelley ∷ ShelleyTxBody ShelleyEra
- exampleAuxDataMap ∷ Map Word64 Metadatum
- exampleAuxiliaryDataShelley ∷ TxAuxData ShelleyEra
- exampleTxIns ∷ Set TxIn
- exampleCerts ∷ (ShelleyEraTxCert era, ProtVerAtMost era 8) ⇒ StrictSeq (TxCert era)
- exampleWithdrawals ∷ Withdrawals
- exampleProposedPPUpdates ∷ EraPParams era ⇒ ProposedPPUpdates era
- examplePayKey ∷ KeyPair 'Payment
- exampleStakeKey ∷ KeyPair 'Staking
- exampleKeys ∷ AllIssuerKeys StandardCrypto r
- keyToCredential ∷ KeyPair r → Credential r
- mkDSIGNKeyPair ∷ ∀ kd. Word8 → KeyPair kd
- mkVRFKeyPair ∷ ∀ c. Crypto c ⇒ Proxy c → Word8 → VRFKeyPair c
- examplePoolParams ∷ PoolParams
Documentation
data ShelleyResultExamples era Source #
Constructors
| ShelleyResultExamples | |
Fields
| |
Instances
| (Eq (PParams era), Eq (PParamsUpdate era), Era era) ⇒ Eq (ShelleyResultExamples era) Source # | |
Defined in Test.Cardano.Ledger.Shelley.Examples.Consensus Methods (==) ∷ ShelleyResultExamples era → ShelleyResultExamples era → Bool Source # (/=) ∷ ShelleyResultExamples era → ShelleyResultExamples era → Bool Source # | |
data ShelleyLedgerExamples era Source #
Constructors
| ShelleyLedgerExamples | |
Fields
| |
Instances
| (EraTx era, EraGov era, Eq (TxSeq era), Eq (PredicateFailure (EraRule "LEDGER" era)), Eq (StashedAVVMAddresses era), Eq (TranslationContext era)) ⇒ Eq (ShelleyLedgerExamples era) Source # | |
Defined in Test.Cardano.Ledger.Shelley.Examples.Consensus Methods (==) ∷ ShelleyLedgerExamples era → ShelleyLedgerExamples era → Bool Source # (/=) ∷ ShelleyLedgerExamples era → ShelleyLedgerExamples era → Bool Source # | |
defaultShelleyLedgerExamples ∷ ∀ era. (EraSegWits era, EraGov era, PredicateFailure (EraRule "DELEGS" era) ~ ShelleyDelegsPredFailure era, PredicateFailure (EraRule "LEDGER" era) ~ ShelleyLedgerPredFailure era, Default (StashedAVVMAddresses era), ProtVerAtMost era 4) ⇒ (TxBody era → [KeyPair 'Witness] → TxWits era) → (ShelleyTx era → Tx era) → Value era → TxBody era → TxAuxData era → TranslationContext era → ShelleyLedgerExamples era Source #
exampleShelleyLedgerBlock ∷ ∀ era. EraSegWits era ⇒ Tx era → Block (BHeader StandardCrypto) era Source #
mkScriptHash ∷ Int → ScriptHash Source #
exampleTx ∷ ∀ era. EraTx era ⇒ (TxBody era → [KeyPair 'Witness] → 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.
exampleProposedPParamsUpdates ∷ EraPParams era ⇒ ProposedPPUpdates era Source #
exampleNonMyopicRewards ∷ Map (Either Coin (Credential 'Staking)) (Map (KeyHash 'StakePool) Coin) Source #
testShelleyGenesis ∷ ShelleyGenesis Source #
These are dummy values.
exampleNewEpochState ∷ ∀ era. (EraTxOut era, EraGov 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.
mkDummyAnchor ∷ Int → Anchor Source #
ledgerExamplesShelley ∷ ShelleyLedgerExamples ShelleyEra Source #
ShelleyLedgerExamples for Shelley era
mkWitnessesPreAlonzo ∷ EraTx era ⇒ Proxy era → TxBody era → [KeyPair 'Witness] → ShelleyTxWits era Source #
exampleCerts ∷ (ShelleyEraTxCert era, ProtVerAtMost era 8) ⇒ StrictSeq (TxCert era) Source #
exampleProposedPPUpdates ∷ EraPParams era ⇒ ProposedPPUpdates era Source #
keyToCredential ∷ KeyPair r → Credential r Source #
mkDSIGNKeyPair ∷ ∀ kd. Word8 → KeyPair kd 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 → Word8 → VRFKeyPair c Source #