Safe Haskell | None |
---|---|
Language | Haskell2010 |
Ouroboros.Consensus.Shelley.ShelleyHFC
Contents
Description
This module is the Shelley Hard Fork Combinator
Synopsis
- type ProtocolShelley = HardForkProtocol '[ ShelleyBlock ( TPraos StandardCrypto ) StandardShelley ]
- type ShelleyBlockHFC proto era = HardForkBlock '[ ShelleyBlock proto era]
-
data
ShelleyPartialLedgerConfig
era =
ShelleyPartialLedgerConfig
{
- shelleyLedgerConfig :: !( ShelleyLedgerConfig era)
- shelleyTriggerHardFork :: ! TriggerHardFork
- forecastAcrossShelley :: forall protoFrom protoTo eraFrom eraTo. ( TranslateProto protoFrom protoTo, LedgerSupportsProtocol ( ShelleyBlock protoFrom eraFrom)) => ShelleyLedgerConfig eraFrom -> ShelleyLedgerConfig eraTo -> Bound -> SlotNo -> LedgerState ( ShelleyBlock protoFrom eraFrom) -> Except OutsideForecastRange ( Ticked ( WrapLedgerView ( ShelleyBlock protoTo eraTo)))
- translateChainDepStateAcrossShelley :: forall eraFrom eraTo protoFrom protoTo. TranslateProto protoFrom protoTo => RequiringBoth WrapConsensusConfig ( Translate WrapChainDepState ) ( ShelleyBlock protoFrom eraFrom) ( ShelleyBlock protoTo eraTo)
- translateLedgerViewAcrossShelley :: forall eraFrom eraTo protoFrom protoTo. ( TranslateProto protoFrom protoTo, LedgerSupportsProtocol ( ShelleyBlock protoFrom eraFrom)) => RequiringBoth WrapLedgerConfig ( TranslateForecast LedgerState WrapLedgerView ) ( ShelleyBlock protoFrom eraFrom) ( ShelleyBlock protoTo eraTo)
Documentation
type ProtocolShelley = HardForkProtocol '[ ShelleyBlock ( TPraos StandardCrypto ) StandardShelley ] Source #
type ShelleyBlockHFC proto era = HardForkBlock '[ ShelleyBlock proto era] Source #
Shelley as the single era in the hard fork combinator
data ShelleyPartialLedgerConfig era Source #
Constructors
ShelleyPartialLedgerConfig | |
Fields
|
Instances
forecastAcrossShelley Source #
Arguments
:: forall protoFrom protoTo eraFrom eraTo. ( TranslateProto protoFrom protoTo, LedgerSupportsProtocol ( ShelleyBlock protoFrom eraFrom)) | |
=> ShelleyLedgerConfig eraFrom | |
-> ShelleyLedgerConfig eraTo | |
-> Bound |
Transition between the two eras |
-> SlotNo |
Forecast for this slot |
-> LedgerState ( ShelleyBlock protoFrom eraFrom) | |
-> Except OutsideForecastRange ( Ticked ( WrapLedgerView ( ShelleyBlock protoTo eraTo))) |
Forecast from a Shelley-based era to the next Shelley-based era.
translateChainDepStateAcrossShelley :: forall eraFrom eraTo protoFrom protoTo. TranslateProto protoFrom protoTo => RequiringBoth WrapConsensusConfig ( Translate WrapChainDepState ) ( ShelleyBlock protoFrom eraFrom) ( ShelleyBlock protoTo eraTo) Source #
translateLedgerViewAcrossShelley :: forall eraFrom eraTo protoFrom protoTo. ( TranslateProto protoFrom protoTo, LedgerSupportsProtocol ( ShelleyBlock protoFrom eraFrom)) => RequiringBoth WrapLedgerConfig ( TranslateForecast LedgerState WrapLedgerView ) ( ShelleyBlock protoFrom eraFrom) ( ShelleyBlock protoTo eraTo) Source #