ouroboros-consensus
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.Peras.Protocol

Synopsis

Documentation

data PerasLedgerView Source #

The Peras parameters a ledger view carries.

Constructors

MkPerasLedgerView 

Fields

Instances

Instances details
Eq PerasLedgerView Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Protocol

Methods

(==) ∷ PerasLedgerView → PerasLedgerView → Bool #

(/=) ∷ PerasLedgerView → PerasLedgerView → Bool #

Generic PerasLedgerView Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Protocol

Associated Types

type Rep PerasLedgerView 
Instance details

Defined in Ouroboros.Consensus.Peras.Protocol

type Rep PerasLedgerView = D1 ('MetaData "PerasLedgerView" "Ouroboros.Consensus.Peras.Protocol" "ouroboros-consensus-5.0.0.0-inplace" 'False) (C1 ('MetaCons "MkPerasLedgerView" 'PrefixI 'True) ((S1 ('MetaSel ('Just "plvMinCandidateBlockAge") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotInterval) :*: (S1 ('MetaSel ('Just "plvHealingFactor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PositiveInterval) :*: S1 ('MetaSel ('Just "plvCertBoost") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word16))) :*: (S1 ('MetaSel ('Just "plvTargetCommitteeSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word16) :*: (S1 ('MetaSel ('Just "plvBootstrapRound") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Word32)) :*: S1 ('MetaSel ('Just "plvQuorumThresholdSafetyMargin") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval)))))

Methods

from ∷ PerasLedgerView → Rep PerasLedgerView x #

to ∷ Rep PerasLedgerView x → PerasLedgerView #

Show PerasLedgerView Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Protocol

Methods

showsPrec ∷ Int → PerasLedgerView → ShowS #

show ∷ PerasLedgerView → String #

showList ∷ [PerasLedgerView] → ShowS #

NoThunks PerasLedgerView Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Protocol

Methods

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

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

showTypeOf ∷ Proxy PerasLedgerView → String Source #

type Rep PerasLedgerView Source # 
Instance details

Defined in Ouroboros.Consensus.Peras.Protocol

type Rep PerasLedgerView = D1 ('MetaData "PerasLedgerView" "Ouroboros.Consensus.Peras.Protocol" "ouroboros-consensus-5.0.0.0-inplace" 'False) (C1 ('MetaCons "MkPerasLedgerView" 'PrefixI 'True) ((S1 ('MetaSel ('Just "plvMinCandidateBlockAge") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotInterval) :*: (S1 ('MetaSel ('Just "plvHealingFactor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PositiveInterval) :*: S1 ('MetaSel ('Just "plvCertBoost") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word16))) :*: (S1 ('MetaSel ('Just "plvTargetCommitteeSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word16) :*: (S1 ('MetaSel ('Just "plvBootstrapRound") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Word32)) :*: S1 ('MetaSel ('Just "plvQuorumThresholdSafetyMargin") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval)))))

class ConsensusProtocol p ⇒ PerasProtocol p where Source #

Methods

getPerasLedgerView ∷ proxy p → LedgerView p → Maybe PerasLedgerView Source #

The Peras parameters this ledger view carries, or Nothing if the protocol has no Peras.

Instances

Instances details
(CanHardFork xs, All SingleEraBlockAndPerasProtocol xs) ⇒ PerasProtocol (HardForkProtocol xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol

Methods

getPerasLedgerView ∷ proxy (HardForkProtocol xs) → LedgerView (HardForkProtocol xs) → Maybe PerasLedgerView Source #

BftCrypto c ⇒ PerasProtocol (Bft c) Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

Methods

getPerasLedgerView ∷ proxy (Bft c) → LedgerView (Bft c) → Maybe PerasLedgerView Source #

PBftCrypto c ⇒ PerasProtocol (PBft c) Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.PBFT

Methods

getPerasLedgerView ∷ proxy (PBft c) → LedgerView (PBft c) → Maybe PerasLedgerView Source #

defaultGetPerasLedgerView ∷ proxy p → LedgerView p → Maybe PerasLedgerView Source #

getPerasLedgerView for a protocol that has no Peras.