| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Shelley.Examples.Consensus
Synopsis
- type KeyPairWits era = [KeyPair 'Witness (EraCrypto era)]
- data ShelleyResultExamples era = ShelleyResultExamples {
- srePParams ∷ PParams era
- sreProposedPPUpdates ∷ ProposedPPUpdates era
- srePoolDistr ∷ PoolDistr (EraCrypto era)
- sreNonMyopicRewards ∷ Map (Either Coin (Credential 'Staking (EraCrypto era))) (Map (KeyHash 'StakePool (EraCrypto era)) Coin)
- sreShelleyGenesis ∷ ShelleyGenesis (EraCrypto era)
- data ShelleyLedgerExamples era = ShelleyLedgerExamples {
- sleBlock ∷ Block (BHeader (EraCrypto era)) era
- sleHashHeader ∷ HashHeader (EraCrypto era)
- sleTx ∷ Tx era
- sleApplyTxError ∷ ApplyTxError era
- sleRewardsCredentials ∷ Set (Either Coin (Credential 'Staking (EraCrypto era)))
- sleResultExamples ∷ ShelleyResultExamples era
- sleNewEpochState ∷ NewEpochState era
- sleChainDepState ∷ ChainDepState (EraCrypto era)
- sleTranslationContext ∷ TranslationContext era
- type ShelleyBasedEra' era = PraosCrypto (EraCrypto era)
- defaultShelleyLedgerExamples ∷ ∀ era. (ShelleyBasedEra' era, EraSegWits era, EraGov era, PredicateFailure (EraRule "DELEGS" era) ~ ShelleyDelegsPredFailure era, PredicateFailure (EraRule "LEDGER" era) ~ ShelleyLedgerPredFailure era, Default (StashedAVVMAddresses era), ProtVerAtMost era 4) ⇒ (TxBody era → KeyPairWits era → TxWits era) → (ShelleyTx era → Tx era) → Value era → TxBody era → TxAuxData era → TranslationContext era → ShelleyLedgerExamples era
- exampleShelleyLedgerBlock ∷ ∀ era. (EraSegWits era, PraosCrypto (EraCrypto era)) ⇒ Tx era → Block (BHeader (EraCrypto era)) era
- exampleHashHeader ∷ ∀ era. ShelleyBasedEra' era ⇒ Proxy era → HashHeader (EraCrypto era)
- mkKeyHash ∷ ∀ c discriminator. Crypto c ⇒ Int → KeyHash discriminator c
- mkScriptHash ∷ ∀ c. Crypto c ⇒ Int → ScriptHash c
- exampleTx ∷ ∀ era. EraTx era ⇒ (TxBody era → KeyPairWits era → TxWits era) → TxBody era → TxAuxData era → ShelleyTx era
- exampleProposedPParamsUpdates ∷ EraPParams era ⇒ ProposedPPUpdates era
- examplePoolDistr ∷ ∀ c. PraosCrypto c ⇒ PoolDistr c
- exampleNonMyopicRewards ∷ ∀ c. Crypto c ⇒ Map (Either Coin (Credential 'Staking c)) (Map (KeyHash 'StakePool c) Coin)
- testShelleyGenesis ∷ Crypto c ⇒ ShelleyGenesis c
- exampleNewEpochState ∷ ∀ era. (EraTxOut era, EraGov era, ShelleyBasedEra' era, Default (StashedAVVMAddresses era)) ⇒ Value era → PParams era → PParams era → NewEpochState era
- exampleLedgerChainDepState ∷ ∀ c. Crypto c ⇒ Word64 → ChainDepState c
- testEpochInfo ∷ EpochInfo Identity
- mkDummyAnchor ∷ Crypto c ⇒ Int → Anchor c
- ledgerExamplesShelley ∷ ShelleyLedgerExamples Shelley
- mkWitnessesPreAlonzo ∷ (EraTx era, Signable (DSIGN (EraCrypto era)) (Hash (HASH (EraCrypto era)) EraIndependentTxBody)) ⇒ Proxy era → TxBody era → KeyPairWits era → ShelleyTxWits era
- exampleCoin ∷ Coin
- exampleTxBodyShelley ∷ ShelleyTxBody Shelley
- exampleAuxDataMap ∷ Map Word64 Metadatum
- exampleAuxiliaryDataShelley ∷ TxAuxData Shelley
- exampleTxIns ∷ Crypto c ⇒ Set (TxIn c)
- exampleCerts ∷ (ShelleyEraTxCert era, ProtVerAtMost era 8) ⇒ StrictSeq (TxCert era)
- exampleWithdrawals ∷ Crypto c ⇒ Withdrawals c
- exampleProposedPPUpdates ∷ EraPParams era ⇒ ProposedPPUpdates era
- examplePayKey ∷ Crypto c ⇒ KeyPair 'Payment c
- exampleStakeKey ∷ Crypto c ⇒ KeyPair 'Staking c
- exampleKeys ∷ ∀ c r. Crypto c ⇒ AllIssuerKeys c r
- keyToCredential ∷ Crypto c ⇒ KeyPair r c → Credential r c
- mkDSIGNKeyPair ∷ ∀ c kd. DSIGNAlgorithm (DSIGN c) ⇒ Word8 → KeyPair kd c
- mkVRFKeyPair ∷ ∀ c. Crypto c ⇒ Proxy c → Word8 → VRFKeyPair c
- examplePoolParams ∷ ∀ c. Crypto c ⇒ PoolParams c
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.Shelley.Examples.Consensus Methods (==) ∷ ShelleyResultExamples era → ShelleyResultExamples era → Bool Source # (/=) ∷ ShelleyResultExamples era → ShelleyResultExamples era → Bool Source # | |
data ShelleyLedgerExamples era Source #
Constructors
| ShelleyLedgerExamples | |
Fields
| |
Instances
| (EraTx era, EraGov era, Eq (TxSeq era), Eq (PredicateFailure (EraRule "LEDGER" era)), Eq (StashedAVVMAddresses era), Eq (TranslationContext era)) ⇒ Eq (ShelleyLedgerExamples era) Source # | |
Defined in Test.Cardano.Ledger.Shelley.Examples.Consensus Methods (==) ∷ ShelleyLedgerExamples era → ShelleyLedgerExamples era → Bool Source # (/=) ∷ ShelleyLedgerExamples era → ShelleyLedgerExamples era → Bool Source # | |
type ShelleyBasedEra' era = PraosCrypto (EraCrypto era) Source #
defaultShelleyLedgerExamples ∷ ∀ era. (ShelleyBasedEra' era, EraSegWits era, EraGov era, PredicateFailure (EraRule "DELEGS" era) ~ ShelleyDelegsPredFailure era, PredicateFailure (EraRule "LEDGER" era) ~ ShelleyLedgerPredFailure era, Default (StashedAVVMAddresses era), ProtVerAtMost era 4) ⇒ (TxBody era → KeyPairWits era → TxWits era) → (ShelleyTx era → Tx era) → Value era → TxBody era → TxAuxData era → TranslationContext era → ShelleyLedgerExamples era Source #
exampleShelleyLedgerBlock ∷ ∀ era. (EraSegWits era, PraosCrypto (EraCrypto era)) ⇒ Tx era → Block (BHeader (EraCrypto era)) era Source #
exampleHashHeader ∷ ∀ era. ShelleyBasedEra' era ⇒ Proxy era → HashHeader (EraCrypto era) Source #
mkScriptHash ∷ ∀ c. Crypto c ⇒ Int → ScriptHash c Source #
exampleTx ∷ ∀ era. EraTx era ⇒ (TxBody era → KeyPairWits era → TxWits era) → TxBody era → TxAuxData era → ShelleyTx 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 #
examplePoolDistr ∷ ∀ c. PraosCrypto c ⇒ PoolDistr c Source #
exampleNonMyopicRewards ∷ ∀ c. Crypto c ⇒ Map (Either Coin (Credential 'Staking c)) (Map (KeyHash 'StakePool c) Coin) Source #
testShelleyGenesis ∷ Crypto c ⇒ ShelleyGenesis c Source #
These are dummy values.
exampleNewEpochState ∷ ∀ era. (EraTxOut era, EraGov era, ShelleyBasedEra' 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.
exampleLedgerChainDepState ∷ ∀ c. Crypto c ⇒ Word64 → ChainDepState c Source #
ledgerExamplesShelley ∷ ShelleyLedgerExamples Shelley Source #
ShelleyLedgerExamples for Shelley era
mkWitnessesPreAlonzo ∷ (EraTx era, Signable (DSIGN (EraCrypto era)) (Hash (HASH (EraCrypto era)) EraIndependentTxBody)) ⇒ Proxy era → TxBody era → KeyPairWits era → ShelleyTxWits era Source #
exampleCerts ∷ (ShelleyEraTxCert era, ProtVerAtMost era 8) ⇒ StrictSeq (TxCert era) Source #
exampleWithdrawals ∷ Crypto c ⇒ Withdrawals c Source #
exampleProposedPPUpdates ∷ EraPParams era ⇒ ProposedPPUpdates era Source #
exampleKeys ∷ ∀ c r. Crypto c ⇒ AllIssuerKeys c r Source #
keyToCredential ∷ Crypto c ⇒ KeyPair r c → Credential r c Source #
mkDSIGNKeyPair ∷ ∀ c kd. DSIGNAlgorithm (DSIGN c) ⇒ Word8 → KeyPair kd c Source #
mkKeyPair' from Test.Cardano.Ledger.Shelley.Utils doesn't work for real
crypto:
https://github.com/intersectmbo/cardano-ledger/issues/1770
mkVRFKeyPair ∷ ∀ c. Crypto c ⇒ Proxy c → Word8 → VRFKeyPair c Source #
examplePoolParams ∷ ∀ c. Crypto c ⇒ PoolParams c Source #