cardano-ledger-core-1.22.0.0: Core components of Cardano ledgers from the Shelley release on.

Safe Haskell	None
Language	Haskell2010

Test.Cardano.Ledger.BlockHeader

Documentation

data TestBlockHeader Source #

Constructors

TestBlockHeader
Fields tbhIssuer ∷ KeyHash 'BlockIssuer tbhBSize ∷ Word32 tbhHSize ∷ Int tbhBHash ∷ Hash HASH EraIndependentBlockBody tbhSlot ∷ SlotNo tbhVersionInfo ∷ BlockHeaderVersionInfo tbhEbRefsAnn ∷ StrictMaybe EbReferencesAnnouncement

Instances

Instances details

NFData TestBlockHeader Source #

Instance details

Defined in Test.Cardano.Ledger.BlockHeader

Methods

rnf ∷ TestBlockHeader → () #

Generic TestBlockHeader Source #

Instance details

Defined in Test.Cardano.Ledger.BlockHeader

Associated Types

type Rep TestBlockHeader

Instance details

Defined in Test.Cardano.Ledger.BlockHeader

type Rep TestBlockHeader = D1 ('MetaData "TestBlockHeader" "Test.Cardano.Ledger.BlockHeader" "cardano-ledger-core-1.22.0.0-inplace-testlib" 'False) (C1 ('MetaCons "TestBlockHeader" 'PrefixI 'True) ((S1 ('MetaSel ('Just "tbhIssuer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'BlockIssuer)) :*: (S1 ('MetaSel ('Just "tbhBSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32) :*: S1 ('MetaSel ('Just "tbhHSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))) :*: ((S1 ('MetaSel ('Just "tbhBHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash HASH EraIndependentBlockBody)) :*: S1 ('MetaSel ('Just "tbhSlot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo)) :*: (S1 ('MetaSel ('Just "tbhVersionInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockHeaderVersionInfo) :*: S1 ('MetaSel ('Just "tbhEbRefsAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe EbReferencesAnnouncement))))))

Methods

from ∷ TestBlockHeader → Rep TestBlockHeader x #

to ∷ Rep TestBlockHeader x → TestBlockHeader #

ToExpr TestBlockHeader Source #

Instance details

Defined in Test.Cardano.Ledger.TreeDiff

Methods

toExpr ∷ TestBlockHeader → Expr Source #

listToExpr ∷ [TestBlockHeader] → Expr Source #

Era era ⇒ EraBlockHeader TestBlockHeader era Source #

Instance details

Defined in Test.Cardano.Ledger.BlockHeader

Methods

blockIssuerBlockHeaderG ∷ SimpleGetter (Block TestBlockHeader era) (KeyHash 'BlockIssuer) Source #

blockHeaderSizeBlockHeaderG ∷ SimpleGetter (Block TestBlockHeader era) Int Source #

blockBodySizeBlockHeaderL ∷ Lens' (Block TestBlockHeader era) Word32 Source #

blockBodyHashBlockHeaderL ∷ Lens' (Block TestBlockHeader era) (Hash HASH EraIndependentBlockBody) Source #

slotNoBlockHeaderL ∷ Lens' (Block TestBlockHeader era) SlotNo Source #

Era era ⇒ LeiosEraBlockHeader TestBlockHeader era Source #

Instance details

Defined in Test.Cardano.Ledger.BlockHeader

Methods

prevNonceBlockHeaderL ∷ Lens' (Block TestBlockHeader era) Nonce Source #

versionInfoBlockHeaderL ∷ Lens' (Block TestBlockHeader era) BlockHeaderVersionInfo Source #

ebReferencesAnnouncementBlockHeaderL ∷ Lens' (Block TestBlockHeader era) (StrictMaybe EbReferencesAnnouncement) Source #

Era era ⇒ PraosEraBlockHeader TestBlockHeader era Source #

Instance details

Defined in Test.Cardano.Ledger.BlockHeader

Methods

protVerBlockHeaderL ∷ Lens' (Block TestBlockHeader era) ProtVer Source #

Era era ⇒ TPraosEraBlockHeader TestBlockHeader era Source #

Instance details

Defined in Test.Cardano.Ledger.BlockHeader

type Rep TestBlockHeader Source #

Instance details

Defined in Test.Cardano.Ledger.BlockHeader

type Rep TestBlockHeader = D1 ('MetaData "TestBlockHeader" "Test.Cardano.Ledger.BlockHeader" "cardano-ledger-core-1.22.0.0-inplace-testlib" 'False) (C1 ('MetaCons "TestBlockHeader" 'PrefixI 'True) ((S1 ('MetaSel ('Just "tbhIssuer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'BlockIssuer)) :*: (S1 ('MetaSel ('Just "tbhBSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32) :*: S1 ('MetaSel ('Just "tbhHSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))) :*: ((S1 ('MetaSel ('Just "tbhBHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash HASH EraIndependentBlockBody)) :*: S1 ('MetaSel ('Just "tbhSlot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo)) :*: (S1 ('MetaSel ('Just "tbhVersionInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockHeaderVersionInfo) :*: S1 ('MetaSel ('Just "tbhEbRefsAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe EbReferencesAnnouncement))))))

mkTestBlockHeaderNoNonce ∷ ∀ era h. EraBlockHeader h era ⇒ Block h era → TestBlockHeader Source #