| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Api.Examples.Consensus.Shelley
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. (EraBlockBody era, EraGov era, EraStake era, EraCertState 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) → Value era → TxBody era → TxAuxData era → TranslationContext era → ShelleyLedgerExamples era
- exampleShelleyLedgerBlock ∷ ∀ era. EraBlockBody era ⇒ Tx era → Block (BHeader StandardCrypto) era
- exampleHashHeader ∷ HashHeader
- exampleTx ∷ ∀ era. EraTx era ⇒ (TxBody era → [KeyPair 'Witness] → TxWits era) → TxBody era → TxAuxData era → Tx era
- exampleProposedPParamsUpdates ∷ EraPParams era ⇒ ProposedPPUpdates era
- examplePoolDistr ∷ PoolDistr
- exampleNonMyopicRewards ∷ Map (Either Coin (Credential 'Staking)) (Map (KeyHash 'StakePool) Coin)
- exampleNewEpochState ∷ ∀ era. (EraTxOut era, EraGov era, EraStake era, EraCertState era, Default (StashedAVVMAddresses era)) ⇒ Value era → PParams era → PParams era → NewEpochState era
- exampleLedgerChainDepState ∷ Word64 → ChainDepState
- exampleCoin ∷ Coin
- exampleTxBodyShelley ∷ TxBody ShelleyEra
- exampleAuxDataMap ∷ Map Word64 Metadatum
- 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
- exampleAuxiliaryDataShelley ∷ TxAuxData ShelleyEra
- examplePoolParams ∷ PoolParams
- ledgerExamplesShelley ∷ ShelleyLedgerExamples ShelleyEra
- testShelleyGenesis ∷ ShelleyGenesis
- keyToCredential ∷ KeyPair r → Credential r
- mkKeyHash ∷ ∀ discriminator. Int → KeyHash discriminator
- mkWitnessesPreAlonzo ∷ EraTx era ⇒ Proxy era → TxBody era → [KeyPair 'Witness] → ShelleyTxWits era
- mkScriptHash ∷ Int → ScriptHash
- emptyFromByronTranslationContext ∷ FromByronTranslationContext
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.Api.Examples.Consensus.Shelley Methods (==) ∷ ShelleyResultExamples era → ShelleyResultExamples era → Bool # (/=) ∷ ShelleyResultExamples era → ShelleyResultExamples era → Bool # | |
data ShelleyLedgerExamples era Source #
Constructors
| ShelleyLedgerExamples | |
Fields
| |
Instances
| (EraTx era, EraGov era, Eq (BlockBody era), Eq (PredicateFailure (EraRule "LEDGER" era)), Eq (StashedAVVMAddresses era), Eq (TranslationContext era), Eq (CertState era), Eq (InstantStake era)) ⇒ Eq (ShelleyLedgerExamples era) Source # | |
Defined in Test.Cardano.Ledger.Api.Examples.Consensus.Shelley Methods (==) ∷ ShelleyLedgerExamples era → ShelleyLedgerExamples era → Bool # (/=) ∷ ShelleyLedgerExamples era → ShelleyLedgerExamples era → Bool # | |
defaultShelleyLedgerExamples ∷ ∀ era. (EraBlockBody era, EraGov era, EraStake era, EraCertState 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) → Value era → TxBody era → TxAuxData era → TranslationContext era → ShelleyLedgerExamples era Source #
exampleShelleyLedgerBlock ∷ ∀ era. EraBlockBody era ⇒ Tx era → Block (BHeader StandardCrypto) era Source #
exampleTx ∷ ∀ era. EraTx era ⇒ (TxBody era → [KeyPair 'Witness] → TxWits era) → TxBody era → TxAuxData era → Tx 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 #
exampleNewEpochState ∷ ∀ era. (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.
exampleCerts ∷ (ShelleyEraTxCert era, ProtVerAtMost era 8) ⇒ StrictSeq (TxCert era) Source #
exampleProposedPPUpdates ∷ EraPParams era ⇒ ProposedPPUpdates era Source #
ledgerExamplesShelley ∷ ShelleyLedgerExamples ShelleyEra Source #
ShelleyLedgerExamples for Shelley era
testShelleyGenesis ∷ ShelleyGenesis Source #
These are dummy values.
helper functions used in other examples
keyToCredential ∷ KeyPair r → Credential r Source #
mkWitnessesPreAlonzo ∷ EraTx era ⇒ Proxy era → TxBody era → [KeyPair 'Witness] → ShelleyTxWits era Source #
mkScriptHash ∷ Int → ScriptHash Source #
from Translation
emptyFromByronTranslationContext ∷ FromByronTranslationContext Source #
Trivial FromByronTranslationContext value, for use in cases where we do not need to translate from Byron to Shelley.