ouroboros-consensus-mock-0.1.0.0: Mock ledger integration in the Ouroboros consensus layer
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.Mock.Ledger.Block.BFT

Synopsis

Documentation

data SignedSimpleBft c c' Source #

Part of the block that gets signed

Instances

Instances details
Generic (SignedSimpleBft c c') Source # 
Instance details

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

Associated Types

type Rep (SignedSimpleBft c c') ∷ TypeType Source #

Methods

fromSignedSimpleBft c c' → Rep (SignedSimpleBft c c') x Source #

toRep (SignedSimpleBft c c') x → SignedSimpleBft c c' Source #

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

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

Methods

encodeSignedSimpleBft c c' → Encoding #

decode ∷ Decoder s (SignedSimpleBft c c') #

encodeList ∷ [SignedSimpleBft c c'] → Encoding #

decodeList ∷ Decoder s [SignedSimpleBft c c'] #

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

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

Methods

toCBORSignedSimpleBft c c' → Encoding

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

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

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

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

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-mock-0.1.0.0-inplace" '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') Source #

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

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

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 Source #

(/=)SimpleBftExt c c' → SimpleBftExt c c' → Bool Source #

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

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

Methods

showsPrecIntSimpleBftExt c c' → ShowS Source #

showSimpleBftExt c c' → String Source #

showList ∷ [SimpleBftExt c c'] → ShowS Source #

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

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

Methods

encodeSimpleBftExt c c' → Encoding #

decode ∷ Decoder s (SimpleBftExt c c') #

encodeList ∷ [SimpleBftExt c c'] → Encoding #

decodeList ∷ Decoder s [SimpleBftExt c c'] #

(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

(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

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

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

Methods

condenseSimpleBftExt c c' → String Source #

SignedHeader (SimpleBftHeader c c') Source # 
Instance details

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

(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) #

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

showTypeOfProxy (SimpleBftExt c c') → String #

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

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

Methods

encodeDiskCodecConfig (SimpleBftBlock c c') → () → Encoding Source #

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

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

Methods

decodeDiskCodecConfig (SimpleBftBlock c c') → ∀ s. Decoder s () 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 CannotForge (SimpleBftBlock c c') Source # 
Instance details

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

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

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

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

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

type BlockProtocol (SimpleBftBlock c c') Source # 
Instance details

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

type Signed (SimpleBftHeader c c') Source # 
Instance details

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

type SimpleBftHeader c c' = SimpleHeader c (SimpleBftExt c c') Source #

Header for BFT

forgeBftExt ∷ ∀ c c'. (SimpleCrypto c, BftCrypto c', Signable (BftDSIGN c') (SignedSimpleBft c c')) ⇒ ForgeExt c (SimpleBftExt c c') Source #