Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Alonzo.BlockBody

Documentation

data AlonzoBlockBody era where Source #

Bundled Patterns

pattern AlonzoBlockBody ∷ (AlonzoEraTx era, SafeToHash (TxWits era)) ⇒ StrictSeq (Tx 'TopTx era) → AlonzoBlockBody era

Instances

Instances details

(AlonzoEraTx era, DecCBOR (Annotator (TxAuxData era)), DecCBOR (Annotator (TxBody 'TopTx era)), DecCBOR (Annotator (TxWits era))) ⇒ DecCBOR (Annotator (AlonzoBlockBody era)) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.BlockBody.Internal

Methods

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

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

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

Era era ⇒ EncCBORGroup (AlonzoBlockBody era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.BlockBody.Internal

Methods

encCBORGroup ∷ AlonzoBlockBody era → Encoding Source #

listLen ∷ Proxy (AlonzoBlockBody era) → Word Source #

NFData (Tx 'TopTx era) ⇒ NFData (AlonzoBlockBody era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.BlockBody.Internal

Methods

rnf ∷ AlonzoBlockBody era → () #

Generic (AlonzoBlockBody era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.BlockBody.Internal

Associated Types

type Rep (AlonzoBlockBody era)

Instance details

Defined in Cardano.Ledger.Alonzo.BlockBody.Internal

type Rep (AlonzoBlockBody era) = D1 ('MetaData "AlonzoBlockBody" "Cardano.Ledger.Alonzo.BlockBody.Internal" "cardano-ledger-alonzo-1.18.0.0-inplace" 'False) (C1 ('MetaCons "AlonzoBlockBodyInternal" 'PrefixI 'True) ((S1 ('MetaSel ('Just "abbTxs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (Tx 'TopTx era))) :*: (S1 ('MetaSel ('Just "abbHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash HASH EraIndependentBlockBody)) :*: S1 ('MetaSel ('Just "abbTxsBodyBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString))) :*: (S1 ('MetaSel ('Just "abbTxsWitsBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString) :*: (S1 ('MetaSel ('Just "abbTxsAuxDataBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString) :*: S1 ('MetaSel ('Just "abbTxsIsValidBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))))

Methods

from ∷ AlonzoBlockBody era → Rep (AlonzoBlockBody era) x #

to ∷ Rep (AlonzoBlockBody era) x → AlonzoBlockBody era #

Show (Tx 'TopTx era) ⇒ Show (AlonzoBlockBody era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.BlockBody.Internal

Methods

showsPrec ∷ Int → AlonzoBlockBody era → ShowS #

show ∷ AlonzoBlockBody era → String #

showList ∷ [AlonzoBlockBody era] → ShowS #

Eq (Tx 'TopTx era) ⇒ Eq (AlonzoBlockBody era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.BlockBody.Internal

Methods

(==) ∷ AlonzoBlockBody era → AlonzoBlockBody era → Bool #

(/=) ∷ AlonzoBlockBody era → AlonzoBlockBody era → Bool #

(Typeable era, NoThunks (Tx 'TopTx era)) ⇒ NoThunks (AlonzoBlockBody era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.BlockBody.Internal

Methods

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

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

showTypeOf ∷ Proxy (AlonzoBlockBody era) → String Source #

type Rep (AlonzoBlockBody era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.BlockBody.Internal

type Rep (AlonzoBlockBody era) = D1 ('MetaData "AlonzoBlockBody" "Cardano.Ledger.Alonzo.BlockBody.Internal" "cardano-ledger-alonzo-1.18.0.0-inplace" 'False) (C1 ('MetaCons "AlonzoBlockBodyInternal" 'PrefixI 'True) ((S1 ('MetaSel ('Just "abbTxs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (Tx 'TopTx era))) :*: (S1 ('MetaSel ('Just "abbHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash HASH EraIndependentBlockBody)) :*: S1 ('MetaSel ('Just "abbTxsBodyBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString))) :*: (S1 ('MetaSel ('Just "abbTxsWitsBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString) :*: (S1 ('MetaSel ('Just "abbTxsAuxDataBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString) :*: S1 ('MetaSel ('Just "abbTxsIsValidBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))))

data AlonzoBlockBodyLimits era Source #

Constructors

AlonzoBlockBodyLimits
Fields abblTxsSize ∷ !Word32 abblExUnits ∷ !ExUnits

Instances

Instances details

NFData (AlonzoBlockBodyLimits era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.BlockBody.Internal

Methods

rnf ∷ AlonzoBlockBodyLimits era → () #

Monoid (AlonzoBlockBodyLimits era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.BlockBody.Internal

Methods

mempty ∷ AlonzoBlockBodyLimits era #

mappend ∷ AlonzoBlockBodyLimits era → AlonzoBlockBodyLimits era → AlonzoBlockBodyLimits era #

mconcat ∷ [AlonzoBlockBodyLimits era] → AlonzoBlockBodyLimits era #

Semigroup (AlonzoBlockBodyLimits era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.BlockBody.Internal

Methods

(<>) ∷ AlonzoBlockBodyLimits era → AlonzoBlockBodyLimits era → AlonzoBlockBodyLimits era #

sconcat ∷ NonEmpty (AlonzoBlockBodyLimits era) → AlonzoBlockBodyLimits era #

stimes ∷ Integral b ⇒ b → AlonzoBlockBodyLimits era → AlonzoBlockBodyLimits era #

Generic (AlonzoBlockBodyLimits era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.BlockBody.Internal

Associated Types

type Rep (AlonzoBlockBodyLimits era)

Instance details

Defined in Cardano.Ledger.Alonzo.BlockBody.Internal

type Rep (AlonzoBlockBodyLimits era) = D1 ('MetaData "AlonzoBlockBodyLimits" "Cardano.Ledger.Alonzo.BlockBody.Internal" "cardano-ledger-alonzo-1.18.0.0-inplace" 'False) (C1 ('MetaCons "AlonzoBlockBodyLimits" 'PrefixI 'True) (S1 ('MetaSel ('Just "abblTxsSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word32) :*: S1 ('MetaSel ('Just "abblExUnits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ExUnits)))

Methods

from ∷ AlonzoBlockBodyLimits era → Rep (AlonzoBlockBodyLimits era) x #

to ∷ Rep (AlonzoBlockBodyLimits era) x → AlonzoBlockBodyLimits era #

Show (AlonzoBlockBodyLimits era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.BlockBody.Internal

Methods

showsPrec ∷ Int → AlonzoBlockBodyLimits era → ShowS #

show ∷ AlonzoBlockBodyLimits era → String #

showList ∷ [AlonzoBlockBodyLimits era] → ShowS #

Eq (AlonzoBlockBodyLimits era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.BlockBody.Internal

Methods

(==) ∷ AlonzoBlockBodyLimits era → AlonzoBlockBodyLimits era → Bool #

(/=) ∷ AlonzoBlockBodyLimits era → AlonzoBlockBodyLimits era → Bool #

type Rep (AlonzoBlockBodyLimits era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.BlockBody.Internal

type Rep (AlonzoBlockBodyLimits era) = D1 ('MetaData "AlonzoBlockBodyLimits" "Cardano.Ledger.Alonzo.BlockBody.Internal" "cardano-ledger-alonzo-1.18.0.0-inplace" 'False) (C1 ('MetaCons "AlonzoBlockBodyLimits" 'PrefixI 'True) (S1 ('MetaSel ('Just "abblTxsSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word32) :*: S1 ('MetaSel ('Just "abblExUnits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ExUnits)))

mkBasicBlockBodyAlonzo ∷ (SafeToHash (TxWits era), BlockBody era ~ AlonzoBlockBody era, AlonzoEraTx era) ⇒ BlockBody era Source #

txSeqBlockBodyAlonzoL ∷ (SafeToHash (TxWits era), BlockBody era ~ AlonzoBlockBody era, AlonzoEraTx era) ⇒ Lens' (BlockBody era) (StrictSeq (Tx 'TopTx era)) Source #

alonzoBlockBodyHash ∷ AlonzoBlockBody era → Hash HASH EraIndependentBlockBody Source #

alonzoBlockBodyTxs ∷ AlonzoBlockBody era → StrictSeq (Tx 'TopTx era) Source #