cardano-ledger-alonzo-1.12.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 (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

Orphan instances