Safe Haskell	Safe-Inferred
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 ∷ ∀ c c'. (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 signedSimpleBft ∷ SimpleStdHeader c (SimpleBftExt c c')

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') ∷ Type → Type # Methods from ∷ SignedSimpleBft c c' → Rep (SignedSimpleBft c c') x # to ∷ Rep (SignedSimpleBft c c') x → SignedSimpleBft c c' #
(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 #
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.18.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 simpleBftExt ∷ BftFields c' (SignedSimpleBft c c')

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 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 ∷ LedgerConfig (SimpleBftBlock c c') → Ticked (LedgerState (SimpleBftBlock c c')) → LedgerView (BlockProtocol (SimpleBftBlock c c')) Source # ledgerViewForecastAt ∷ LedgerConfig (SimpleBftBlock c c') → LedgerState (SimpleBftBlock c c') → 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 ∷ ∀ c c'. (SimpleCrypto c, BftCrypto c', Signable (BftDSIGN c') (SignedSimpleBft c c')) ⇒ ForgeExt c (SimpleBftExt c c') Source #