Safe Haskell	Safe-Inferred
Language	Haskell2010

Ouroboros.Consensus.Mock.Ledger.Block.Praos

Synopsis

data SignedSimplePraos c c' = SignedSimplePraos {
- signedSimplePraos ∷ SimpleStdHeader c (SimplePraosExt c c')
- signedPraosFields ∷ PraosExtraFields c'
}
type SimplePraosBlock c c' = SimpleBlock c (SimplePraosExt c c')
newtype SimplePraosExt c c' = SimplePraosExt {
- simplePraosExt ∷ PraosFields c' (SignedSimplePraos c c')
}
type SimplePraosHeader c c' = SimpleHeader c (SimplePraosExt c c')
forgePraosExt ∷ ∀ c c'. (SimpleCrypto c, PraosCrypto c', Signable (PraosKES c') (SignedSimplePraos c c')) ⇒ HotKey c' → ForgeExt c (SimplePraosExt c c')

Documentation

data SignedSimplePraos c c' Source #

Part of the block that gets signed

TODO: Right now we sign all of the extra Praos fields. This may or may not be needed. https://github.com/IntersectMBO/cardano-ledger/issues/530 Of course, this Praos is merely a proof of concept so it doesn't really matter either way; we include them here primarily to show that we can.

Constructors

SignedSimplePraos
Fields signedSimplePraos ∷ SimpleStdHeader c (SimplePraosExt c c') signedPraosFields ∷ PraosExtraFields c'

Instances

Instances details

(SimpleCrypto c, PraosCrypto c') ⇒ ToCBOR (SignedSimplePraos c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.Praos Methods toCBOR ∷ SignedSimplePraos c c' → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SignedSimplePraos c c') → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignedSimplePraos c c'] → Size Source #
(SimpleCrypto c, PraosCrypto c') ⇒ SignableRepresentation (SignedSimplePraos c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.Praos Methods getSignableRepresentation ∷ SignedSimplePraos c c' → ByteString Source #

type SimplePraosBlock c c' = SimpleBlock c (SimplePraosExt c c') Source #

Simple block extended with the fields required for Praos

c is crypto used for the block itself c' is crypto used for the consensus protocol

newtype SimplePraosExt c c' Source #

Block extension required for Praos

Constructors

SimplePraosExt
Fields simplePraosExt ∷ PraosFields c' (SignedSimplePraos c c')

Instances

Instances details

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

type SimplePraosHeader c c' = SimpleHeader c (SimplePraosExt c c') Source #

Header for Proas

forgePraosExt ∷ ∀ c c'. (SimpleCrypto c, PraosCrypto c', Signable (PraosKES c') (SignedSimplePraos c c')) ⇒ HotKey c' → ForgeExt c (SimplePraosExt c c') Source #