Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.HardFork.Simple

Synopsis

Documentation

The trigger condition that will cause the hard fork transition.

Constructors

Trigger the transition when the on-chain protocol major version (from the ledger state) reaches this number.

Note: The HFC logic does not require the trigger version for one era to be the successor of the trigger version for the previous era.

For testing only, trigger the transition at a specific hard-coded epoch, irrespective of the ledger state.

Never trigger a hard fork

Instances details

Show TriggerHardFork Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Simple Methods showsPrec ∷ Int → TriggerHardFork → ShowS Source # show ∷ TriggerHardFork → String Source # showList ∷ [TriggerHardFork] → ShowS Source #
Generic TriggerHardFork Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Simple Associated Types type Rep TriggerHardFork ∷ Type → Type Source # Methods from ∷ TriggerHardFork → Rep TriggerHardFork x Source # to ∷ Rep TriggerHardFork x → TriggerHardFork Source #
NoThunks TriggerHardFork Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Simple Methods noThunks ∷ Context → TriggerHardFork → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → TriggerHardFork → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy TriggerHardFork → String #
type Rep TriggerHardFork Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Simple type Rep TriggerHardFork = D1 ('MetaData "TriggerHardFork" "Ouroboros.Consensus.HardFork.Simple" "ouroboros-consensus-0.3.1.0-inplace" 'False) (C1 ('MetaCons "TriggerHardForkAtVersion" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word16)) :+: (C1 ('MetaCons "TriggerHardForkAtEpoch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo)) :+: C1 ('MetaCons "TriggerHardForkNever" 'PrefixI 'False) (U1 ∷ Type → Type)))