Safe Haskell | None |
---|---|
Language | Haskell2010 |
Ouroboros.Consensus.Mock.Ledger.Block.BFT
Synopsis
- data SignedSimpleBft c c' = SignedSimpleBft {
- signedSimpleBft ∷ SimpleStdHeader c (SimpleBftExt c c')
- type SimpleBftBlock c c' = SimpleBlock c (SimpleBftExt c c')
- newtype SimpleBftExt c c' = SimpleBftExt {
- simpleBftExt ∷ BftFields c' (SignedSimpleBft c c')
- type SimpleBftHeader c c' = SimpleHeader c (SimpleBftExt c c')
- forgeBftExt ∷ (SimpleCrypto c, BftCrypto c', Signable (BftDSIGN c') (SignedSimpleBft c c')) ⇒ ForgeExt c (SimpleBftExt c c')
Documentation
data SignedSimpleBft c c' Source #
Part of the block that gets signed
Constructors
SignedSimpleBft | |
Fields
|
Instances
type SimpleBftBlock c c' = SimpleBlock c (SimpleBftExt c c') Source #
Simple block extended with the fields required for BFT
c
is crypto used for the block itself
c'
is crypto used for the consensus protocol
newtype SimpleBftExt c c' Source #
Block extension required for BFT
Constructors
SimpleBftExt | |
Fields
|
Instances
(SimpleCrypto c, Typeable c') ⇒ MockProtocolSpecific c (SimpleBftExt c c') Source # | |||||
Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT Associated Types
| |||||
(SimpleCrypto c, BftCrypto c') ⇒ RunMockBlock c (SimpleBftExt c c') Source # | |||||
Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT Methods mockNetworkMagic ∷ BlockConfig (SimpleBlock c (SimpleBftExt c c')) → NetworkMagic Source # | |||||
BftCrypto c' ⇒ Show (SimpleBftExt c c') Source # | |||||
Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT Methods showsPrec ∷ Int → SimpleBftExt c c' → ShowS # show ∷ SimpleBftExt c c' → String # showList ∷ [SimpleBftExt c c'] → ShowS # | |||||
BftCrypto c' ⇒ Eq (SimpleBftExt c c') Source # | |||||
Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT Methods (==) ∷ SimpleBftExt c c' → SimpleBftExt c c' → Bool # (/=) ∷ SimpleBftExt c c' → SimpleBftExt c c' → Bool # | |||||
(BftCrypto c', Typeable c) ⇒ NoThunks (SimpleBftExt c c') Source # | |||||
Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT | |||||
(SimpleCrypto c, BftCrypto c', Signable (BftDSIGN c') (SignedSimpleBft c c')) ⇒ BlockSupportsProtocol (SimpleBftBlock c c') Source # | |||||
Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT Methods validateView ∷ BlockConfig (SimpleBftBlock c c') → Header (SimpleBftBlock c c') → ValidateView (BlockProtocol (SimpleBftBlock c c')) Source # selectView ∷ BlockConfig (SimpleBftBlock c c') → Header (SimpleBftBlock c c') → SelectView (BlockProtocol (SimpleBftBlock c c')) Source # projectChainOrderConfig ∷ BlockConfig (SimpleBftBlock c c') → ChainOrderConfig (SelectView (BlockProtocol (SimpleBftBlock c c'))) Source # | |||||
(SimpleCrypto c, BftCrypto c', Signable (BftDSIGN c') (SignedSimpleBft c c')) ⇒ LedgerSupportsProtocol (SimpleBftBlock c c') Source # | |||||
Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT Methods protocolLedgerView ∷ ∀ (mk ∷ MapKind). LedgerConfig (SimpleBftBlock c c') → Ticked (LedgerState (SimpleBftBlock c c')) mk → LedgerView (BlockProtocol (SimpleBftBlock c c')) Source # ledgerViewForecastAt ∷ ∀ (mk ∷ MapKind). HasCallStack ⇒ LedgerConfig (SimpleBftBlock c c') → LedgerState (SimpleBftBlock c c') mk → Forecast (LedgerView (BlockProtocol (SimpleBftBlock c c'))) Source # | |||||
SignedHeader (SimpleBftHeader c c') Source # | |||||
Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT Methods headerSigned ∷ SimpleBftHeader c c' → Signed (SimpleBftHeader c c') Source # | |||||
BftCrypto c' ⇒ Condense (SimpleBftExt c c') Source # | |||||
Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT Methods condense ∷ SimpleBftExt c c' → String Source # | |||||
BftCrypto c' ⇒ Serialise (SimpleBftExt c c') Source # | |||||
Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT Methods encode ∷ SimpleBftExt c c' → Encoding Source # decode ∷ Decoder s (SimpleBftExt c c') Source # encodeList ∷ [SimpleBftExt c c'] → Encoding Source # decodeList ∷ Decoder s [SimpleBftExt c c'] Source # | |||||
DecodeDisk (SimpleBftBlock c c') () Source # | |||||
Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT Methods decodeDisk ∷ CodecConfig (SimpleBftBlock c c') → ∀ s. Decoder s () Source # | |||||
EncodeDisk (SimpleBftBlock c c') () Source # | |||||
Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT Methods encodeDisk ∷ CodecConfig (SimpleBftBlock c c') → () → Encoding Source # | |||||
type MockLedgerConfig c (SimpleBftExt c c') Source # | |||||
Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT | |||||
type BlockProtocol (SimpleBftBlock c c') Source # | |||||
Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT | |||||
type CannotForge (SimpleBftBlock c c') Source # | |||||
Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT | |||||
type ForgeStateInfo (SimpleBftBlock c c') Source # | |||||
Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT | |||||
type ForgeStateUpdateError (SimpleBftBlock c c') Source # | |||||
Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT | |||||
type Signed (SimpleBftHeader c c') Source # | |||||
Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT |
type SimpleBftHeader c c' = SimpleHeader c (SimpleBftExt c c') Source #
Header for BFT
forgeBftExt ∷ (SimpleCrypto c, BftCrypto c', Signable (BftDSIGN c') (SignedSimpleBft c c')) ⇒ ForgeExt c (SimpleBftExt c c') Source #