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. Era era ⇒ AlonzoTxSeq era → Hash (EraCrypto era) 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 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.12.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. Era era ⇒ AlonzoTxSeq era → Hash (EraCrypto era) EraIndependentBlockBody Source #

Hash a given block body