| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Shelley.Examples
Description
The example transactions in this module are not valid transactions. We don't care, we are only interested in serialisation, not validation.
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
- exampleShelleyBasedTx ∷ ∀ era (l ∷ TxLevel). (EraTx era, ShelleyEraScript era, Typeable l) ⇒ Tx l era
- addShelleyBasedTopTxExampleFee ∷ EraTx era ⇒ Tx 'TopTx era → Tx 'TopTx era
- addShelleyToBabbageExampleProposedPUpdates ∷ (EraTx era, ShelleyEraTxBody era) ⇒ Tx 'TopTx era → Tx 'TopTx era
- addShelleyToBabbageTxCerts ∷ ∀ era (l ∷ TxLevel). (EraTx era, ShelleyEraTxCert era, AtMostEra "Babbage" era) ⇒ Tx l era → Tx l era
- addShelleyToConwayTxCerts ∷ ∀ era (l ∷ TxLevel). (EraTx era, ShelleyEraTxCert era) ⇒ Tx l era → Tx l era
- 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
- exampleVrfVerKeyHash ∷ VRFVerKeyHash 'StakePoolVRF
- exampleProposedPPUpdates ∷ EraPParams era ⇒ ProposedPPUpdates era
- exampleByronAddress ∷ Addr
- exampleShelleyScript ∷ ShelleyEraScript era ⇒ NativeScript era
- testShelleyGenesis ∷ ShelleyGenesis
- mkDSIGNKeyPair ∷ ∀ (kd ∷ KeyRole). Word8 → KeyPair kd
- mkKeyHash ∷ ∀ (discriminator ∷ KeyRole). Int → KeyHash discriminator
- mkScriptHash ∷ Int → ScriptHash
- 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 #
exampleShelleyBasedTx ∷ ∀ era (l ∷ TxLevel). (EraTx era, ShelleyEraScript era, Typeable l) ⇒ Tx l era Source #
addShelleyToBabbageExampleProposedPUpdates ∷ (EraTx era, ShelleyEraTxBody era) ⇒ Tx 'TopTx era → Tx 'TopTx era Source #
addShelleyToBabbageTxCerts ∷ ∀ era (l ∷ TxLevel). (EraTx era, ShelleyEraTxCert era, AtMostEra "Babbage" era) ⇒ Tx l era → Tx l era Source #
addShelleyToConwayTxCerts ∷ ∀ era (l ∷ TxLevel). (EraTx era, ShelleyEraTxCert era) ⇒ Tx l era → Tx l 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 #
exampleShelleyScript ∷ ShelleyEraScript era ⇒ NativeScript era Source #
testShelleyGenesis ∷ ShelleyGenesis Source #
These are dummy values.
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 #