Modulecardano-ledger-shelley-test-1.9.0.0Haskell2010

Test.Cardano.Ledger.Shelley.Generator.Trace.Chain

Synopsis

value lastByronHeaderHash
value mkGenesisChainState
value mkOCertIssueNos
value registerGenesisStaking

Packagecardano-ledger-shelley-test-1.9.0.0
Exports4
LanguageHaskell2010
LicenceApache-2.0
SourceChain.hs

valuelastByronHeaderHash :: proxy era -> HashHeader

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

valuemkGenesisChainState

:: (EraGen era, EraGov era, EraStake era)
=> GenEnv c era
-> IRC (CHAIN era)
-> Gen (Either a (ChainState era))

valuemkOCertIssueNos :: GenDelegs -> Map (KeyHash BlockIssuer) Natural

valueregisterGenesisStaking

:: (EraGov era, EraStake era, EraCertState era, ShelleyEraAccounts era, MonadST m, MonadThrow m)
=> HasFS m h
-> ShelleyGenesisStaking
-> ChainState era
-> m (ChainState era)

Orphan instances

1 instance

(EraGen era, EraBlockBody era, EraBlockHeader (BHeader MockCrypto) era, ApplyBlock TestBlockHeader era, ShelleyEraForecast era, MinLEDGER_STS era, MinCHAIN_STS era, Embed (EraRule "BBODY" era) (CHAIN era), Environment (EraRule "BBODY" era) ~ BbodyEnv era, State (EraRule "BBODY" era) ~ ShelleyBbodyState era, Signal (EraRule "BBODY" era) ~ BbodySignal era, Embed (EraRule "TICKN" era) (CHAIN era), Environment (EraRule "TICKN" era) ~ TicknEnv, State (EraRule "TICKN" era) ~ TicknState, Signal (EraRule "TICKN" era) ~ Bool, Embed (EraRule "TICK" era) (CHAIN era), Environment (EraRule "TICK" era) ~ (), State (EraRule "TICK" era) ~ NewEpochState era, Signal (EraRule "TICK" era) ~ SlotNo, HasTrace (EraRule "LEDGERS" era) (GenEnv MockCrypto era), PredicateFailure (EraRule "TICKF" era) ~ Void) => HasTrace (CHAIN era) (GenEnv MockCrypto era)