ouroboros-consensus-0.1.0.1: Consensus layer for the Ouroboros blockchain protocol
Safe Haskell None
Language Haskell2010

Ouroboros.Consensus.HardFork.Simple

Synopsis

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

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 ) Source #

wNoThunks :: Context -> TriggerHardFork -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy TriggerHardFork -> String Source #

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.1.0.1-DT4Cvwf63DZKctsEvaJqCU" ' 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 )))