ouroboros-consensus-0.21.0.0: Consensus layer for the Ouroboros blockchain protocol
Safe HaskellSafe-Inferred
LanguageHaskell2010

Ouroboros.Consensus.Node.GsmState

Description

This module contains the definition of a state in the Genesis State Machine (GSM). The GSM itself is defined in 'ouroboros-consensus-diffusion', but the ChainSync client relies on its state.

Synopsis

Documentation

data GsmState Source #

Current state of the Genesis State Machine

Constructors

PreSyncing

We are syncing, and the Honest Availability Assumption is not satisfied.

Syncing

We are syncing, and the Honest Availability Assumption is satisfied.

CaughtUp

We are caught-up.

Instances

Instances details
Generic GsmState Source # 
Instance details

Defined in Ouroboros.Consensus.Node.GsmState

Associated Types

type Rep GsmState ∷ Type → Type #

Methods

from ∷ GsmState → Rep GsmState x #

to ∷ Rep GsmState x → GsmState #

Read GsmState Source # 
Instance details

Defined in Ouroboros.Consensus.Node.GsmState

Methods

readsPrec ∷ Int → ReadS GsmState #

readList ∷ ReadS [GsmState] #

readPrec ∷ ReadPrec GsmState #

readListPrec ∷ ReadPrec [GsmState] #

Show GsmState Source # 
Instance details

Defined in Ouroboros.Consensus.Node.GsmState

Methods

showsPrec ∷ Int → GsmState → ShowS #

show ∷ GsmState → String #

showList ∷ [GsmState] → ShowS #

Eq GsmState Source # 
Instance details

Defined in Ouroboros.Consensus.Node.GsmState

Methods

(==) ∷ GsmState → GsmState → Bool #

(/=) ∷ GsmState → GsmState → Bool #

NoThunks GsmState Source # 
Instance details

Defined in Ouroboros.Consensus.Node.GsmState

Methods

noThunks ∷ Context → GsmState → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → GsmState → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy GsmState → String Source #

type Rep GsmState Source # 
Instance details

Defined in Ouroboros.Consensus.Node.GsmState

type Rep GsmState = D1 ('MetaData "GsmState" "Ouroboros.Consensus.Node.GsmState" "ouroboros-consensus-0.21.0.0-inplace" 'False) (C1 ('MetaCons "PreSyncing" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "Syncing" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "CaughtUp" 'PrefixI 'False) (U1 ∷ Type → Type)))