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

Instances details

Generic (AlonzoTxSeq era) Source #
Instance details 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 #
Instance details Defined in Cardano.Ledger.Alonzo.TxSeq.Internal Methods showsPrec ∷ Int → AlonzoTxSeq era → ShowS # show ∷ AlonzoTxSeq era → String # showList ∷ [AlonzoTxSeq era] → ShowS #
(AlonzoEraTx era, DecCBOR (Annotator (TxAuxData era)), DecCBOR (Annotator (TxBody era)), DecCBOR (Annotator (TxWits 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 # (/=) ∷ AlonzoTxSeq era → AlonzoTxSeq era → Bool #
(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.14.0.0-inplace" 'False) (C1 ('MetaCons "AlonzoTxSeqRaw" 'PrefixI 'True) ((S1 ('MetaSel ('Just "txSeqTxns") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (Tx era))) :: (S1 ('MetaSel ('Just "txSeqHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash HASH EraIndependentBlockBody)) :: 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