Modulebyron-spec-chain-1.0.1.1Haskell2010

Byron.Spec.Chain.STS.Block

Synopsis

data BlockHeader
value bhDlgHash
value bhIssuer
value bhPrevHash
value bhSig
value bhSlot
value bhUpdHash
value bhUtxoHash
data BlockBody
value bDCerts
value bProtVer
value bUpdProp
value bUpdVotes
value bUtxo
data Block
value bBody
value bHeader
value mkBlock
value genesisHash
value bEndorsment
value bSlot
value bUpdPayload
value bSize
value bBodySize
value bHeaderSize
value hashHeader
value bhToSign
value bhHash
value bIsEBB
value updateBody
data BlockStats
value blockStats
value chainBlockStats

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-2Q3ahG0treB9RuCh3ZJVT0" '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-2Q3ahG0treB9RuCh3ZJVT0" '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

Source#

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-2Q3ahG0treB9RuCh3ZJVT0" '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

Source#

Dummy genesis hash.

valuebEndorsment :: Block -> (ProtVer, VKey)

Source#

Protocol version endorsment

valuebSlot :: Block -> Slot

Source#

Slot the block is published in

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

Source#

Block update payload

valuebSize :: Block -> Natural

Source#

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

valuebBodySize :: BlockBody -> Natural

Source#

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

valuebHeaderSize :: BlockHeader -> Natural

Source#

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

valuehashHeader :: BlockHeader -> Hash

Source#

Computes the hash of a header.

valuebhToSign :: BlockHeader -> Hash

Source#

Computes the hash of the header.

valuebhHash :: BlockHeader -> Hash

valuebIsEBB :: Block -> Bool

Source#

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

Source#

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

Source#

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)

Source#

Block stats for an entire chain

Computes minimum, maximum, and average values.

Returns Nothing for the empty chain.