cardano-ledger-alonzo-1.10.0.1: Cardano ledger introducing Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Alonzo.Rules.Bbody

Documentation

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

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

(DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody), EraRule "BBODY" era ~ AlonzoBBODY era, InjectRuleFailure "BBODY" AlonzoBbodyPredFailure era, Embed (EraRule "LEDGERS" era) (AlonzoBBODY 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) ⇒ STS (AlonzoBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

Associated Types

type State (AlonzoBBODY era) Source #

type Signal (AlonzoBBODY era) Source #

type Environment (AlonzoBBODY era) Source #

type BaseM (AlonzoBBODY era) ∷ TypeType Source #

type Event (AlonzoBBODY era) Source #

type PredicateFailure (AlonzoBBODY era) Source #

type BaseM (AlonzoBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

type Environment (AlonzoBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

type Event (AlonzoBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

type PredicateFailure (AlonzoBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

type Signal (AlonzoBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

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

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

data AlonzoBbodyPredFailure era Source #

Constructors

ShelleyInAlonzoBbodyPredFailure (ShelleyBbodyPredFailure era) 
TooManyExUnits 

Fields

  • !ExUnits

    Computed Sum of ExUnits for all plutus scripts

  • !ExUnits

    Maximum allowed by protocal parameters

Instances

Instances details
InjectRuleFailure "BBODY" AlonzoBbodyPredFailure (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

Generic (AlonzoBbodyPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

Associated Types

type Rep (AlonzoBbodyPredFailure era) ∷ TypeType Source #

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

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

(Typeable era, DecCBOR (ShelleyBbodyPredFailure era)) ⇒ DecCBOR (AlonzoBbodyPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

(Typeable era, EncCBOR (ShelleyBbodyPredFailure era)) ⇒ EncCBOR (AlonzoBbodyPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

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

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

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

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

type Rep (AlonzoBbodyPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

type Rep (AlonzoBbodyPredFailure era) = D1 ('MetaData "AlonzoBbodyPredFailure" "Cardano.Ledger.Alonzo.Rules.Bbody" "cardano-ledger-alonzo-1.10.0.1-inplace" 'False) (C1 ('MetaCons "ShelleyInAlonzoBbodyPredFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyBbodyPredFailure era))) :+: C1 ('MetaCons "TooManyExUnits" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ExUnits) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ExUnits)))

alonzoBbodyTransition ∷ ∀ era. (STS (EraRule "BBODY" era), Signal (EraRule "BBODY" era) ~ Block (BHeaderView (EraCrypto era)) era, InjectRuleFailure "BBODY" AlonzoBbodyPredFailure era, BaseM (EraRule "BBODY" era) ~ ShelleyBase, State (EraRule "BBODY" era) ~ ShelleyBbodyState era, Environment (EraRule "BBODY" era) ~ BbodyEnv era, Embed (EraRule "LEDGERS" era) (EraRule "BBODY" era), Environment (EraRule "LEDGERS" era) ~ ShelleyLedgersEnv era, State (EraRule "LEDGERS" era) ~ LedgerState era, Signal (EraRule "LEDGERS" era) ~ Seq (Tx era), EraSegWits era, AlonzoEraTxWits era, TxSeq era ~ AlonzoTxSeq era, Tx era ~ AlonzoTx era, AlonzoEraPParams era) ⇒ TransitionRule (EraRule "BBODY" era) Source #

Orphan instances

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

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

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

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

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

InjectRuleFailure "BBODY" ShelleyDelegPredFailure (AlonzoEra c) Source # 
Instance details

InjectRuleFailure "BBODY" ShelleyDelegsPredFailure (AlonzoEra c) Source # 
Instance details

InjectRuleFailure "BBODY" ShelleyDelplPredFailure (AlonzoEra c) Source # 
Instance details

InjectRuleFailure "BBODY" ShelleyLedgerPredFailure (AlonzoEra c) Source # 
Instance details

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

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

InjectRuleFailure "BBODY" ShelleyPpupPredFailure (AlonzoEra c) Source # 
Instance details

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

InjectRuleFailure "BBODY" ShelleyUtxowPredFailure (AlonzoEra 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 (AlonzoBBODY era) Source # 
Instance details

(DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody), EraRule "BBODY" era ~ AlonzoBBODY era, InjectRuleFailure "BBODY" AlonzoBbodyPredFailure era, Embed (EraRule "LEDGERS" era) (AlonzoBBODY 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) ⇒ STS (AlonzoBBODY era) Source # 
Instance details

Associated Types

type State (AlonzoBBODY era) Source #

type Signal (AlonzoBBODY era) Source #

type Environment (AlonzoBBODY era) Source #

type BaseM (AlonzoBBODY era) ∷ TypeType Source #

type Event (AlonzoBBODY era) Source #

type PredicateFailure (AlonzoBBODY era) Source #