Safe Haskell	Safe-Inferred
Language	Haskell2010

Ouroboros.Consensus.Mock.Ledger.Block.PraosRule

Description

Test the Praos chain selection rule (with explicit leader schedule)

Synopsis

data PraosCryptoUnused
type SimplePraosRuleBlock c = SimpleBlock c SimplePraosRuleExt
newtype SimplePraosRuleExt = SimplePraosRuleExt {
- simplePraosRuleExt ∷ CoreNodeId
}
type SimplePraosRuleHeader c = SimpleHeader c SimplePraosRuleExt
forgePraosRuleExt ∷ SimpleCrypto c ⇒ ForgeExt c SimplePraosRuleExt

Documentation

data PraosCryptoUnused Source #

Instances

Instances details

PraosCrypto PraosCryptoUnused Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule Associated Types type PraosKES PraosCryptoUnused Source # type PraosVRF PraosCryptoUnused Source # type PraosHash PraosCryptoUnused Source #
type PraosHash PraosCryptoUnused Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule type PraosHash PraosCryptoUnused = NeverHash
type PraosKES PraosCryptoUnused Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule type PraosKES PraosCryptoUnused = NeverKES
type PraosVRF PraosCryptoUnused Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule type PraosVRF PraosCryptoUnused = NeverVRF

type SimplePraosRuleBlock c = SimpleBlock c SimplePraosRuleExt Source #

Simple block extended with the fields required for Praos

c is crypto used for the block itself With an explicit leader schedule we need no crypto for the consensus protocol.

This is an example of a block which is not an instance of SignedBlock.

newtype SimplePraosRuleExt Source #

Required extension

The WithLeaderSchedule doesn't require anything in the block header. We add the CoreNodeId just so that we can check that the schedule matches the chain.

Constructors

SimplePraosRuleExt
Fields simplePraosRuleExt ∷ CoreNodeId

Instances

Instances details

Generic SimplePraosRuleExt Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule Associated Types type Rep SimplePraosRuleExt ∷ Type → Type # Methods from ∷ SimplePraosRuleExt → Rep SimplePraosRuleExt x # to ∷ Rep SimplePraosRuleExt x → SimplePraosRuleExt #
Show SimplePraosRuleExt Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule Methods showsPrec ∷ Int → SimplePraosRuleExt → ShowS # show ∷ SimplePraosRuleExt → String # showList ∷ [SimplePraosRuleExt] → ShowS #
Eq SimplePraosRuleExt Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule Methods (==) ∷ SimplePraosRuleExt → SimplePraosRuleExt → Bool # (/=) ∷ SimplePraosRuleExt → SimplePraosRuleExt → Bool #
NoThunks SimplePraosRuleExt Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule Methods noThunks ∷ Context → SimplePraosRuleExt → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SimplePraosRuleExt → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy SimplePraosRuleExt → String Source #
Condense SimplePraosRuleExt Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule Methods condense ∷ SimplePraosRuleExt → String Source #
Serialise SimplePraosRuleExt Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule Methods encode ∷ SimplePraosRuleExt → Encoding Source # decode ∷ Decoder s SimplePraosRuleExt Source # encodeList ∷ [SimplePraosRuleExt] → Encoding Source # decodeList ∷ Decoder s [SimplePraosRuleExt] Source #
SimpleCrypto c ⇒ MockProtocolSpecific c SimplePraosRuleExt Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule Associated Types type MockLedgerConfig c SimplePraosRuleExt Source #
SimpleCrypto c ⇒ RunMockBlock c SimplePraosRuleExt Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule Methods mockNetworkMagic ∷ BlockConfig (SimpleBlock c SimplePraosRuleExt) → NetworkMagic Source #
SimpleCrypto c ⇒ LedgerSupportsProtocol (SimplePraosRuleBlock c) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule Methods protocolLedgerView ∷ LedgerConfig (SimplePraosRuleBlock c) → Ticked (LedgerState (SimplePraosRuleBlock c)) → LedgerView (BlockProtocol (SimplePraosRuleBlock c)) Source # ledgerViewForecastAt ∷ LedgerConfig (SimplePraosRuleBlock c) → LedgerState (SimplePraosRuleBlock c) → Forecast (LedgerView (BlockProtocol (SimplePraosRuleBlock c))) Source #
DecodeDisk (SimplePraosRuleBlock c) () Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule Methods decodeDisk ∷ CodecConfig (SimplePraosRuleBlock c) → ∀ s. Decoder s () Source #
EncodeDisk (SimplePraosRuleBlock c) () Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule Methods encodeDisk ∷ CodecConfig (SimplePraosRuleBlock c) → () → Encoding Source #
SimpleCrypto c ⇒ BlockSupportsProtocol (SimpleBlock c SimplePraosRuleExt) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule Methods validateView ∷ BlockConfig (SimpleBlock c SimplePraosRuleExt) → Header (SimpleBlock c SimplePraosRuleExt) → ValidateView (BlockProtocol (SimpleBlock c SimplePraosRuleExt)) Source # selectView ∷ BlockConfig (SimpleBlock c SimplePraosRuleExt) → Header (SimpleBlock c SimplePraosRuleExt) → SelectView (BlockProtocol (SimpleBlock c SimplePraosRuleExt)) Source # projectChainOrderConfig ∷ BlockConfig (SimpleBlock c SimplePraosRuleExt) → ChainOrderConfig (SelectView (BlockProtocol (SimpleBlock c SimplePraosRuleExt))) Source #
type Rep SimplePraosRuleExt Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule type Rep SimplePraosRuleExt = D1 ('MetaData "SimplePraosRuleExt" "Ouroboros.Consensus.Mock.Ledger.Block.PraosRule" "ouroboros-consensus-0.21.0.0-inplace-unstable-mock-block" 'True) (C1 ('MetaCons "SimplePraosRuleExt" 'PrefixI 'True) (S1 ('MetaSel ('Just "simplePraosRuleExt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CoreNodeId)))
type MockLedgerConfig c SimplePraosRuleExt Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule type MockLedgerConfig c SimplePraosRuleExt = ()
type BlockProtocol (SimplePraosRuleBlock c) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule type BlockProtocol (SimplePraosRuleBlock c) = WithLeaderSchedule (Praos PraosCryptoUnused)
type CannotForge (SimplePraosRuleBlock c) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule type CannotForge (SimplePraosRuleBlock c) = Void
type ForgeStateInfo (SimplePraosRuleBlock c) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule type ForgeStateInfo (SimplePraosRuleBlock c) = ()
type ForgeStateUpdateError (SimplePraosRuleBlock c) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule type ForgeStateUpdateError (SimplePraosRuleBlock c) = Void

type SimplePraosRuleHeader c = SimpleHeader c SimplePraosRuleExt Source #

Header for Proas

forgePraosRuleExt ∷ SimpleCrypto c ⇒ ForgeExt c SimplePraosRuleExt Source #