Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.Protocol.PBFT

13 types
1 class
10 values

Packageouroboros-consensus-4.2.1.0
Exports29
LicenceApache-2.0

valueforgePBftFields

:: (PBftCrypto c, Signable (PBftDSIGN c) toSign)
=> VerKeyDSIGN (PBftDSIGN c) -> ContextDSIGN (PBftDSIGN c)
-> IsLeader (PBft c)
-> toSign
-> PBftFields c toSign

valuemkPBftTiebreakerView :: GetHeader blk => Header blk -> PBftTiebreakerView

valuepbftCheckCanForge

valuepbftValidateBoundary :: hdr -> PBftValidateView c

valuepbftValidateRegular

:: (SignedHeader hdr, Signable (PBftDSIGN c) (Signed hdr))
=> ContextDSIGN (PBftDSIGN c)
-> hdr -> PBftFields c (Signed hdr)
-> hdr
-> PBftValidateView c

valuepbftWindowExceedsThreshold

:: PBftCrypto c
=> PBftWindowParams
-> PBftState c
-> PBftVerKeyHash c
-> Either Word64 ()

valuepbftWindowSize :: SecurityParam -> WindowSize

data familydata family ConsensusConfig p

Instances16Generic, NoThunks, Rep, ConsensusConfig, …

Generic (ConsensusConfig (HardForkProtocol xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
Generic (ConsensusConfig (Bft c))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.BFT
Generic (ConsensusConfig (ModChainSel p t))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.ModChainSel
Generic (ConsensusConfig (PBft c))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
NoThunks (ConsensusConfig (PBft c))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
CanHardFork xs => NoThunks (ConsensusConfig (HardForkProtocol xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
ConsensusProtocol p => NoThunks (ConsensusConfig (ModChainSel p t))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.ModChainSel
BftCrypto c => NoThunks (ConsensusConfig (Bft c))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.BFT
type Rep (ConsensusConfig (HardForkProtocol xs)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.HardFork.Combinator.Basics" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "HardForkConsensusConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "hardForkConsensusConfigK") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 SecurityParam) :*: (S1 ('MetaSel ('Just "hardForkConsensusConfigShape") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Shape xs)) :*: S1 ('MetaSel ('Just "hardForkConsensusConfigPerEra") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PerEraConsensusConfig xs)))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
type Rep (ConsensusConfig (Bft c)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.BFT" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "BftConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "bftParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 BftParams) :*: (S1 ('MetaSel ('Just "bftSignKey") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignKeyDSIGN (BftDSIGN c))) :*: S1 ('MetaSel ('Just "bftVerKeys") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map NodeId (VerKeyDSIGN (BftDSIGN c)))))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.BFT
type Rep (ConsensusConfig (ModChainSel p t)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.ModChainSel" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'True) (C1 ('MetaCons "McsConsensusConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "mcsConfigP") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ConsensusConfig p))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.ModChainSel
type Rep (ConsensusConfig (PBft c)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.PBFT" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'True) (C1 ('MetaCons "PBftConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "pbftParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PBftParams)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
data ConsensusConfig (HardForkProtocol xs)
- HardForkConsensusConfighardForkConsensusConfigK :: !SecurityParamhardForkConsensusConfigShape :: !Shape xshardForkConsensusConfigPerEra :: !PerEraConsensusConfig xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
data ConsensusConfig (Bft c)
- BftConfigbftParams :: !BftParamsbftSignKey :: !SignKeyDSIGN (BftDSIGN c)bftVerKeys :: !Map NodeId (VerKeyDSIGN (BftDSIGN c))
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.BFT
data ConsensusConfig (ModChainSel p t)
- McsConsensusConfigmcsConfigP :: ConsensusConfig p
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.ModChainSel
data ConsensusConfig (PBft c)
- PBftConfigpbftParams :: PBftParams
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT

constructorPBftConfig

Fields

pbftParams :: PBftParams

valuepbftParams :: ConsensusConfig (PBft c) -> PBftParams

datadata PBft c

Instances12Generic, NoThunks, ConsensusProtocol, Rep, CanBeLeader, IsLeader, …

Generic (ConsensusConfig (PBft c))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
NoThunks (ConsensusConfig (PBft c))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
PBftCrypto c => ConsensusProtocol (PBft c)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
type Rep (ConsensusConfig (PBft c)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.PBFT" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'True) (C1 ('MetaCons "PBftConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "pbftParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PBftParams)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
type CanBeLeader (PBft c) = PBftCanBeLeader cDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
type IsLeader (PBft c) = PBftIsLeader cDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
type ChainDepState (PBft c) = PBftState cDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
type TiebreakerView (PBft c) = PBftTiebreakerViewDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
type ValidateView (PBft c) = PBftValidateView cDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
data ConsensusConfig (PBft c)
- PBftConfigpbftParams :: PBftParams
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
type LedgerView (PBft c) = PBftLedgerView cDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
type ValidationErr (PBft c) = PBftValidationErr cDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT

datadata PBftCanBeLeader c

Constructors

PBftCanBeLeader
- pbftCanBeLeaderCoreNodeId :: !CoreNodeId
- pbftCanBeLeaderSignKey :: !SignKeyDSIGN (PBftDSIGN c)
- pbftCanBeLeaderDlgCert :: !PBftDelegationCert c

Instances3Generic, NoThunks, Rep

Generic (PBftCanBeLeader c)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
PBftCrypto c => NoThunks (PBftCanBeLeader c)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
type Rep (PBftCanBeLeader c) = D1 ('MetaData "PBftCanBeLeader" "Ouroboros.Consensus.Protocol.PBFT" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "PBftCanBeLeader" 'PrefixI 'True) (S1 ('MetaSel ('Just "pbftCanBeLeaderCoreNodeId") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 CoreNodeId) :*: (S1 ('MetaSel ('Just "pbftCanBeLeaderSignKey") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignKeyDSIGN (PBftDSIGN c))) :*: S1 ('MetaSel ('Just "pbftCanBeLeaderDlgCert") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PBftDelegationCert c)))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT

datadata PBftCannotForge c

Constructors

PBftCannotForgeInvalidDelegation !(PBftVerKeyHash c)
PBftCannotForgeThresholdExceeded !Word64

Instances4Show, Generic, NoThunks, Rep

PBftCrypto c => Show (PBftCannotForge c)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
Generic (PBftCannotForge c)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
PBftCrypto c => NoThunks (PBftCannotForge c)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
type Rep (PBftCannotForge c) = D1 ('MetaData "PBftCannotForge" "Ouroboros.Consensus.Protocol.PBFT" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "PBftCannotForgeInvalidDelegation" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PBftVerKeyHash c))) :+: C1 ('MetaCons "PBftCannotForgeThresholdExceeded" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT

datadata PBftFields c toSign

Constructors

PBftFields
- pbftIssuer :: VerKeyDSIGN (PBftDSIGN c)
- pbftGenKey :: VerKeyDSIGN (PBftDSIGN c)
- pbftSignature :: SignedDSIGN (PBftDSIGN c) toSign

Instances6Eq, Show, Generic, NoThunks, Condense, Rep

PBftCrypto c => Eq (PBftFields c toSign)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
PBftCrypto c => Show (PBftFields c toSign)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
Generic (PBftFields c toSign)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
(PBftCrypto c, Typeable toSign) => NoThunks (PBftFields c toSign)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
PBftCrypto c => Condense (PBftFields c toSign)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
type Rep (PBftFields c toSign) = D1 ('MetaData "PBftFields" "Ouroboros.Consensus.Protocol.PBFT" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "PBftFields" 'PrefixI 'True) (S1 ('MetaSel ('Just "pbftIssuer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VerKeyDSIGN (PBftDSIGN c))) :*: (S1 ('MetaSel ('Just "pbftGenKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VerKeyDSIGN (PBftDSIGN c))) :*: S1 ('MetaSel ('Just "pbftSignature") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SignedDSIGN (PBftDSIGN c) toSign)))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT

datadata PBftIsLeader c

Constructors

PBftIsLeader
- pbftIsLeaderSignKey :: !SignKeyDSIGN (PBftDSIGN c)
- pbftIsLeaderDlgCert :: !PBftDelegationCert c

Instances3Generic, NoThunks, Rep

Generic (PBftIsLeader c)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
PBftCrypto c => NoThunks (PBftIsLeader c)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
type Rep (PBftIsLeader c) = D1 ('MetaData "PBftIsLeader" "Ouroboros.Consensus.Protocol.PBFT" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "PBftIsLeader" 'PrefixI 'True) (S1 ('MetaSel ('Just "pbftIsLeaderSignKey") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignKeyDSIGN (PBftDSIGN c))) :*: S1 ('MetaSel ('Just "pbftIsLeaderDlgCert") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PBftDelegationCert c))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT

newtypenewtype PBftLedgerView c

Constructors

PBftLedgerView
- pbftDelegates :: Bimap (PBftVerKeyHash c) (PBftVerKeyHash c)

Instances6Eq, Show, Generic, Serialise, NoThunks, Rep

Eq (PBftVerKeyHash c) => Eq (PBftLedgerView c)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
Show (PBftVerKeyHash c) => Show (PBftLedgerView c)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
Generic (PBftLedgerView c)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
(Serialise (PBftVerKeyHash c), Ord (PBftVerKeyHash c)) => Serialise (PBftLedgerView c)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
PBftCrypto c => NoThunks (PBftLedgerView c)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
type Rep (PBftLedgerView c) = D1 ('MetaData "PBftLedgerView" "Ouroboros.Consensus.Protocol.PBFT" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'True) (C1 ('MetaCons "PBftLedgerView" 'PrefixI 'True) (S1 ('MetaSel ('Just "pbftDelegates") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Bimap (PBftVerKeyHash c) (PBftVerKeyHash c)))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT

datadata PBftParams

Constructors

PBftParams
- pbftSecurityParam :: !SecurityParam
- pbftNumNodes :: !NumCoreNodes
- pbftSignatureThreshold :: !PBftSignatureThreshold

Instances4Show, Generic, NoThunks, Rep

Show PBftParamsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
Generic PBftParamsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
NoThunks PBftParamsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
type Rep PBftParams = D1 ('MetaData "PBftParams" "Ouroboros.Consensus.Protocol.PBFT" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "PBftParams" 'PrefixI 'True) (S1 ('MetaSel ('Just "pbftSecurityParam") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 SecurityParam) :*: (S1 ('MetaSel ('Just "pbftNumNodes") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 NumCoreNodes) :*: S1 ('MetaSel ('Just "pbftSignatureThreshold") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 PBftSignatureThreshold))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT

newtypenewtype PBftSignatureThreshold

Constructors

PBftSignatureThreshold
- getPBftSignatureThreshold :: Double

Instances5Eq, Show, Generic, NoThunks, Rep

Eq PBftSignatureThresholdDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
Show PBftSignatureThresholdDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
Generic PBftSignatureThresholdDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
NoThunks PBftSignatureThresholdDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
type Rep PBftSignatureThreshold = D1 ('MetaData "PBftSignatureThreshold" "Ouroboros.Consensus.Protocol.PBFT" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'True) (C1 ('MetaCons "PBftSignatureThreshold" 'PrefixI 'True) (S1 ('MetaSel ('Just "getPBftSignatureThreshold") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT

newtypenewtype PBftTiebreakerView

Constructors

PBftTiebreakerView
- pbftTiebreakerViewIsEBB :: IsEBB

Instances9Eq, Ord, Show, Generic, NoThunks, ChainOrder, …

Eq PBftTiebreakerViewDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
Ord PBftTiebreakerViewDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
Show PBftTiebreakerViewDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
Generic PBftTiebreakerViewDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
NoThunks PBftTiebreakerViewDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
ChainOrder PBftTiebreakerViewDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
type Rep PBftTiebreakerView = D1 ('MetaData "PBftTiebreakerView" "Ouroboros.Consensus.Protocol.PBFT" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'True) (C1 ('MetaCons "PBftTiebreakerView" 'PrefixI 'True) (S1 ('MetaSel ('Just "pbftTiebreakerViewIsEBB") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IsEBB)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
type ChainOrderConfig PBftTiebreakerView = ChainOrderConfig (SimpleChainOrder PBftTiebreakerView)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
type ReasonForSwitch PBftTiebreakerView = ReasonForSwitch (SimpleChainOrder PBftTiebreakerView)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT

datadata PBftValidateView c

Constructors

forall signed. Signable (PBftDSIGN c) signed => PBftValidateRegular (PBftFields c signed) signed (ContextDSIGN (PBftDSIGN c))
PBftValidateBoundary

datadata PBftValidationErr c

Constructors

PBftInvalidSignature !Text
PBftNotGenesisDelegate !(PBftVerKeyHash c) !(PBftLedgerView c)
PBftExceededSignThreshold !(PBftVerKeyHash c) !Word64
PBftInvalidSlot

Instances5Eq, Show, Generic, NoThunks, Rep

PBftCrypto c => Eq (PBftValidationErr c)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
PBftCrypto c => Show (PBftValidationErr c)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
Generic (PBftValidationErr c)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
PBftCrypto c => NoThunks (PBftValidationErr c)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
type Rep (PBftValidationErr c) = D1 ('MetaData "PBftValidationErr" "Ouroboros.Consensus.Protocol.PBFT" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) ((C1 ('MetaCons "PBftInvalidSignature" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)) :+: C1 ('MetaCons "PBftNotGenesisDelegate" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PBftVerKeyHash c)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PBftLedgerView c)))) :+: (C1 ('MetaCons "PBftExceededSignThreshold" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PBftVerKeyHash c)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64)) :+: C1 ('MetaCons "PBftInvalidSlot" 'PrefixI 'False) U1))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT

class

class (Typeable c, DSIGNAlgorithm (PBftDSIGN c), Condense (SigDSIGN (PBftDSIGN c)), Show (PBftVerKeyHash c), Ord (PBftVerKeyHash c), Eq (PBftVerKeyHash c), Show (PBftVerKeyHash c), NoThunks (PBftVerKeyHash c), NoThunks (PBftDelegationCert c), Serialise (PBftVerKeyHash c)) => PBftCrypto c where

Associated types

type family PBftDSIGN c
type family PBftDelegationCert c
type family PBftVerKeyHash c

Methods

dlgCertGenVerKey :: PBftDelegationCert c -> VerKeyDSIGN (PBftDSIGN c)
dlgCertDlgVerKey :: PBftDelegationCert c -> VerKeyDSIGN (PBftDSIGN c)
hashVerKey :: VerKeyDSIGN (PBftDSIGN c) -> PBftVerKeyHash c

Instances1PBftCrypto

PBftCrypto PBftMockCryptoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT.Crypto

datadata PBftMockCrypto

Instances4PBftCrypto, PBftDSIGN, PBftDelegationCert, PBftVerKeyHash

PBftCrypto PBftMockCryptoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT.Crypto
type PBftDSIGN PBftMockCrypto = MockDSIGNDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT.Crypto
type PBftDelegationCert PBftMockCrypto = (VerKeyDSIGN MockDSIGN, VerKeyDSIGN MockDSIGN)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT.Crypto
type PBftVerKeyHash PBftMockCrypto = PBftMockVerKeyHashDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT.Crypto

newtypenewtype PBftMockVerKeyHash

Constructors

PBftMockVerKeyHash
- getPBftMockVerKeyHash :: VerKeyDSIGN MockDSIGN

Instances7Eq, Ord, Show, Generic, Serialise, NoThunks, …

Eq PBftMockVerKeyHashDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT.Crypto
Ord PBftMockVerKeyHashDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT.Crypto
Show PBftMockVerKeyHashDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT.Crypto
Generic PBftMockVerKeyHashDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT.Crypto
Serialise PBftMockVerKeyHashDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT.Crypto
NoThunks PBftMockVerKeyHashDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT.Crypto
type Rep PBftMockVerKeyHash = D1 ('MetaData "PBftMockVerKeyHash" "Ouroboros.Consensus.Protocol.PBFT.Crypto" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'True) (C1 ('MetaCons "PBftMockVerKeyHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "getPBftMockVerKeyHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VerKeyDSIGN MockDSIGN))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT.Crypto

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

constructorTickedPBftState

Fields

getPBftLedgerView :: LedgerView (PBft c)
getTickedPBftState :: PBftState c

valuegetPBftLedgerView :: Ticked (PBftState c) -> LedgerView (PBft c)

valuegetTickedPBftState :: Ticked (PBftState c) -> PBftState c

constructorTickedTrivial