cardano-ledger-alonzo-1.14.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 #

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

Defined in Cardano.Ledger.Alonzo.TxSeq.Internal

Methods

decCBOR ∷ Decoder s (AlonzoTxSeq era) Source #

dropCBOR ∷ Proxy (AlonzoTxSeq era) → Decoder s () Source #

label ∷ Proxy (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 "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

alignedValidFlags ∷ Int → [Int] → Seq IsValid Source #

Given the number of transactions, and the set of indices for which these transactions do not validate, create an aligned sequence of IsValid flags.

This function operates much as the inverse of nonValidatingIndices.

Orphan instances