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

Cardano.Ledger.Alonzo.TxSeq.Internal

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

Documentation

data AlonzoTxSeq era Source #

Constructors

AlonzoTxSeqRaw 

Fields

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

Defined in Cardano.Ledger.Alonzo.TxSeq.Internal

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.Internal

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.Internal

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.Internal

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.Internal

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.Internal

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