Modulebyron-spec-chain-1.0.1.1Haskell2010

Byron.Spec.Chain.STS.Block

4 types
29 values

Packagebyron-spec-chain-1.0.1.1
Exports33
LanguageHaskell2010
LicenceApache-2.0
SourceBlock.hs

datadata BlockHeader

Constructors

BlockHeader
- _bhPrevHash :: !Hash
  Hash of the previous block header, or genesisHash in case of the first block in a chain.
- _bhSlot :: !Slot
  Absolute slot for which the block was generated.
- _bhIssuer :: !VKey
  Block issuer.
- _bhSig :: !Sig Hash
  Part of the block header which must be signed.
- _bhUtxoHash :: !Hash
  UTxO hash
- _bhDlgHash :: !Hash
  Delegation hash
- _bhUpdHash :: !Hash
  Update payload hash

Instances6Eq, Data, Show, Generic, HasTypeReps, Rep

Eq BlockHeaderDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Block
Data BlockHeaderDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Block
Show BlockHeaderDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Block
Generic BlockHeaderDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Block
HasTypeReps BlockHeaderDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Block
type Rep BlockHeader = D1 ('MetaData "BlockHeader" "Byron.Spec.Chain.STS.Block" "byron-spec-chain-1.0.1.1-C36oXEWPgqC8QYfkONssBF" 'False) (C1 ('MetaCons "BlockHeader" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_bhPrevHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Hash) :*: (S1 ('MetaSel ('Just "_bhSlot") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Slot) :*: S1 ('MetaSel ('Just "_bhIssuer") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VKey))) :*: ((S1 ('MetaSel ('Just "_bhSig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Sig Hash)) :*: S1 ('MetaSel ('Just "_bhUtxoHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Hash)) :*: (S1 ('MetaSel ('Just "_bhDlgHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Hash) :*: S1 ('MetaSel ('Just "_bhUpdHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Hash)))))Defined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Block

valuebhDlgHash :: Lens' BlockHeader Hash

valuebhIssuer :: Lens' BlockHeader VKey

valuebhPrevHash :: Lens' BlockHeader Hash

valuebhSig :: Lens' BlockHeader (Sig Hash)

valuebhSlot :: Lens' BlockHeader Slot

valuebhUpdHash :: Lens' BlockHeader Hash

valuebhUtxoHash :: Lens' BlockHeader Hash

datadata BlockBody

Constructors

BlockBody
- _bDCerts :: ![DCert]
  Delegation certificates
- _bUtxo :: ![Tx]
  UTxO payload
- _bUpdProp :: !Maybe UProp
  Update proposal payload
- _bUpdVotes :: ![Vote]
  Update votes payload
- _bProtVer :: !ProtVer
  Protocol version

Instances5Data, Show, Generic, HasTypeReps, Rep

Data BlockBodyDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Block
Show BlockBodyDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Block
Generic BlockBodyDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Block
HasTypeReps BlockBodyDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Block
type Rep BlockBody = D1 ('MetaData "BlockBody" "Byron.Spec.Chain.STS.Block" "byron-spec-chain-1.0.1.1-C36oXEWPgqC8QYfkONssBF" 'False) (C1 ('MetaCons "BlockBody" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_bDCerts") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [DCert]) :*: S1 ('MetaSel ('Just "_bUtxo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Tx])) :*: (S1 ('MetaSel ('Just "_bUpdProp") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe UProp)) :*: (S1 ('MetaSel ('Just "_bUpdVotes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Vote]) :*: S1 ('MetaSel ('Just "_bProtVer") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ProtVer)))))Defined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Block

valuebDCerts :: Lens' BlockBody [DCert]

valuebProtVer :: Lens' BlockBody ProtVer

valuebUpdProp :: Lens' BlockBody (Maybe UProp)

valuebUpdVotes :: Lens' BlockBody [Vote]

valuebUtxo :: Lens' BlockBody [Tx]

datadata Block

A block in the chain. The specification only models regular blocks since epoch boundary blocks will be largely ignored in the Byron-Shelley bridge.

Constructors

Block
- _bHeader :: BlockHeader
- _bBody :: BlockBody

Instances6Data, Show, Generic, HasTypeReps, HasSizeInfo, Rep

Data BlockDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Block
Show BlockDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Block
Generic BlockDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Block
HasTypeReps BlockDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Block
HasSizeInfo BlockDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Block
type Rep Block = D1 ('MetaData "Block" "Byron.Spec.Chain.STS.Block" "byron-spec-chain-1.0.1.1-C36oXEWPgqC8QYfkONssBF" 'False) (C1 ('MetaCons "Block" 'PrefixI 'True) (S1 ('MetaSel ('Just "_bHeader") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockHeader) :*: S1 ('MetaSel ('Just "_bBody") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockBody)))Defined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Block

valuebBody :: Lens' Block BlockBody

valuebHeader :: Lens' Block BlockHeader

valuemkBlock

:: Hash
Hash of the previous block
-> Slot
Current slot
-> VKey
Issuer
-> ProtVer
Protocol version
-> [DCert]
Delegation certificates
-> Maybe UProp
Update proposal
-> [Vote]
Votes on update proposals
-> [Tx]
UTxO payload
-> Block

valuegenesisHash :: Hash

Dummy genesis hash.

valuebEndorsment :: Block -> (ProtVer, VKey)

Protocol version endorsment

valuebSlot :: Block -> Slot

Slot the block is published in

valuebUpdPayload :: Block -> (Maybe UProp, [Vote])

Block update payload

valuebSize :: Block -> Natural

Compute the abstract size (in words) that a block takes.

valuebBodySize :: BlockBody -> Natural

Compute the abstract size (in words) that a block body occupies.

valuebHeaderSize :: BlockHeader -> Natural

Compute the abstract size (in words) that a block header occupies.

valuehashHeader :: BlockHeader -> Hash

Computes the hash of a header.

valuebhToSign :: BlockHeader -> Hash

Computes the hash of the header.

valuebhHash :: BlockHeader -> Hash

valuebIsEBB :: Block -> Bool

Checks if a block is an epoch boundary block.

The function always returns False because tests will be performed only against chains without EBBs.

valueupdateBody :: Block -> (BlockBody -> BlockBody) -> Block

Update a field of the block body, recomputing the hashes to get a valid block.

datadata BlockStats

Constructors

BlockStats
- blockStatsUtxo :: Word
  Number of regular transactions
- blockStatsDCerts :: Word
  Number of delegation certificates
- blockStatsUpdVotes :: Word
  Number of update votes
- blockStatsUpdProp :: Word
  Number of update proposals
  For a single block this will be 0 or 1.

Instances1Show

Show BlockStatsDefined in byron-spec-chain-1.0.1.1 · Byron.Spec.Chain.STS.Block

valueblockStats :: Block -> BlockStats

Count number of transactions in the block

Returns the number of

Regular transactions
Delegation certificates
Update votes
Update proposals (0 or 1)

valuechainBlockStats

:: [BlockStats]
-> Maybe (BlockStats, BlockStats, BlockStats)

Block stats for an entire chain

Computes minimum, maximum, and average values.

Returns Nothing for the empty chain.