| Safe Haskell | Safe-Inferred |
|---|---|
| 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 ∷ ∀ era. (AlonzoEraTx era, SafeToHash (TxWits era)) ⇒ StrictSeq (Tx era) → AlonzoBlockBody era
- hashAlonzoSegWits ∷ ByteString → ByteString → ByteString → ByteString → Hash HASH EraIndependentBlockBody
- alignedValidFlags ∷ Int → [Int] → Seq IsValid
Documentation
data AlonzoBlockBody era Source #
Constructors
| AlonzoBlockBodyInternal | |
Fields
| |
Bundled Patterns
| pattern AlonzoBlockBody ∷ ∀ era. (AlonzoEraTx era, SafeToHash (TxWits era)) ⇒ StrictSeq (Tx 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.