cardano-ledger-core-1.20.0.0: Core components of Cardano ledgers from the Shelley release on.
Safe HaskellNone
LanguageHaskell2010

Test.Cardano.Ledger.BlockHeader

Documentation

data TestBlockHeader Source #

Constructors

TestBlockHeader 

Fields

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.20.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 "tbhPrevNonce") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Nonce)) :*: S1 ('MetaSel ('Just "tbhProtVer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProtVer)))))

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 #

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

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.20.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 "tbhPrevNonce") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Nonce)) :*: S1 ('MetaSel ('Just "tbhProtVer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProtVer)))))

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