| 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
- data AlonzoBlockBodyLimits era = AlonzoBlockBodyLimits {}
- hashAlonzoSegWits ∷ ByteString → ByteString → ByteString → ByteString → Hash HASH EraIndependentBlockBody
- alignedValidFlags ∷ Int → [Int] → Seq IsPhase2Valid
- 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
data AlonzoBlockBodyLimits era Source #
Constructors
| AlonzoBlockBodyLimits | |
Fields
| |
Instances
| NFData (AlonzoBlockBodyLimits era) Source # | |||||
Defined in Cardano.Ledger.Alonzo.BlockBody.Internal Methods rnf ∷ AlonzoBlockBodyLimits era → () # | |||||
| Monoid (AlonzoBlockBodyLimits era) Source # | |||||
Defined in Cardano.Ledger.Alonzo.BlockBody.Internal Methods mempty ∷ AlonzoBlockBodyLimits era # mappend ∷ AlonzoBlockBodyLimits era → AlonzoBlockBodyLimits era → AlonzoBlockBodyLimits era # mconcat ∷ [AlonzoBlockBodyLimits era] → AlonzoBlockBodyLimits era # | |||||
| Semigroup (AlonzoBlockBodyLimits era) Source # | |||||
Defined in Cardano.Ledger.Alonzo.BlockBody.Internal Methods (<>) ∷ AlonzoBlockBodyLimits era → AlonzoBlockBodyLimits era → AlonzoBlockBodyLimits era # sconcat ∷ NonEmpty (AlonzoBlockBodyLimits era) → AlonzoBlockBodyLimits era # stimes ∷ Integral b ⇒ b → AlonzoBlockBodyLimits era → AlonzoBlockBodyLimits era # | |||||
| Generic (AlonzoBlockBodyLimits era) Source # | |||||
Defined in Cardano.Ledger.Alonzo.BlockBody.Internal Associated Types
Methods from ∷ AlonzoBlockBodyLimits era → Rep (AlonzoBlockBodyLimits era) x # to ∷ Rep (AlonzoBlockBodyLimits era) x → AlonzoBlockBodyLimits era # | |||||
| Show (AlonzoBlockBodyLimits era) Source # | |||||
Defined in Cardano.Ledger.Alonzo.BlockBody.Internal Methods showsPrec ∷ Int → AlonzoBlockBodyLimits era → ShowS # show ∷ AlonzoBlockBodyLimits era → String # showList ∷ [AlonzoBlockBodyLimits era] → ShowS # | |||||
| Eq (AlonzoBlockBodyLimits era) Source # | |||||
Defined in Cardano.Ledger.Alonzo.BlockBody.Internal Methods (==) ∷ AlonzoBlockBodyLimits era → AlonzoBlockBodyLimits era → Bool # (/=) ∷ AlonzoBlockBodyLimits era → AlonzoBlockBodyLimits era → Bool # | |||||
| type Rep (AlonzoBlockBodyLimits era) Source # | |||||
Defined in Cardano.Ledger.Alonzo.BlockBody.Internal type Rep (AlonzoBlockBodyLimits era) = D1 ('MetaData "AlonzoBlockBodyLimits" "Cardano.Ledger.Alonzo.BlockBody.Internal" "cardano-ledger-alonzo-1.18.0.0-inplace" 'False) (C1 ('MetaCons "AlonzoBlockBodyLimits" 'PrefixI 'True) (S1 ('MetaSel ('Just "abblTxsSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word32) :*: S1 ('MetaSel ('Just "abblExUnits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ExUnits))) | |||||
Arguments
| ∷ ByteString | Bytes for transaction bodies |
| → ByteString | Bytes for transaction witnesses |
| → ByteString | Bytes for transaction auxiliary datas |
| → ByteString | Bytes for transaction phase-2 validity flags |
| → Hash HASH EraIndependentBlockBody |
alignedValidFlags ∷ Int → [Int] → Seq IsPhase2Valid Source #
Given the number of transactions, and the set of indices for which these
transactions do not validate, create an aligned sequence of IsPhase2Valid
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
| |||||||||||||