cardano-ledger-conway-1.25.0.0: Cardano ledger with an updated on-chain governance system.
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Conway.BlockBody

Documentation

data ConwayBlockBodyLimits era Source #

Constructors

ConwayBlockBodyLimits 

Fields

Instances

Instances details
NFData (ConwayBlockBodyLimits era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.BlockBody

Methods

rnf ∷ ConwayBlockBodyLimits era → () #

Monoid (ConwayBlockBodyLimits era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.BlockBody

Methods

mempty ∷ ConwayBlockBodyLimits era #

mappend ∷ ConwayBlockBodyLimits era → ConwayBlockBodyLimits era → ConwayBlockBodyLimits era #

mconcat ∷ [ConwayBlockBodyLimits era] → ConwayBlockBodyLimits era #

Semigroup (ConwayBlockBodyLimits era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.BlockBody

Methods

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

sconcat ∷ NonEmpty (ConwayBlockBodyLimits era) → ConwayBlockBodyLimits era #

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

Generic (ConwayBlockBodyLimits era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.BlockBody

Associated Types

type Rep (ConwayBlockBodyLimits era) 
Instance details

Defined in Cardano.Ledger.Conway.BlockBody

type Rep (ConwayBlockBodyLimits era) = D1 ('MetaData "ConwayBlockBodyLimits" "Cardano.Ledger.Conway.BlockBody" "cardano-ledger-conway-1.25.0.0-inplace" 'False) (C1 ('MetaCons "ConwayBlockBodyLimits" 'PrefixI 'True) (S1 ('MetaSel ('Just "cbblTxsSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word32) :*: (S1 ('MetaSel ('Just "cbblExUnits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ExUnits) :*: S1 ('MetaSel ('Just "cbblRefScriptsSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int))))

Methods

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

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

Show (ConwayBlockBodyLimits era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.BlockBody

Methods

showsPrec ∷ Int → ConwayBlockBodyLimits era → ShowS #

show ∷ ConwayBlockBodyLimits era → String #

showList ∷ [ConwayBlockBodyLimits era] → ShowS #

Eq (ConwayBlockBodyLimits era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.BlockBody

Methods

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

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

type Rep (ConwayBlockBodyLimits era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.BlockBody

type Rep (ConwayBlockBodyLimits era) = D1 ('MetaData "ConwayBlockBodyLimits" "Cardano.Ledger.Conway.BlockBody" "cardano-ledger-conway-1.25.0.0-inplace" 'False) (C1 ('MetaCons "ConwayBlockBodyLimits" 'PrefixI 'True) (S1 ('MetaSel ('Just "cbblTxsSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word32) :*: (S1 ('MetaSel ('Just "cbblExUnits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ExUnits) :*: S1 ('MetaSel ('Just "cbblRefScriptsSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int))))

Orphan instances

EraBlockBody ConwayEra Source # 
Instance details

Associated Types

type BlockBody ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.BlockBody

type BlockBody ConwayEra = AlonzoBlockBody ConwayEra
type BlockBodyLimits ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.BlockBody

type BlockBodyLimits ConwayEra = ConwayBlockBodyLimits ConwayEra
type ProtocolEraBlockHeader h ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.BlockBody

type ProtocolEraBlockHeader h ConwayEra = PraosEraBlockHeader h ConwayEra

Methods

mkBasicBlockBody ∷ BlockBody ConwayEra Source #

txSeqBlockBodyL ∷ Lens' (BlockBody ConwayEra) (StrictSeq (Tx 'TopTx ConwayEra)) Source #

hashBlockBody ∷ BlockBody ConwayEra → Hash HASH EraIndependentBlockBody Source #

blockBodySize ∷ ProtVer → BlockBody ConwayEra → Int Source #

(DecCBOR (Annotator h), Typeable h) ⇒ DecCBOR (Annotator (Block h ConwayEra)) Source # 
Instance details

Methods

decCBOR ∷ Decoder s (Annotator (Block h ConwayEra)) Source #

dropCBOR ∷ Proxy (Annotator (Block h ConwayEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (Block h ConwayEra)) → Text Source #

(EncCBOR h, Typeable h) ⇒ ToCBOR (Block h ConwayEra) Source # 
Instance details

Methods

toCBOR ∷ Block h ConwayEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Block h ConwayEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Block h ConwayEra] → Size Source #

EncCBOR h ⇒ EncCBOR (Block h ConwayEra) Source # 
Instance details

Methods

encCBOR ∷ Block h ConwayEra → Encoding Source #