| 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
- mkLedgerExamples ∷ (EraTx era, EraGov era, EraStake era, EraCertState era, Default (StashedAVVMAddresses era), AtMostEra "Mary" era) ⇒ ApplyTxError era → (TxBody 'TopTx era → [KeyPair 'Witness] → TxWits era) → Value era → TxBody 'TopTx era → TxAuxData era → TranslationContext era → LedgerExamples 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
- mkWitnessesPreAlonzo ∷ EraTx era ⇒ Proxy era → TxBody 'TopTx era → [KeyPair 'Witness] → ShelleyTxWits 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 # | |
mkLedgerExamples ∷ (EraTx era, EraGov era, EraStake era, EraCertState era, Default (StashedAVVMAddresses era), AtMostEra "Mary" era) ⇒ ApplyTxError era → (TxBody 'TopTx era → [KeyPair 'Witness] → TxWits era) → Value era → TxBody 'TopTx era → TxAuxData era → TranslationContext era → LedgerExamples era Source #
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 #
mkWitnessesPreAlonzo ∷ EraTx era ⇒ Proxy era → TxBody 'TopTx era → [KeyPair 'Witness] → ShelleyTxWits era Source #
seedFromWords ∷ RawSeed → Seed Source #