ouroboros-consensus-0.25.0.0: Consensus layer for the Ouroboros blockchain protocol
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.Mock.Ledger.Block.BFT

Synopsis

Documentation

data SignedSimpleBft c c' Source #

Part of the block that gets signed

Constructors

SignedSimpleBft 

Fields

Instances

Instances details
(Typeable c', SimpleCrypto c) ⇒ ToCBOR (SignedSimpleBft c c') Source # 
Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT

Methods

toCBOR ∷ SignedSimpleBft c c' → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SignedSimpleBft c c') → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignedSimpleBft c c'] → Size Source #

SimpleCrypto c ⇒ SignableRepresentation (SignedSimpleBft c c') Source # 
Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT

Methods

getSignableRepresentation ∷ SignedSimpleBft c c' → ByteString Source #

Generic (SignedSimpleBft c c') Source # 
Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT

Associated Types

type Rep (SignedSimpleBft c c') 
Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT

type Rep (SignedSimpleBft c c') = D1 ('MetaData "SignedSimpleBft" "Ouroboros.Consensus.Mock.Ledger.Block.BFT" "ouroboros-consensus-0.25.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SignedSimpleBft" 'PrefixI 'True) (S1 ('MetaSel ('Just "signedSimpleBft") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SimpleStdHeader c (SimpleBftExt c c')))))

Methods

from ∷ SignedSimpleBft c c' → Rep (SignedSimpleBft c c') x #

to ∷ Rep (SignedSimpleBft c c') x → SignedSimpleBft c c' #

SimpleCrypto c ⇒ Serialise (SignedSimpleBft c c') Source # 
Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT

Methods

encode ∷ SignedSimpleBft c c' → Encoding Source #

decode ∷ Decoder s (SignedSimpleBft c c') Source #

encodeList ∷ [SignedSimpleBft c c'] → Encoding Source #

decodeList ∷ Decoder s [SignedSimpleBft c c'] Source #

type Rep (SignedSimpleBft c c') Source # 
Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT

type Rep (SignedSimpleBft c c') = D1 ('MetaData "SignedSimpleBft" "Ouroboros.Consensus.Mock.Ledger.Block.BFT" "ouroboros-consensus-0.25.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SignedSimpleBft" 'PrefixI 'True) (S1 ('MetaSel ('Just "signedSimpleBft") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SimpleStdHeader c (SimpleBftExt c c')))))

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

Instances details
(SimpleCrypto c, Typeable c') ⇒ MockProtocolSpecific c (SimpleBftExt c c') Source # 
Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT

Associated Types

type MockLedgerConfig c (SimpleBftExt c c') 
Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT

type MockLedgerConfig c (SimpleBftExt c c') = ()
(SimpleCrypto c, BftCrypto c') ⇒ RunMockBlock c (SimpleBftExt c c') Source # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT

Methods

noThunks ∷ Context → SimpleBftExt c c' → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → SimpleBftExt c c' → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (SimpleBftExt c c') → String Source #

(SimpleCrypto c, BftCrypto c', Signable (BftDSIGN c') (SignedSimpleBft c c')) ⇒ BlockSupportsProtocol (SimpleBftBlock c c') Source # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT

Methods

condense ∷ SimpleBftExt c c' → String Source #

BftCrypto c' ⇒ Serialise (SimpleBftExt c c') Source # 
Instance details

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 # 
Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT

Methods

decodeDisk ∷ CodecConfig (SimpleBftBlock c c') → ∀ s. Decoder s () Source #

EncodeDisk (SimpleBftBlock c c') () Source # 
Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT

Methods

encodeDisk ∷ CodecConfig (SimpleBftBlock c c') → () → Encoding Source #

type MockLedgerConfig c (SimpleBftExt c c') Source # 
Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT

type MockLedgerConfig c (SimpleBftExt c c') = ()
type BlockProtocol (SimpleBftBlock c c') Source # 
Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT

type BlockProtocol (SimpleBftBlock c c') = Bft c'
type CannotForge (SimpleBftBlock c c') Source # 
Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT

type CannotForge (SimpleBftBlock c c') = Void
type ForgeStateInfo (SimpleBftBlock c c') Source # 
Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT

type ForgeStateInfo (SimpleBftBlock c c') = ()
type ForgeStateUpdateError (SimpleBftBlock c c') Source # 
Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT

type ForgeStateUpdateError (SimpleBftBlock c c') = Void
type Signed (SimpleBftHeader c c') Source # 
Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT

type Signed (SimpleBftHeader c c') = SignedSimpleBft c c'

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 #