Safe Haskell	None
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
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule type PraosKES PraosCryptoUnused = NeverKES
type PraosVRF PraosCryptoUnused
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule type PraosVRF PraosCryptoUnused = NeverVRF
type PraosHash PraosCryptoUnused
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule type PraosHash PraosCryptoUnused = NeverHash

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

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.28.0.0-inplace-unstable-mock-block" 'True) (C1 ('MetaCons "SimplePraosRuleExt" 'PrefixI 'True) (S1 ('MetaSel ('Just "simplePraosRuleExt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CoreNodeId)))

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
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule type MockLedgerConfig c SimplePraosRuleExt = ()

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 ∷ ∀ (mk ∷ MapKind). LedgerConfig (SimplePraosRuleBlock c) → Ticked (LedgerState (SimplePraosRuleBlock c)) mk → LedgerView (BlockProtocol (SimplePraosRuleBlock c)) Source #

ledgerViewForecastAt ∷ ∀ (mk ∷ MapKind). HasCallStack ⇒ LedgerConfig (SimplePraosRuleBlock c) → LedgerState (SimplePraosRuleBlock c) mk → 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 #

tiebreakerView ∷ BlockConfig (SimpleBlock c SimplePraosRuleExt) → Header (SimpleBlock c SimplePraosRuleExt) → TiebreakerView (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.28.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