| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.Cardano.CanHardFork
Contents
Synopsis
- data TriggerHardFork
- data ByronPartialLedgerConfig = ByronPartialLedgerConfig {}
- data ShelleyPartialLedgerConfig era = ShelleyPartialLedgerConfig {}
- type CardanoHardForkConstraints c = (PraosCrypto c, ShelleyBasedEra (ShelleyEra c), ShelleyBasedEra (AllegraEra c), ShelleyBasedEra (MaryEra c), HASH c ~ Blake2b_256, ADDRHASH c ~ Blake2b_224, DSIGN c ~ Ed25519DSIGN)
Documentation
data TriggerHardFork Source #
The trigger condition that will cause the hard fork transition.
Constructors
| TriggerHardForkAtVersion !Word16 | Trigger the transition when the on-chain protocol major version (from the ledger state) reaches this number. |
| TriggerHardForkAtEpoch !EpochNo | For testing only, trigger the transition at a specific hard-coded epoch, irrespective of the ledger state. |
| TriggerHardForkNever | Never trigger a hard fork |
Instances
data ByronPartialLedgerConfig Source #
When Byron is part of the hard-fork combinator, we use the partial ledger config. Standalone Byron uses the regular ledger config. This means that the partial ledger config is the perfect place to store the trigger condition for the hard fork to Shelley, as we don't have to modify the ledger config for standalone Byron.
Constructors
| ByronPartialLedgerConfig | |
Fields | |
Instances
| Generic ByronPartialLedgerConfig Source # | |
Defined in Ouroboros.Consensus.Cardano.CanHardFork Associated Types type Rep ByronPartialLedgerConfig :: Type -> Type # Methods from :: ByronPartialLedgerConfig -> Rep ByronPartialLedgerConfig x # to :: Rep ByronPartialLedgerConfig x -> ByronPartialLedgerConfig # | |
| NoThunks ByronPartialLedgerConfig Source # | |
Defined in Ouroboros.Consensus.Cardano.CanHardFork | |
| type Rep ByronPartialLedgerConfig Source # | |
Defined in Ouroboros.Consensus.Cardano.CanHardFork type Rep ByronPartialLedgerConfig = D1 ('MetaData "ByronPartialLedgerConfig" "Ouroboros.Consensus.Cardano.CanHardFork" "ouroboros-consensus-cardano-0.1.0.0-7Nmjb1YtTWmH6zdQxPRhTh" 'False) (C1 ('MetaCons "ByronPartialLedgerConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "byronLedgerConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LedgerConfig ByronBlock)) :*: S1 ('MetaSel ('Just "byronTriggerHardFork") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TriggerHardFork))) | |
data ShelleyPartialLedgerConfig era Source #
Constructors
| ShelleyPartialLedgerConfig | |
Fields
| |
Instances
type CardanoHardForkConstraints c = (PraosCrypto c, ShelleyBasedEra (ShelleyEra c), ShelleyBasedEra (AllegraEra c), ShelleyBasedEra (MaryEra c), HASH c ~ Blake2b_256, ADDRHASH c ~ Blake2b_224, DSIGN c ~ Ed25519DSIGN) Source #