Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.Shelley.Examples

Synopsis

data LedgerExamples era = LedgerExamples {
- leTx ∷ Tx 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 ∷ ∀ era. (EraTx 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 → LedgerExamples era
exampleCerts ∷ (ShelleyEraTxCert era, ProtVerAtMost era 8) ⇒ 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 ∷ ∀ era. (EraTxOut era, EraGov era, EraStake era, EraCertState era, Default (StashedAVVMAddresses era)) ⇒ Value era → PParams era → PParams era → NewEpochState era
examplePoolDistr ∷ PoolDistr
examplePoolParams ∷ PoolParams
exampleTxIns ∷ Set TxIn
exampleProposedPPUpdates ∷ EraPParams era ⇒ ProposedPPUpdates era
exampleByronAddress ∷ Addr
testShelleyGenesis ∷ ShelleyGenesis
keyToCredential ∷ KeyPair r → Credential r
mkDSIGNKeyPair ∷ ∀ kd. Word8 → KeyPair kd
mkKeyHash ∷ ∀ discriminator. Int → KeyHash discriminator
mkScriptHash ∷ Int → ScriptHash
mkWitnessesPreAlonzo ∷ EraTx era ⇒ Proxy era → TxBody era → [KeyPair 'Witness] → ShelleyTxWits era
seedFromByte ∷ Word8 → Int → Seed
seedFromWords ∷ RawSeed → Seed

Documentation

data LedgerExamples era Source #

Constructors

LedgerExamples

Fields

leTx ∷ Tx 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

Instances

Instances details

(EraTx era, Eq (PParams era), Eq (PParamsUpdate era), EraGov era, Eq (Tx era), Eq (PredicateFailure (EraRule "LEDGER" era)), Eq (StashedAVVMAddresses era), Eq (TranslationContext era), Eq (CertState era), Eq (InstantStake era)) ⇒ Eq (LedgerExamples era) Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.Examples Methods (==) ∷ LedgerExamples era → LedgerExamples era → Bool # (/=) ∷ LedgerExamples era → LedgerExamples era → Bool #

ledgerExamples ∷ LedgerExamples ShelleyEra Source #

mkLedgerExamples ∷ ∀ era. (EraTx 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 → LedgerExamples era Source #

exampleCerts ∷ (ShelleyEraTxCert era, ProtVerAtMost era 8) ⇒ StrictSeq (TxCert era) Source #

exampleWithdrawals ∷ Withdrawals Source #

exampleAuxDataMap ∷ Map Word64 Metadatum Source #

exampleNonMyopicRewards ∷ Map (Either Coin (Credential 'Staking)) (Map (KeyHash 'StakePool) Coin) Source #

exampleCoin ∷ Coin Source #

examplePayKey ∷ KeyPair 'Payment Source #

exampleStakeKey ∷ KeyPair 'Staking 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.

examplePoolDistr ∷ PoolDistr Source #

examplePoolParams ∷ PoolParams Source #

exampleTxIns ∷ Set TxIn Source #

exampleProposedPPUpdates ∷ EraPParams era ⇒ ProposedPPUpdates era Source #

exampleByronAddress ∷ Addr Source #

testShelleyGenesis ∷ ShelleyGenesis Source #

These are dummy values.

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

mkKeyHash ∷ ∀ discriminator. Int → KeyHash discriminator Source #

mkScriptHash ∷ Int → ScriptHash Source #

mkWitnessesPreAlonzo ∷ EraTx era ⇒ Proxy era → TxBody era → [KeyPair 'Witness] → ShelleyTxWits era Source #

seedFromByte ∷ Word8 → Int → Seed Source #

seedFromWords ∷ RawSeed → Seed Source #