cardano-ledger-babbage-1.8.2.1: Cardano ledger introducing refrence scripts and inline datums
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Babbage.Rules.Utxos

Documentation

data BabbageUTXOS era Source #

Instances

Instances details
(AlonzoEraTx era, AlonzoEraPParams era, ShelleyEraTxBody era, BabbageEraTxBody era, AlonzoEraUTxO era, EraPlutusContext era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, EraGov era, GovState era ~ ShelleyGovState era, Embed (EraRule "PPUP" era) (BabbageUTXOS era), Environment (EraRule "PPUP" era) ~ PpupEnv era, Signal (EraRule "PPUP" era) ~ StrictMaybe (Update era), State (EraRule "PPUP" era) ~ ShelleyGovState era, Signal (BabbageUTXOS era) ~ Tx era, EncCBOR (EraRuleFailure "PPUP" era), Eq (EraRuleFailure "PPUP" era), Show (EraRuleFailure "PPUP" era), InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure era, InjectRuleEvent "UTXOS" AlonzoUtxosEvent era, EraRule "UTXOS" era ~ BabbageUTXOS era) ⇒ STS (BabbageUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxos

(Era era, STS (BabbageUTXOS era), PredicateFailure (EraRule "UTXOS" era) ~ AlonzoUtxosPredFailure era, Event (EraRule "UTXOS" era) ~ Event (BabbageUTXOS era)) ⇒ Embed (BabbageUTXOS era) (BabbageUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxo

(Era era, STS (ShelleyPPUP era), EraRuleFailure "PPUP" era ~ ShelleyPpupPredFailure era, EraRuleEvent "PPUP" era ~ PpupEvent era) ⇒ Embed (ShelleyPPUP era) (BabbageUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxos

type BaseM (BabbageUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxos

type Environment (BabbageUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxos

type Event (BabbageUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxos

type PredicateFailure (BabbageUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxos

type Signal (BabbageUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxos

type Signal (BabbageUTXOS era) = AlonzoTx era
type State (BabbageUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxos

type State (BabbageUTXOS era) = UTxOState era

expectScriptsToPass ∷ ∀ era. (AlonzoEraTx era, EraPlutusContext era, AlonzoEraUTxO era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, STS (EraRule "UTXOS" era), InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure era, BaseM (EraRule "UTXOS" era) ~ ShelleyBase, InjectRuleEvent "UTXOS" AlonzoUtxosEvent era) ⇒ PParams era → Tx era → UTxO era → Rule (EraRule "UTXOS" era) 'Transition () Source #

babbageEvalScriptsTxInvalid ∷ ∀ era. (AlonzoEraTx era, BabbageEraTxBody era, EraPlutusContext era, AlonzoEraUTxO era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, STS (EraRule "UTXOS" era), Environment (EraRule "UTXOS" era) ~ UtxoEnv era, Signal (EraRule "UTXOS" era) ~ Tx era, State (EraRule "UTXOS" era) ~ UTxOState era, BaseM (EraRule "UTXOS" era) ~ ShelleyBase, InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure era, InjectRuleEvent "UTXOS" AlonzoUtxosEvent era) ⇒ TransitionRule (EraRule "UTXOS" era) Source #

Orphan instances

InjectRuleEvent "UTXOS" AlonzoUtxosEvent (BabbageEra c) Source # 
Instance details

InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure (BabbageEra c) Source # 
Instance details

InjectRuleFailure "UTXOS" ShelleyPpupPredFailure (BabbageEra c) Source # 
Instance details

(AlonzoEraTx era, AlonzoEraPParams era, ShelleyEraTxBody era, BabbageEraTxBody era, AlonzoEraUTxO era, EraPlutusContext era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, EraGov era, GovState era ~ ShelleyGovState era, Embed (EraRule "PPUP" era) (BabbageUTXOS era), Environment (EraRule "PPUP" era) ~ PpupEnv era, Signal (EraRule "PPUP" era) ~ StrictMaybe (Update era), State (EraRule "PPUP" era) ~ ShelleyGovState era, Signal (BabbageUTXOS era) ~ Tx era, EncCBOR (EraRuleFailure "PPUP" era), Eq (EraRuleFailure "PPUP" era), Show (EraRuleFailure "PPUP" era), InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure era, InjectRuleEvent "UTXOS" AlonzoUtxosEvent era, EraRule "UTXOS" era ~ BabbageUTXOS era) ⇒ STS (BabbageUTXOS era) Source # 
Instance details

(Era era, STS (ShelleyPPUP era), EraRuleFailure "PPUP" era ~ ShelleyPpupPredFailure era, EraRuleEvent "PPUP" era ~ PpupEvent era) ⇒ Embed (ShelleyPPUP era) (BabbageUTXOS era) Source # 
Instance details