| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Shelley.Generator.Trace.Chain
Contents
Synopsis
- lastByronHeaderHash ∷ ∀ proxy era. proxy era → HashHeader
- mkGenesisChainState ∷ ∀ era a c. (EraGen era, EraGov era, EraStake era) ⇒ GenEnv c era → IRC (CHAIN era) → Gen (Either a (ChainState era))
- mkOCertIssueNos ∷ GenDelegs → Map (KeyHash 'BlockIssuer) Natural
- registerGenesisStaking ∷ (EraGov era, EraStake era, EraCertState era) ⇒ ShelleyGenesisStaking → ChainState era → ChainState era
Documentation
lastByronHeaderHash ∷ ∀ proxy era. proxy era → HashHeader 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 c. (EraGen era, EraGov era, EraStake era) ⇒ GenEnv c era → IRC (CHAIN era) → Gen (Either a (ChainState era)) Source #
registerGenesisStaking ∷ (EraGov era, EraStake era, EraCertState era) ⇒ ShelleyGenesisStaking → ChainState era → ChainState era Source #