cardano-ledger-conway-1.16.0.1: Cardano ledger with an updated on-chain governance system.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Conway.Rules.Bbody

Synopsis

Documentation

data ConwayBBODY era Source #

Instances

Instances details
(Era era, BaseM ledgers ~ ShelleyBase, ledgers ~ EraRule "LEDGERS" era, STS ledgers, DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody), Era era) ⇒ Embed ledgers (ConwayBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

(DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody), Embed (EraRule "LEDGERS" era) (EraRule "BBODY" era), Environment (EraRule "LEDGERS" era) ~ ShelleyLedgersEnv era, State (EraRule "LEDGERS" era) ~ LedgerState era, Signal (EraRule "LEDGERS" era) ~ Seq (AlonzoTx era), AlonzoEraTxWits era, Tx era ~ AlonzoTx era, TxSeq era ~ AlonzoTxSeq era, Tx era ~ AlonzoTx era, EraSegWits era, AlonzoEraPParams era, InjectRuleFailure "BBODY" AlonzoBbodyPredFailure era, InjectRuleFailure "BBODY" ConwayBbodyPredFailure era, EraRule "BBODY" era ~ ConwayBBODY era, EraTx era, BabbageEraTxBody era) ⇒ STS (ConwayBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

Associated Types

type State (ConwayBBODY era) Source #

type Signal (ConwayBBODY era) Source #

type Environment (ConwayBBODY era) Source #

type BaseM (ConwayBBODY era) ∷ TypeType Source #

type Event (ConwayBBODY era) Source #

type PredicateFailure (ConwayBBODY era) Source #

type BaseM (ConwayBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

type Environment (ConwayBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

type Event (ConwayBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

type PredicateFailure (ConwayBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

type Signal (ConwayBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

type Signal (ConwayBBODY era) = Block (BHeaderView (EraCrypto era)) era
type State (ConwayBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

data ConwayBbodyPredFailure era Source #

Constructors

WrongBlockBodySizeBBODY 

Fields

  • !Int

    Actual Body Size

  • !Int

    Claimed Body Size in Header

InvalidBodyHashBBODY 

Fields

LedgersFailure !(PredicateFailure (EraRule "LEDGERS" era))

LEDGERS rule subtransition Failures

TooManyExUnits 

Fields

  • !ExUnits

    Computed Sum of ExUnits for all plutus scripts

  • !ExUnits

    Maximum allowed by protocal parameters

BodyRefScriptsSizeTooBig 

Fields

  • Int

    Computed sum of reference script size

  • Int

    Maximum allowed total reference script size

Instances

Instances details
InjectRuleFailure "BBODY" ConwayBbodyPredFailure (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

Generic (ConwayBbodyPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

Associated Types

type Rep (ConwayBbodyPredFailure era) ∷ TypeType Source #

(Era era, Show (PredicateFailure (EraRule "LEDGERS" era))) ⇒ Show (ConwayBbodyPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

(Era era, DecCBOR (PredicateFailure (EraRule "LEDGERS" era))) ⇒ DecCBOR (ConwayBbodyPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

(Era era, EncCBOR (PredicateFailure (EraRule "LEDGERS" era))) ⇒ EncCBOR (ConwayBbodyPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

(Era era, Eq (PredicateFailure (EraRule "LEDGERS" era))) ⇒ Eq (ConwayBbodyPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

(Era era, NoThunks (PredicateFailure (EraRule "LEDGERS" era))) ⇒ NoThunks (ConwayBbodyPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

type Rep (ConwayBbodyPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

type Rep (ConwayBbodyPredFailure era) = D1 ('MetaData "ConwayBbodyPredFailure" "Cardano.Ledger.Conway.Rules.Bbody" "cardano-ledger-conway-1.16.0.1-inplace" 'False) ((C1 ('MetaCons "WrongBlockBodySizeBBODY" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int)) :+: C1 ('MetaCons "InvalidBodyHashBBODY" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash (EraCrypto era) EraIndependentBlockBody)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash (EraCrypto era) EraIndependentBlockBody)))) :+: (C1 ('MetaCons "LedgersFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PredicateFailure (EraRule "LEDGERS" era)))) :+: (C1 ('MetaCons "TooManyExUnits" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ExUnits) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ExUnits)) :+: C1 ('MetaCons "BodyRefScriptsSizeTooBig" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))))

maxRefScriptSizePerBlockInt Source #

In the next era this will become a proper protocol parameter. For now this is a hard coded limit on the total number of bytes of all reference scripts combined from all transactions within a block.

Orphan instances

InjectRuleFailure "BBODY" AllegraUtxoPredFailure (ConwayEra c) Source # 
Instance details

InjectRuleFailure "BBODY" AlonzoBbodyPredFailure (ConwayEra c) Source # 
Instance details

InjectRuleFailure "BBODY" AlonzoUtxoPredFailure (ConwayEra c) Source # 
Instance details

InjectRuleFailure "BBODY" AlonzoUtxosPredFailure (ConwayEra c) Source # 
Instance details

InjectRuleFailure "BBODY" AlonzoUtxowPredFailure (ConwayEra c) Source # 
Instance details

InjectRuleFailure "BBODY" BabbageUtxoPredFailure (ConwayEra c) Source # 
Instance details

InjectRuleFailure "BBODY" BabbageUtxowPredFailure (ConwayEra c) Source # 
Instance details

InjectRuleFailure "BBODY" ConwayCertPredFailure (ConwayEra c) Source # 
Instance details

InjectRuleFailure "BBODY" ConwayCertsPredFailure (ConwayEra c) Source # 
Instance details

InjectRuleFailure "BBODY" ConwayDelegPredFailure (ConwayEra c) Source # 
Instance details

InjectRuleFailure "BBODY" ConwayGovPredFailure (ConwayEra c) Source # 
Instance details

InjectRuleFailure "BBODY" ConwayGovCertPredFailure (ConwayEra c) Source # 
Instance details

InjectRuleFailure "BBODY" ConwayLedgerPredFailure (ConwayEra c) Source # 
Instance details

InjectRuleFailure "BBODY" ConwayUtxoPredFailure (ConwayEra c) Source # 
Instance details

InjectRuleFailure "BBODY" ConwayUtxosPredFailure (ConwayEra c) Source # 
Instance details

InjectRuleFailure "BBODY" ConwayUtxowPredFailure (ConwayEra c) Source # 
Instance details

InjectRuleFailure "BBODY" ShelleyBbodyPredFailure (ConwayEra c) Source # 
Instance details

InjectRuleFailure "BBODY" ShelleyLedgersPredFailure (ConwayEra c) Source # 
Instance details

InjectRuleFailure "BBODY" ShelleyPoolPredFailure (ConwayEra c) Source # 
Instance details

InjectRuleFailure "BBODY" ShelleyUtxoPredFailure (ConwayEra c) Source # 
Instance details

InjectRuleFailure "BBODY" ShelleyUtxowPredFailure (ConwayEra c) Source # 
Instance details

(Era era, BaseM ledgers ~ ShelleyBase, ledgers ~ EraRule "LEDGERS" era, STS ledgers, DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody), Era era) ⇒ Embed ledgers (ConwayBBODY era) Source # 
Instance details

(DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody), Embed (EraRule "LEDGERS" era) (EraRule "BBODY" era), Environment (EraRule "LEDGERS" era) ~ ShelleyLedgersEnv era, State (EraRule "LEDGERS" era) ~ LedgerState era, Signal (EraRule "LEDGERS" era) ~ Seq (AlonzoTx era), AlonzoEraTxWits era, Tx era ~ AlonzoTx era, TxSeq era ~ AlonzoTxSeq era, Tx era ~ AlonzoTx era, EraSegWits era, AlonzoEraPParams era, InjectRuleFailure "BBODY" AlonzoBbodyPredFailure era, InjectRuleFailure "BBODY" ConwayBbodyPredFailure era, EraRule "BBODY" era ~ ConwayBBODY era, EraTx era, BabbageEraTxBody era) ⇒ STS (ConwayBBODY era) Source # 
Instance details

Associated Types

type State (ConwayBBODY era) Source #

type Signal (ConwayBBODY era) Source #

type Environment (ConwayBBODY era) Source #

type BaseM (ConwayBBODY era) ∷ TypeType Source #

type Event (ConwayBBODY era) Source #

type PredicateFailure (ConwayBBODY era) Source #