| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Alonzo.BlockBody.Internal
Contents
Description
Provides BlockBody internals
Warning
This module is considered internal.
The contents of this module may change in any way whatsoever and without any warning between minor versions of this package.
Synopsis
- data AlonzoBlockBody era where
- AlonzoBlockBodyInternal { }
- pattern AlonzoBlockBody ∷ (AlonzoEraTx era, SafeToHash (TxWits era)) ⇒ StrictSeq (Tx 'TopTx era) → AlonzoBlockBody era
- hashAlonzoSegWits ∷ ByteString → ByteString → ByteString → ByteString → Hash HASH EraIndependentBlockBody
- alignedValidFlags ∷ Int → [Int] → Seq IsValid
- mkBasicBlockBodyAlonzo ∷ (SafeToHash (TxWits era), BlockBody era ~ AlonzoBlockBody era, AlonzoEraTx era) ⇒ BlockBody era
- txSeqBlockBodyAlonzoL ∷ (SafeToHash (TxWits era), BlockBody era ~ AlonzoBlockBody era, AlonzoEraTx era) ⇒ Lens' (BlockBody era) (StrictSeq (Tx 'TopTx era))
Documentation
data AlonzoBlockBody era Source #
Constructors
| AlonzoBlockBodyInternal | |
Fields
| |
Bundled Patterns
| pattern AlonzoBlockBody ∷ (AlonzoEraTx era, SafeToHash (TxWits era)) ⇒ StrictSeq (Tx 'TopTx era) → AlonzoBlockBody era |
Instances
Arguments
| ∷ ByteString | |
| → ByteString | Bytes for transaction bodies |
| → ByteString | Bytes for transaction witnesses |
| → ByteString | Bytes for transaction auxiliary datas |
| → Hash HASH EraIndependentBlockBody | Bytes for transaction isValid flags |
alignedValidFlags ∷ Int → [Int] → Seq IsValid Source #
Given the number of transactions, and the set of indices for which these
transactions do not validate, create an aligned sequence of IsValid
flags.
This function operates much as the inverse of nonValidatingIndices.
mkBasicBlockBodyAlonzo ∷ (SafeToHash (TxWits era), BlockBody era ~ AlonzoBlockBody era, AlonzoEraTx era) ⇒ BlockBody era Source #
txSeqBlockBodyAlonzoL ∷ (SafeToHash (TxWits era), BlockBody era ~ AlonzoBlockBody era, AlonzoEraTx era) ⇒ Lens' (BlockBody era) (StrictSeq (Tx 'TopTx era)) Source #
Orphan instances
| EraBlockBody AlonzoEra Source # | |||||
Associated Types
| |||||