Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
-
class
CanStartFromGenesis
era
where
- type AdditionalGenesisConfig era :: Type
- initialState :: ShelleyGenesis era -> AdditionalGenesisConfig era -> NewEpochState era
Documentation
class CanStartFromGenesis era where Source #
Indicates that this era may be bootstrapped from
ShelleyGenesis
.
type AdditionalGenesisConfig era :: Type Source #
Additional genesis configuration necessary for this era.
type AdditionalGenesisConfig era = ()
initialState :: ShelleyGenesis era -> AdditionalGenesisConfig era -> NewEpochState era Source #
Construct an initial state given a
ShelleyGenesis
and any appropriate
AdditionalGenesisConfig
for the era.
Instances
( Crypto c, Default ( State ( EraRule "PPUP" ( ShelleyEra c)))) => CanStartFromGenesis ( ShelleyEra c) Source # | |
Defined in Cardano.Ledger.Shelley.API.Genesis type AdditionalGenesisConfig ( ShelleyEra c) Source # initialState :: ShelleyGenesis ( ShelleyEra c) -> AdditionalGenesisConfig ( ShelleyEra c) -> NewEpochState ( ShelleyEra c) Source # |