Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Alonzo.Rules.Bbody

Contents

Orphan instances

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 Methods wrapFailed ∷ PredicateFailure ledgers → PredicateFailure (AlonzoBBODY era) Source # wrapEvent ∷ Event ledgers → Event (AlonzoBBODY era) Source #
(DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody), 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) ∷ Type → Type Source # type Event (AlonzoBBODY era) Source # type PredicateFailure (AlonzoBBODY era) Source # Methods initialRules ∷ [InitialRule (AlonzoBBODY era)] Source # transitionRules ∷ [TransitionRule (AlonzoBBODY era)] Source # assertions ∷ [Assertion (AlonzoBBODY era)] Source # renderAssertionViolation ∷ AssertionViolation (AlonzoBBODY era) → String Source #
type BaseM (AlonzoBBODY era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody type BaseM (AlonzoBBODY era) = ShelleyBase
type Environment (AlonzoBBODY era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody type Environment (AlonzoBBODY era) = BbodyEnv era
type Event (AlonzoBBODY era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody type Event (AlonzoBBODY era) = AlonzoBbodyEvent era
type PredicateFailure (AlonzoBBODY era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody type PredicateFailure (AlonzoBBODY era) = AlonzoBbodyPredFailure era
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 type State (AlonzoBBODY era) = ShelleyBbodyState era

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 Methods injectFailure ∷ AlonzoBbodyPredFailure (AlonzoEra c) → EraRuleFailure "BBODY" (AlonzoEra c) Source #
Generic (AlonzoBbodyPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Associated Types type Rep (AlonzoBbodyPredFailure era) ∷ Type → Type Source # Methods from ∷ AlonzoBbodyPredFailure era → Rep (AlonzoBbodyPredFailure era) x Source # to ∷ Rep (AlonzoBbodyPredFailure era) x → AlonzoBbodyPredFailure era Source #
(Era era, Show (PredicateFailure (EraRule "LEDGERS" era))) ⇒ Show (AlonzoBbodyPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods showsPrec ∷ Int → AlonzoBbodyPredFailure era → ShowS Source # show ∷ AlonzoBbodyPredFailure era → String Source # showList ∷ [AlonzoBbodyPredFailure era] → ShowS Source #
(Typeable era, DecCBOR (ShelleyBbodyPredFailure era)) ⇒ DecCBOR (AlonzoBbodyPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods decCBOR ∷ Decoder s (AlonzoBbodyPredFailure era) Source # dropCBOR ∷ Proxy (AlonzoBbodyPredFailure era) → Decoder s () Source # label ∷ Proxy (AlonzoBbodyPredFailure era) → Text Source #
(Typeable era, EncCBOR (ShelleyBbodyPredFailure era)) ⇒ EncCBOR (AlonzoBbodyPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods encCBOR ∷ AlonzoBbodyPredFailure era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoBbodyPredFailure era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoBbodyPredFailure era] → Size Source #
(Era era, Eq (PredicateFailure (EraRule "LEDGERS" era))) ⇒ Eq (AlonzoBbodyPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods (==) ∷ AlonzoBbodyPredFailure era → AlonzoBbodyPredFailure era → Bool Source # (/=) ∷ AlonzoBbodyPredFailure era → AlonzoBbodyPredFailure era → Bool Source #
(Era era, NoThunks (PredicateFailure (EraRule "LEDGERS" era))) ⇒ NoThunks (AlonzoBbodyPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods noThunks ∷ Context → AlonzoBbodyPredFailure era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AlonzoBbodyPredFailure era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (AlonzoBbodyPredFailure era) → String Source #
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.8.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyInAlonzoBbodyPredFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyBbodyPredFailure era))) :+: C1 ('MetaCons "TooManyExUnits" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ExUnits) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ExUnits)))

newtype AlonzoBbodyEvent era Source #

Constructors

ShelleyInAlonzoEvent (ShelleyBbodyEvent era)

bbodyTransition ∷ ∀ (someBBODY ∷ Type → Type) era. (STS (someBBODY era), Signal (someBBODY era) ~ Block (BHeaderView (EraCrypto era)) era, PredicateFailure (someBBODY era) ~ AlonzoBbodyPredFailure era, BaseM (someBBODY era) ~ ShelleyBase, State (someBBODY era) ~ ShelleyBbodyState era, Environment (someBBODY era) ~ BbodyEnv era, Embed (EraRule "LEDGERS" era) (someBBODY 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 (someBBODY era) Source #

Orphan instances

InjectRuleFailure "BBODY" AllegraUtxoPredFailure (AlonzoEra c) Source #
Instance details Methods injectFailure ∷ AllegraUtxoPredFailure (AlonzoEra c) → EraRuleFailure "BBODY" (AlonzoEra c) Source #
InjectRuleFailure "BBODY" AlonzoUtxoPredFailure (AlonzoEra c) Source #
Instance details Methods injectFailure ∷ AlonzoUtxoPredFailure (AlonzoEra c) → EraRuleFailure "BBODY" (AlonzoEra c) Source #
InjectRuleFailure "BBODY" AlonzoUtxosPredFailure (AlonzoEra c) Source #
Instance details Methods injectFailure ∷ AlonzoUtxosPredFailure (AlonzoEra c) → EraRuleFailure "BBODY" (AlonzoEra c) Source #
InjectRuleFailure "BBODY" AlonzoUtxowPredFailure (AlonzoEra c) Source #
Instance details Methods injectFailure ∷ AlonzoUtxowPredFailure (AlonzoEra c) → EraRuleFailure "BBODY" (AlonzoEra c) Source #
InjectRuleFailure "BBODY" ShelleyBbodyPredFailure (AlonzoEra c) Source #
Instance details Methods injectFailure ∷ ShelleyBbodyPredFailure (AlonzoEra c) → EraRuleFailure "BBODY" (AlonzoEra c) Source #
InjectRuleFailure "BBODY" ShelleyDelegPredFailure (AlonzoEra c) Source #
Instance details Methods injectFailure ∷ ShelleyDelegPredFailure (AlonzoEra c) → EraRuleFailure "BBODY" (AlonzoEra c) Source #
InjectRuleFailure "BBODY" ShelleyDelegsPredFailure (AlonzoEra c) Source #
Instance details Methods injectFailure ∷ ShelleyDelegsPredFailure (AlonzoEra c) → EraRuleFailure "BBODY" (AlonzoEra c) Source #
InjectRuleFailure "BBODY" ShelleyDelplPredFailure (AlonzoEra c) Source #
Instance details Methods injectFailure ∷ ShelleyDelplPredFailure (AlonzoEra c) → EraRuleFailure "BBODY" (AlonzoEra c) Source #
InjectRuleFailure "BBODY" ShelleyLedgerPredFailure (AlonzoEra c) Source #
Instance details Methods injectFailure ∷ ShelleyLedgerPredFailure (AlonzoEra c) → EraRuleFailure "BBODY" (AlonzoEra c) Source #
InjectRuleFailure "BBODY" ShelleyLedgersPredFailure (AlonzoEra c) Source #
Instance details Methods injectFailure ∷ ShelleyLedgersPredFailure (AlonzoEra c) → EraRuleFailure "BBODY" (AlonzoEra c) Source #
InjectRuleFailure "BBODY" ShelleyPoolPredFailure (AlonzoEra c) Source #
Instance details Methods injectFailure ∷ ShelleyPoolPredFailure (AlonzoEra c) → EraRuleFailure "BBODY" (AlonzoEra c) Source #
InjectRuleFailure "BBODY" ShelleyPpupPredFailure (AlonzoEra c) Source #
Instance details Methods injectFailure ∷ ShelleyPpupPredFailure (AlonzoEra c) → EraRuleFailure "BBODY" (AlonzoEra c) Source #
InjectRuleFailure "BBODY" ShelleyUtxoPredFailure (AlonzoEra c) Source #
Instance details Methods injectFailure ∷ ShelleyUtxoPredFailure (AlonzoEra c) → EraRuleFailure "BBODY" (AlonzoEra c) Source #
InjectRuleFailure "BBODY" ShelleyUtxowPredFailure (AlonzoEra c) Source #
Instance details Methods injectFailure ∷ ShelleyUtxowPredFailure (AlonzoEra c) → EraRuleFailure "BBODY" (AlonzoEra c) Source #
(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 Methods wrapFailed ∷ PredicateFailure ledgers → PredicateFailure (AlonzoBBODY era) Source # wrapEvent ∷ Event ledgers → Event (AlonzoBBODY era) Source #
(DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody), 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) ∷ Type → Type Source # type Event (AlonzoBBODY era) Source # type PredicateFailure (AlonzoBBODY era) Source # Methods initialRules ∷ [InitialRule (AlonzoBBODY era)] Source # transitionRules ∷ [TransitionRule (AlonzoBBODY era)] Source # assertions ∷ [Assertion (AlonzoBBODY era)] Source # renderAssertionViolation ∷ AssertionViolation (AlonzoBBODY era) → String Source #