Safe Haskell	Safe-Inferred
Language	Haskell2010

Ouroboros.Consensus.Mock.Ledger.Block.PBFT

Synopsis

data SignedSimplePBft c c' = SignedSimplePBft {
- signedSimplePBft ∷ SimpleStdHeader c (SimplePBftExt c c')
}
type SimplePBftBlock c c' = SimpleBlock c (SimplePBftExt c c')
newtype SimplePBftExt c c' = SimplePBftExt {
- simplePBftExt ∷ PBftFields c' (SignedSimplePBft c c')
}
type SimplePBftHeader c c' = SimpleHeader c (SimplePBftExt c c')
forgePBftExt ∷ ∀ c c'. (SimpleCrypto c, PBftCrypto c', Signable (PBftDSIGN c') (SignedSimplePBft c c'), ContextDSIGN (PBftDSIGN c') ~ ()) ⇒ ForgeExt c (SimplePBftExt c c')

Documentation

data SignedSimplePBft c c' Source #

Part of the block that gets signed

We just sign the standard header, i.e., without the PBFT extensions. In particular, the signature does not cover the issuer.

The signature does not cover the body explicitly, but since the standard header includes a hash of the body, the signature covers the body implicitly.

Constructors

SignedSimplePBft
Fields signedSimplePBft ∷ SimpleStdHeader c (SimplePBftExt c c')

Instances

Instances details

Generic (SignedSimplePBft c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT Associated Types type Rep (SignedSimplePBft c c') ∷ Type → Type # Methods from ∷ SignedSimplePBft c c' → Rep (SignedSimplePBft c c') x # to ∷ Rep (SignedSimplePBft c c') x → SignedSimplePBft c c' #
(Typeable c', SimpleCrypto c) ⇒ ToCBOR (SignedSimplePBft c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT Methods toCBOR ∷ SignedSimplePBft c c' → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SignedSimplePBft c c') → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignedSimplePBft c c'] → Size Source #
SimpleCrypto c ⇒ SignableRepresentation (SignedSimplePBft c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT Methods getSignableRepresentation ∷ SignedSimplePBft c c' → ByteString Source #
SimpleCrypto c ⇒ Serialise (SignedSimplePBft c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT Methods encode ∷ SignedSimplePBft c c' → Encoding Source # decode ∷ Decoder s (SignedSimplePBft c c') Source # encodeList ∷ [SignedSimplePBft c c'] → Encoding Source # decodeList ∷ Decoder s [SignedSimplePBft c c'] Source #
type Rep (SignedSimplePBft c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT type Rep (SignedSimplePBft c c') = D1 ('MetaData "SignedSimplePBft" "Ouroboros.Consensus.Mock.Ledger.Block.PBFT" "ouroboros-consensus-0.21.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SignedSimplePBft" 'PrefixI 'True) (S1 ('MetaSel ('Just "signedSimplePBft") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SimpleStdHeader c (SimplePBftExt c c')))))

type SimplePBftBlock c c' = SimpleBlock c (SimplePBftExt c c') Source #

Simple block extended with the fields required for PBFT

c is crypto used for the block itself c' is crypto used for the consensus protocol

newtype SimplePBftExt c c' Source #

Block extension required for PBFT

Constructors

SimplePBftExt
Fields simplePBftExt ∷ PBftFields c' (SignedSimplePBft c c')

Instances

Instances details

(SimpleCrypto c, PBftCrypto c') ⇒ MockProtocolSpecific c (SimplePBftExt c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT Associated Types type MockLedgerConfig c (SimplePBftExt c c') Source #
(SimpleCrypto c, PBftCrypto c', Serialise (PBftVerKeyHash c')) ⇒ RunMockBlock c (SimplePBftExt c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT Methods mockNetworkMagic ∷ BlockConfig (SimpleBlock c (SimplePBftExt c c')) → NetworkMagic Source #
Generic (SimplePBftExt c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT Associated Types type Rep (SimplePBftExt c c') ∷ Type → Type # Methods from ∷ SimplePBftExt c c' → Rep (SimplePBftExt c c') x # to ∷ Rep (SimplePBftExt c c') x → SimplePBftExt c c' #
PBftCrypto c' ⇒ Show (SimplePBftExt c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT Methods showsPrec ∷ Int → SimplePBftExt c c' → ShowS # show ∷ SimplePBftExt c c' → String # showList ∷ [SimplePBftExt c c'] → ShowS #
PBftCrypto c' ⇒ Eq (SimplePBftExt c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT Methods (==) ∷ SimplePBftExt c c' → SimplePBftExt c c' → Bool # (/=) ∷ SimplePBftExt c c' → SimplePBftExt c c' → Bool #
(PBftCrypto c', Typeable c) ⇒ NoThunks (SimplePBftExt c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT Methods noThunks ∷ Context → SimplePBftExt c c' → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SimplePBftExt c c' → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SimplePBftExt c c') → String Source #
(SimpleCrypto c, Signable MockDSIGN (SignedSimplePBft c PBftMockCrypto)) ⇒ BlockSupportsProtocol (SimplePBftBlock c PBftMockCrypto) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT Methods validateView ∷ BlockConfig (SimplePBftBlock c PBftMockCrypto) → Header (SimplePBftBlock c PBftMockCrypto) → ValidateView (BlockProtocol (SimplePBftBlock c PBftMockCrypto)) Source # selectView ∷ BlockConfig (SimplePBftBlock c PBftMockCrypto) → Header (SimplePBftBlock c PBftMockCrypto) → SelectView (BlockProtocol (SimplePBftBlock c PBftMockCrypto)) Source # projectChainOrderConfig ∷ BlockConfig (SimplePBftBlock c PBftMockCrypto) → ChainOrderConfig (SelectView (BlockProtocol (SimplePBftBlock c PBftMockCrypto))) Source #
(SimpleCrypto c, Signable MockDSIGN (SignedSimplePBft c PBftMockCrypto)) ⇒ LedgerSupportsProtocol (SimplePBftBlock c PBftMockCrypto) Source #	The ledger view is constant for the mock instantiation of PBFT (mock blocks cannot change delegation)
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT Methods protocolLedgerView ∷ LedgerConfig (SimplePBftBlock c PBftMockCrypto) → Ticked (LedgerState (SimplePBftBlock c PBftMockCrypto)) → LedgerView (BlockProtocol (SimplePBftBlock c PBftMockCrypto)) Source # ledgerViewForecastAt ∷ LedgerConfig (SimplePBftBlock c PBftMockCrypto) → LedgerState (SimplePBftBlock c PBftMockCrypto) → Forecast (LedgerView (BlockProtocol (SimplePBftBlock c PBftMockCrypto))) Source #
SignedHeader (SimplePBftHeader c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT Methods headerSigned ∷ SimplePBftHeader c c' → Signed (SimplePBftHeader c c') Source #
PBftCrypto c' ⇒ Condense (SimplePBftExt c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT Methods condense ∷ SimplePBftExt c c' → String Source #
PBftCrypto c' ⇒ Serialise (SimplePBftExt c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT Methods encode ∷ SimplePBftExt c c' → Encoding Source # decode ∷ Decoder s (SimplePBftExt c c') Source # encodeList ∷ [SimplePBftExt c c'] → Encoding Source # decodeList ∷ Decoder s [SimplePBftExt c c'] Source #
(Serialise (PBftVerKeyHash c'), PBftCrypto c') ⇒ DecodeDisk (SimplePBftBlock c c') (PBftState c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT Methods decodeDisk ∷ CodecConfig (SimplePBftBlock c c') → ∀ s. Decoder s (PBftState c') Source #
(Serialise (PBftVerKeyHash c'), PBftCrypto c') ⇒ EncodeDisk (SimplePBftBlock c c') (PBftState c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT Methods encodeDisk ∷ CodecConfig (SimplePBftBlock c c') → PBftState c' → Encoding Source #
type MockLedgerConfig c (SimplePBftExt c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT type MockLedgerConfig c (SimplePBftExt c c') = PBftLedgerView c'
type Rep (SimplePBftExt c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT type Rep (SimplePBftExt c c') = D1 ('MetaData "SimplePBftExt" "Ouroboros.Consensus.Mock.Ledger.Block.PBFT" "ouroboros-consensus-0.21.0.0-inplace-unstable-mock-block" 'True) (C1 ('MetaCons "SimplePBftExt" 'PrefixI 'True) (S1 ('MetaSel ('Just "simplePBftExt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PBftFields c' (SignedSimplePBft c c')))))
type BlockProtocol (SimplePBftBlock c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT type BlockProtocol (SimplePBftBlock c c') = PBft c'
type CannotForge (SimplePBftBlock c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT type CannotForge (SimplePBftBlock c c') = PBftCannotForge c'
type ForgeStateInfo (SimplePBftBlock c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT type ForgeStateInfo (SimplePBftBlock c c') = ()
type ForgeStateUpdateError (SimplePBftBlock c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT type ForgeStateUpdateError (SimplePBftBlock c c') = Void
type Signed (SimplePBftHeader c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT type Signed (SimplePBftHeader c c') = SignedSimplePBft c c'

type SimplePBftHeader c c' = SimpleHeader c (SimplePBftExt c c') Source #

Header for PBFT

forgePBftExt ∷ ∀ c c'. (SimpleCrypto c, PBftCrypto c', Signable (PBftDSIGN c') (SignedSimplePBft c c'), ContextDSIGN (PBftDSIGN c') ~ ()) ⇒ ForgeExt c (SimplePBftExt c c') Source #