Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Alonzo.TxSeq.Internal

Contents

Orphan instances

Description

Provides TxSeq 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 AlonzoTxSeq era where
- AlonzoTxSeqRaw {
  - txSeqTxns ∷ !(StrictSeq (Tx era))
  - txSeqBodyBytes ∷ ByteString
  - txSeqWitsBytes ∷ ByteString
  - txSeqMetadataBytes ∷ ByteString
  - txSeqIsValidBytes ∷ ByteString
  }
- pattern AlonzoTxSeq ∷ ∀ era. (AlonzoEraTx era, SafeToHash (TxWits era)) ⇒ StrictSeq (Tx era) → AlonzoTxSeq era
hashAlonzoTxSeq ∷ ∀ era. AlonzoTxSeq era → Hash HASH EraIndependentBlockBody

Documentation

data AlonzoTxSeq era Source #

Constructors

AlonzoTxSeqRaw

Fields

txSeqTxns ∷ !(StrictSeq (Tx era))
txSeqBodyBytes ∷ ByteString
Bytes encoding Seq (AlonzoTxBody era)
txSeqWitsBytes ∷ ByteString
Bytes encoding Seq (TxWitness era)
txSeqMetadataBytes ∷ ByteString
Bytes encoding a Map Int (AuxiliaryData). Missing indices have SNothing for metadata
txSeqIsValidBytes ∷ ByteString
Bytes representing a set of integers. These are the indices of transactions with isValid == False.

Bundled Patterns

pattern AlonzoTxSeq ∷ ∀ era. (AlonzoEraTx era, SafeToHash (TxWits era)) ⇒ StrictSeq (Tx era) → AlonzoTxSeq era

Instances

Instances details

Generic (AlonzoTxSeq era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxSeq.Internal Associated Types type Rep (AlonzoTxSeq era) ∷ Type → Type Source # Methods from ∷ AlonzoTxSeq era → Rep (AlonzoTxSeq era) x Source # to ∷ Rep (AlonzoTxSeq era) x → AlonzoTxSeq era Source #
Show (Tx era) ⇒ Show (AlonzoTxSeq era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxSeq.Internal Methods showsPrec ∷ Int → AlonzoTxSeq era → ShowS Source # show ∷ AlonzoTxSeq era → String Source # showList ∷ [AlonzoTxSeq era] → ShowS Source #
AlonzoEraTx era ⇒ DecCBOR (Annotator (AlonzoTxSeq era)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxSeq.Internal Methods decCBOR ∷ Decoder s (Annotator (AlonzoTxSeq era)) Source # dropCBOR ∷ Proxy (Annotator (AlonzoTxSeq era)) → Decoder s () Source # label ∷ Proxy (Annotator (AlonzoTxSeq era)) → Text Source #
Era era ⇒ EncCBORGroup (AlonzoTxSeq era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxSeq.Internal Methods encCBORGroup ∷ AlonzoTxSeq era → Encoding Source # encodedGroupSizeExpr ∷ (∀ x. EncCBOR x ⇒ Proxy x → Size) → Proxy (AlonzoTxSeq era) → Size Source # listLen ∷ AlonzoTxSeq era → Word Source # listLenBound ∷ Proxy (AlonzoTxSeq era) → Word Source #
Eq (Tx era) ⇒ Eq (AlonzoTxSeq era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxSeq.Internal Methods (==) ∷ AlonzoTxSeq era → AlonzoTxSeq era → Bool Source # (/=) ∷ AlonzoTxSeq era → AlonzoTxSeq era → Bool Source #
(Typeable era, NoThunks (Tx era)) ⇒ NoThunks (AlonzoTxSeq era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxSeq.Internal Methods noThunks ∷ Context → AlonzoTxSeq era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AlonzoTxSeq era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (AlonzoTxSeq era) → String Source #
type Rep (AlonzoTxSeq era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxSeq.Internal type Rep (AlonzoTxSeq era) = D1 ('MetaData "AlonzoTxSeq" "Cardano.Ledger.Alonzo.TxSeq.Internal" "cardano-ledger-alonzo-1.13.0.0-inplace" 'False) (C1 ('MetaCons "AlonzoTxSeqRaw" 'PrefixI 'True) ((S1 ('MetaSel ('Just "txSeqTxns") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (Tx era))) :: S1 ('MetaSel ('Just "txSeqBodyBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)) :: (S1 ('MetaSel ('Just "txSeqWitsBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString) :: (S1 ('MetaSel ('Just "txSeqMetadataBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString) :: S1 ('MetaSel ('Just "txSeqIsValidBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))))

hashAlonzoTxSeq ∷ ∀ era. AlonzoTxSeq era → Hash HASH EraIndependentBlockBody Source #

Hash a given block body

Orphan instances

EraSegWits AlonzoEra Source #
Instance details Associated Types type TxSeq AlonzoEra = (r ∷ Type) Source # Methods fromTxSeq ∷ TxSeq AlonzoEra → StrictSeq (Tx AlonzoEra) Source # toTxSeq ∷ StrictSeq (Tx AlonzoEra) → TxSeq AlonzoEra Source # hashTxSeq ∷ TxSeq AlonzoEra → Hash HASH EraIndependentBlockBody Source # numSegComponents ∷ Word64 Source #