| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Shelley.Examples
Synopsis
- data LedgerExamples era = LedgerExamples {
- leTx ∷ Tx 'TopTx era
- leApplyTxError ∷ ApplyTxError era
- lePParams ∷ PParams era
- leProposedPPUpdates ∷ ProposedPPUpdates era
- leNewEpochState ∷ NewEpochState era
- lePoolDistr ∷ PoolDistr
- leRewardsCredentials ∷ Set (Either Coin (Credential 'Staking))
- leNonMyopicRewards ∷ Map (Either Coin (Credential 'Staking)) (Map (KeyHash 'StakePool) Coin)
- leTranslationContext ∷ TranslationContext era
- leShelleyGenesis ∷ ShelleyGenesis
- ledgerExamples ∷ LedgerExamples ShelleyEra
- mkShelleyBasedLedgerExamples ∷ (EraTx era, EraGov era, EraStake era, EraCertState era, Default (StashedAVVMAddresses era), AtMostEra "Mary" era) ⇒ ApplyTxError era → Value era → Tx 'TopTx era → TranslationContext era → LedgerExamples era
- mkShelleyBasedExampleTx ∷ EraTx era ⇒ TxBody 'TopTx era → Tx 'TopTx era
- exampleShelleyBasedShelleyTxBody ∷ ShelleyEraTxBody era ⇒ Value era → TxBody 'TopTx era
- exampleShelleyBasedTxBody ∷ EraTxBody era ⇒ Value era → TxBody 'TopTx era
- exampleCerts ∷ (ShelleyEraTxCert era, AtMostEra "Babbage" era) ⇒ StrictSeq (TxCert era)
- exampleWithdrawals ∷ Withdrawals
- exampleAuxDataMap ∷ Map Word64 Metadatum
- exampleNonMyopicRewards ∷ Map (Either Coin (Credential 'Staking)) (Map (KeyHash 'StakePool) Coin)
- exampleCoin ∷ Coin
- examplePayKey ∷ KeyPair 'Payment
- exampleStakeKey ∷ KeyPair 'Staking
- exampleNewEpochState ∷ (EraTxOut era, EraGov era, EraStake era, EraCertState era, Default (StashedAVVMAddresses era)) ⇒ Value era → PParams era → PParams era → NewEpochState era
- examplePoolDistr ∷ PoolDistr
- exampleStakePoolParams ∷ StakePoolParams
- exampleTxIns ∷ Set TxIn
- exampleProposedPPUpdates ∷ EraPParams era ⇒ ProposedPPUpdates era
- exampleByronAddress ∷ Addr
- testShelleyGenesis ∷ ShelleyGenesis
- keyToCredential ∷ ∀ (r ∷ KeyRole). KeyPair r → Credential r
- mkDSIGNKeyPair ∷ ∀ (kd ∷ KeyRole). Word8 → KeyPair kd
- mkKeyHash ∷ ∀ (discriminator ∷ KeyRole). Int → KeyHash discriminator
- mkScriptHash ∷ Int → ScriptHash
- mkShelleyBasedWitnesses ∷ EraTx era ⇒ TxBody 'TopTx era → [KeyPair 'Witness] → TxWits era
- seedFromByte ∷ Word8 → Int → Seed
- seedFromWords ∷ RawSeed → Seed
Documentation
data LedgerExamples era Source #
Constructors
| LedgerExamples | |
Fields
| |
Instances
| (EraTx era, Eq (PParams era), Eq (PParamsUpdate era), EraGov era, Eq (Tx 'TopTx era), Eq (ApplyTxError era), Eq (StashedAVVMAddresses era), Eq (TranslationContext era), Eq (CertState era), Eq (InstantStake era)) ⇒ Eq (LedgerExamples era) Source # | |
Defined in Test.Cardano.Ledger.Shelley.Examples Methods (==) ∷ LedgerExamples era → LedgerExamples era → Bool # (/=) ∷ LedgerExamples era → LedgerExamples era → Bool # | |
mkShelleyBasedLedgerExamples ∷ (EraTx era, EraGov era, EraStake era, EraCertState era, Default (StashedAVVMAddresses era), AtMostEra "Mary" era) ⇒ ApplyTxError era → Value era → Tx 'TopTx era → TranslationContext era → LedgerExamples era Source #
mkShelleyBasedExampleTx ∷ EraTx era ⇒ TxBody 'TopTx era → Tx 'TopTx era Source #
This is not a valid transaction. We don't care, we are only interested in serialisation, not validation.
exampleShelleyBasedShelleyTxBody ∷ ShelleyEraTxBody era ⇒ Value era → TxBody 'TopTx era Source #
Shelley era TxBody which is compatible with TxBody of future eras. Doesn't have
the ttl field, since that field only exists in Shelley era. For an example
which includes the ttl field, use exampleTxBodyShelley.
exampleCerts ∷ (ShelleyEraTxCert era, AtMostEra "Babbage" era) ⇒ StrictSeq (TxCert era) Source #
exampleNonMyopicRewards ∷ Map (Either Coin (Credential 'Staking)) (Map (KeyHash 'StakePool) Coin) Source #
exampleNewEpochState ∷ (EraTxOut era, EraGov era, EraStake era, EraCertState 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.
exampleProposedPPUpdates ∷ EraPParams era ⇒ ProposedPPUpdates era Source #
testShelleyGenesis ∷ ShelleyGenesis Source #
These are dummy values.
keyToCredential ∷ ∀ (r ∷ KeyRole). KeyPair r → Credential r Source #
mkDSIGNKeyPair ∷ ∀ (kd ∷ KeyRole). 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
mkScriptHash ∷ Int → ScriptHash Source #
seedFromWords ∷ RawSeed → Seed Source #