Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.Protocol.PBFT.State

3 types
9 values

Packageouroboros-consensus-4.2.1.0
Exports14
LicenceApache-2.0

valueappend

:: PBftCrypto c
=> WindowSize
-> PBftSigner c
-> PBftState c
-> PBftState c

valuecountSignatures :: PBftState c -> Word64

valuecountSignedBy :: PBftCrypto c => PBftState c -> PBftVerKeyHash c -> Word64

valuedecodePBftState :: PBftCrypto c => forall s. Decoder s (PBftState c)

valueempty :: PBftState c

valueencodePBftState :: PBftCrypto c => PBftState c -> Encoding

valuefromList :: PBftCrypto c => [PBftSigner c] -> PBftState c

valuelastSignedSlot :: PBftState c -> WithOrigin SlotNo

valuetoList :: PBftState c -> [PBftSigner c]

datadata PBftSigner c

Constructors

PBftSigner
- pbftSignerSlotNo :: !SlotNo
- pbftSignerGenesisKey :: !PBftVerKeyHash c

Instances6Eq, Show, Generic, Serialise, NoThunks, Rep

PBftCrypto c => Eq (PBftSigner c)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT.State
PBftCrypto c => Show (PBftSigner c)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT.State
Generic (PBftSigner c)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT.State
Serialise (PBftVerKeyHash c) => Serialise (PBftSigner c)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT.State
PBftCrypto c => NoThunks (PBftSigner c)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT.State
type Rep (PBftSigner c) = D1 ('MetaData "PBftSigner" "Ouroboros.Consensus.Protocol.PBFT.State" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "PBftSigner" 'PrefixI 'True) (S1 ('MetaSel ('Just "pbftSignerSlotNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 SlotNo) :*: S1 ('MetaSel ('Just "pbftSignerGenesisKey") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PBftVerKeyHash c))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT.State

datadata PBftState c

Constructors

PBftState
- inWindow :: !StrictSeq (PBftSigner c)
- counts :: !Map (PBftVerKeyHash c) Word64

Instances6Eq, Show, Generic, NoThunks, Rep, Ticked

PBftCrypto c => Eq (PBftState c)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT.State
PBftCrypto c => Show (PBftState c)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT.State
Generic (PBftState c)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT.State
PBftCrypto c => NoThunks (PBftState c)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT.State
type Rep (PBftState c) = D1 ('MetaData "PBftState" "Ouroboros.Consensus.Protocol.PBFT.State" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "PBftState" 'PrefixI 'True) (S1 ('MetaSel ('Just "inWindow") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (PBftSigner c))) :*: S1 ('MetaSel ('Just "counts") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (PBftVerKeyHash c) Word64))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT.State
data Ticked (PBftState c)
- TickedPBftStategetPBftLedgerView :: LedgerView (PBft c)getTickedPBftState :: PBftState c
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT · orphan

newtypenewtype WindowSize

Constructors

WindowSize
- getWindowSize :: Word64

Instances7Enum, Eq, Integral, Num, Ord, Real, …

Enum WindowSizeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT.State
Eq WindowSizeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT.State
Integral WindowSizeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT.State
Num WindowSizeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT.State
Ord WindowSizeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT.State
Real WindowSizeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT.State
Show WindowSizeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT.State

data familydata family Ticked (st :: k) :: k

Instances19HasLedgerTables, GetTip, Show, NoThunks, HeaderHash, Ticked, …

Show (Ticked ())Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ticked
(NoThunks (TxIn blk), NoThunks (TxOut blk), HasLedgerTables (Ticked LedgerState) blk) => HasLedgerTables (Ticked ExtLedgerState) blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Extended
(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) => HasLedgerTables (Ticked LedgerState) (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
(Bridge m a, HasLedgerTables (Ticked LedgerState) m) => HasLedgerTables (Ticked LedgerState) (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => GetTip (Ticked LedgerState (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
IsLedger LedgerState blk => GetTip (Ticked ExtLedgerState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Extended
Bridge m a => GetTip (Ticked LedgerState (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
NoThunks (Ticked LedgerState (DualBlock m a) mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Show (Ticked (f a)) => Show ((:.:) Ticked f a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ticked
NoThunks (Ticked (f a)) => NoThunks ((:.:) Ticked f a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ticked
type HeaderHash (Ticked l blk) = HeaderHash (l blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ticked
data Ticked LedgerState (HardForkBlock xs)
- TickedHardForkLedgerStatetickedHardForkLedgerStateTransition :: !TransitionInfotickedHardForkLedgerStatePerEra :: !HardForkState (FlipTickedLedgerState mk) xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
data Ticked LedgerState (DualBlock m a)
- TickedDualLedgerStatetickedDualLedgerStateMain :: Ticked LedgerState m mktickedDualLedgerStateAux :: Ticked LedgerState a ValuesMKtickedDualLedgerStateBridge :: BridgeLedger m atickedDualLedgerStateAuxOrig :: LedgerState a ValuesMK
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
data Ticked ExtLedgerState
- TickedExtLedgerStatetickedLedgerState :: Ticked LedgerState blk mkledgerView :: LedgerView (BlockProtocol blk)tickedHeaderState :: Ticked (HeaderState blk)
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Extended
data Ticked (HardForkChainDepState xs)
- TickedHardForkChainDepStatetickedHardForkChainDepStatePerEra :: HardForkState (Ticked :.: WrapChainDepState) xstickedHardForkChainDepStateEpochInfo :: EpochInfo (Except PastHorizonException)
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Protocol · orphan
data Ticked (HeaderState blk)
- TickedHeaderStateuntickedHeaderStateTip :: WithOrigin (AnnTip blk)tickedHeaderStateChainDep :: Ticked (ChainDepState (BlockProtocol blk))
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation
data Ticked (PBftState c)
- TickedPBftStategetPBftLedgerView :: LedgerView (PBft c)getTickedPBftState :: PBftState c
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT · orphan
data Ticked (WrapChainDepState blk)
- WrapTickedChainDepStateunwrapTickedChainDepState :: Ticked (ChainDepState (BlockProtocol blk))
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
data Ticked ()
- TickedTrivial
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ticked

constructorTickedTrivial