cardano-ledger-alonzo-1.8.0.0: Cardano ledger introducing Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

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

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

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 (TxSeq era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxSeq

Methods

showsPrec ∷ Int → TxSeq era → ShowS Source #

show ∷ TxSeq era → String Source #

showList ∷ [TxSeq era] → ShowS Source #

AlonzoEraTx era ⇒ DecCBOR (Annotator (TxSeq era)) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxSeq

Methods

decCBOR ∷ Decoder s (Annotator (TxSeq era)) Source #

dropCBOR ∷ Proxy (Annotator (TxSeq era)) → Decoder s () Source #

label ∷ Proxy (Annotator (TxSeq era)) → Text Source #

Era era ⇒ EncCBORGroup (TxSeq era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxSeq

Methods

encCBORGroup ∷ TxSeq era → Encoding Source #

encodedGroupSizeExpr ∷ (∀ x. EncCBOR x ⇒ Proxy x → Size) → Proxy (TxSeq era) → Size Source #

listLen ∷ TxSeq era → Word Source #

listLenBound ∷ Proxy (TxSeq era) → Word Source #

Eq (Tx era) ⇒ Eq (TxSeq era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxSeq

Methods

(==) ∷ TxSeq era → TxSeq era → Bool Source #

(/=) ∷ TxSeq era → TxSeq era → Bool Source #

(Typeable era, NoThunks (Tx era)) ⇒ NoThunks (TxSeq era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxSeq

Methods

noThunks ∷ Context → TxSeq era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxSeq era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxSeq era) → String Source #

type Rep (AlonzoTxSeq era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxSeq

type Rep (AlonzoTxSeq era) = D1 ('MetaData "AlonzoTxSeq" "Cardano.Ledger.Alonzo.TxSeq" "cardano-ledger-alonzo-1.8.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)))))

type TxSeq era = AlonzoTxSeq era Source #

Deprecated: Use AlonzoTxSeq instead

hashTxSeq ∷ ∀ era. Era era ⇒ AlonzoTxSeq era → Hash (EraCrypto era) EraIndependentBlockBody Source #

Deprecated: Use hashAlonzoTxSeq instead

hashAlonzoTxSeq ∷ ∀ era. Era era ⇒ AlonzoTxSeq era → Hash (EraCrypto era) EraIndependentBlockBody Source #

Hash a given block body

Orphan instances