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, PredicateFailure (EraRule "DELEGS" era) ~ ShelleyDelegsPredFailure era, PredicateFailure (EraRule "LEDGER" era) ~ ShelleyLedgerPredFailure era, Default (StashedAVVMAddresses era), AtMostEra "Mary" 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

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

Instances

Instances details

(EraTx era, Eq (PParams era), Eq (PParamsUpdate era), EraGov era, Eq (Tx 'TopTx 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 #