Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Cardano.Ledger.Alonzo.TxSeq
Description
TxSeq. This is effectively the block body, which consists of a sequence of transactions with segregated witness and metadata information.
Synopsis
- data AlonzoTxSeq era where
- pattern AlonzoTxSeq ∷ ∀ era. (AlonzoEraTx era, SafeToHash (TxWits era)) ⇒ StrictSeq (Tx era) → AlonzoTxSeq era
- hashAlonzoTxSeq ∷ ∀ era. AlonzoTxSeq era → Hash HASH EraIndependentBlockBody
Documentation
data AlonzoTxSeq era where Source #
Bundled Patterns
pattern AlonzoTxSeq ∷ ∀ era. (AlonzoEraTx era, SafeToHash (TxWits era)) ⇒ StrictSeq (Tx era) → AlonzoTxSeq era |
Instances
Generic (AlonzoTxSeq era) Source # | |
Defined in Cardano.Ledger.Alonzo.TxSeq.Internal Associated Types type Rep (AlonzoTxSeq era) ∷ Type → Type # Methods from ∷ AlonzoTxSeq era → Rep (AlonzoTxSeq era) x # to ∷ Rep (AlonzoTxSeq era) x → AlonzoTxSeq era # | |
Show (Tx era) ⇒ Show (AlonzoTxSeq era) Source # | |
Defined in Cardano.Ledger.Alonzo.TxSeq.Internal Methods showsPrec ∷ Int → AlonzoTxSeq era → ShowS # show ∷ AlonzoTxSeq era → String # showList ∷ [AlonzoTxSeq era] → ShowS # | |
AlonzoEraTx era ⇒ DecCBOR (AlonzoTxSeq era) Source # | |
Defined in Cardano.Ledger.Alonzo.TxSeq.Internal | |
Era era ⇒ EncCBORGroup (AlonzoTxSeq era) Source # | |
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 # | |
Defined in Cardano.Ledger.Alonzo.TxSeq.Internal Methods (==) ∷ AlonzoTxSeq era → AlonzoTxSeq era → Bool # (/=) ∷ AlonzoTxSeq era → AlonzoTxSeq era → Bool # | |
(Typeable era, NoThunks (Tx era)) ⇒ NoThunks (AlonzoTxSeq era) Source # | |
Defined in Cardano.Ledger.Alonzo.TxSeq.Internal | |
type Rep (AlonzoTxSeq era) Source # | |
Defined in Cardano.Ledger.Alonzo.TxSeq.Internal type Rep (AlonzoTxSeq era) = D1 ('MetaData "AlonzoTxSeq" "Cardano.Ledger.Alonzo.TxSeq.Internal" "cardano-ledger-alonzo-1.14.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