| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Shelley.Generator.Trace.Chain
Contents
Synopsis
- lastByronHeaderHash ∷ ∀ proxy era. Era era ⇒ proxy era → HashHeader (EraCrypto era)
- mkGenesisChainState ∷ ∀ era a. (EraGen era, EraGov era) ⇒ GenEnv era → IRC (CHAIN era) → Gen (Either a (ChainState era))
- mkOCertIssueNos ∷ GenDelegs h → Map (KeyHash 'BlockIssuer h) Natural
- registerGenesisStaking ∷ ∀ era. EraGov era ⇒ ShelleyGenesisStaking (EraCrypto era) → ChainState era → ChainState era
Documentation
lastByronHeaderHash ∷ ∀ proxy era. Era era ⇒ proxy era → HashHeader (EraCrypto era) Source #
The first block of the Shelley era will point back to the last block of the Byron era. For our purposes we can bootstrap the chain by just coercing the value. When this transition actually occurs, the consensus layer will do the work of making sure that the hash gets translated across the fork
mkGenesisChainState ∷ ∀ era a. (EraGen era, EraGov era) ⇒ GenEnv era → IRC (CHAIN era) → Gen (Either a (ChainState era)) Source #
mkOCertIssueNos ∷ GenDelegs h → Map (KeyHash 'BlockIssuer h) Natural Source #
registerGenesisStaking ∷ ∀ era. EraGov era ⇒ ShelleyGenesisStaking (EraCrypto era) → ChainState era → ChainState era Source #