Moduleouroboros-consensus-4.2.1.0
Ouroboros.Consensus.Protocol.BFT
- 7 types
- 1 class
- 5 values
- Packageouroboros-consensus-4.2.1.0
- Exports15
- LicenceApache-2.0
Instances16Generic, NoThunks, Rep, ConsensusConfig, …
Generic (ConsensusConfig (HardForkProtocol xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.BasicsGeneric (ConsensusConfig (Bft c))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.BFTGeneric (ConsensusConfig (ModChainSel p t))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.ModChainSelGeneric (ConsensusConfig (PBft c))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFTNoThunks (ConsensusConfig (PBft c))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFTCanHardFork xs => NoThunks (ConsensusConfig (HardForkProtocol xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.BasicsConsensusProtocol p => NoThunks (ConsensusConfig (ModChainSel p t))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.ModChainSelBftCrypto c => NoThunks (ConsensusConfig (Bft c))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.BFTtype Rep (ConsensusConfig (HardForkProtocol xs)) = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics"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)))))type Rep (ConsensusConfig (Bft c)) = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.BFT"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)))))))type Rep (ConsensusConfig (ModChainSel p t)) = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.ModChainSel"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))))type Rep (ConsensusConfig (PBft c)) = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT"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)))data ConsensusConfig (HardForkProtocol xs)HardForkConsensusConfighardForkConsensusConfigK :: !SecurityParamhardForkConsensusConfigShape :: !Shape xshardForkConsensusConfigPerEra :: !PerEraConsensusConfig xs
data ConsensusConfig (Bft c)BftConfigbftParams :: !BftParamsbftSignKey :: !SignKeyDSIGN (BftDSIGN c)bftVerKeys :: !Map NodeId (VerKeyDSIGN (BftDSIGN c))
data ConsensusConfig (ModChainSel p t)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.ModChainSeldata ConsensusConfig (PBft c)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
Fields
bftParams :: !BftParamsbftSignKey :: !SignKeyDSIGN (BftDSIGN c)bftVerKeys :: !Map NodeId (VerKeyDSIGN (BftDSIGN c))
Instances12Generic, NoThunks, ConsensusProtocol, Rep, CanBeLeader, IsLeader, …
Generic (ConsensusConfig (Bft c))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.BFTBftCrypto c => NoThunks (ConsensusConfig (Bft c))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.BFTBftCrypto c => ConsensusProtocol (Bft c)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.BFTtype Rep (ConsensusConfig (Bft c)) = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.BFT"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)))))))type CanBeLeader (Bft c) = CoreNodeIdDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.BFTtype IsLeader (Bft c) = ()Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.BFTtype ChainDepState (Bft c) = ()Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.BFTtype TiebreakerView (Bft c) = NoTiebreakerDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.BFTtype ValidateView (Bft c) = BftValidateView cDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.BFTdata ConsensusConfig (Bft c)BftConfigbftParams :: !BftParamsbftSignKey :: !SignKeyDSIGN (BftDSIGN c)bftVerKeys :: !Map NodeId (VerKeyDSIGN (BftDSIGN c))
type LedgerView (Bft c) = ()Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.BFTtype ValidationErr (Bft c) = BftValidationErrDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.BFT
class
class (Typeable c, DSIGNAlgorithm (BftDSIGN c), Condense (SigDSIGN (BftDSIGN c)), NoThunks (SigDSIGN (BftDSIGN c)), ContextDSIGN (BftDSIGN c) ~ ()) => BftCrypto c whereAssociated types
type family BftDSIGN c
Instances2BftCrypto
BftCrypto BftMockCryptoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.BFTBftCrypto BftStandardCryptoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.BFT
Constructors
BftFieldsbftSignature :: !SignedDSIGN (BftDSIGN c) toSign
Instances6Eq, Show, Generic, NoThunks, Condense, Rep
BftCrypto c => Eq (BftFields c toSign)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.BFTBftCrypto c => Show (BftFields c toSign)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.BFTGeneric (BftFields c toSign)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.BFT(BftCrypto c, Typeable toSign) => NoThunks (BftFields c toSign)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.BFTBftCrypto c => Condense (BftFields c toSign)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.BFTtype Rep (BftFields c toSign) = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.BFT"BftFields"
"Ouroboros.Consensus.Protocol.BFT"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'False) (C1 ('MetaCons"BftFields"
'PrefixI 'True) (S1 ('MetaSel ('Just"bftSignature"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignedDSIGN (BftDSIGN c) toSign))))
Instances2BftCrypto, BftDSIGN
BftCrypto BftMockCryptoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.BFTtype BftDSIGN BftMockCrypto = MockDSIGNDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.BFT
Constructors
Instances3Generic, NoThunks, Rep
Generic BftParamsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.BFTNoThunks BftParamsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.BFTtype Rep BftParams = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.BFT"BftParams"
"Ouroboros.Consensus.Protocol.BFT"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'False) (C1 ('MetaCons"BftParams"
'PrefixI 'True) (S1 ('MetaSel ('Just"bftSecurityParam"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 SecurityParam) :*: S1 ('MetaSel ('Just"bftNumNodes"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 NumCoreNodes)))
Instances2BftCrypto, BftDSIGN
BftCrypto BftStandardCryptoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.BFTtype BftDSIGN BftStandardCrypto = Ed448DSIGNDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.BFT
Constructors
forall signed. Signable (BftDSIGN c) signed => BftValidateView (BftFields c signed) signed
Constructors
Instances5Eq, Show, Generic, NoThunks, Rep
Eq BftValidationErrDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.BFTShow BftValidationErrDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.BFTGeneric BftValidationErrDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.BFTNoThunks BftValidationErrDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.BFTtype Rep BftValidationErr = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.BFT"BftValidationErr"
"Ouroboros.Consensus.Protocol.BFT"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'False) (C1 ('MetaCons"BftInvalidSignature"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))