| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Babbage.Rules.Utxos
Contents
Documentation
data BabbageUTXOS era Source #
Instances
utxosTransition ∷ ∀ era. (AlonzoEraTx era, ShelleyEraTxBody era, BabbageEraTxBody era, AlonzoEraUTxO era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, EraGov era, GovState era ~ ShelleyGovState era, Environment (EraRule "PPUP" era) ~ PpupEnv era, Signal (EraRule "PPUP" era) ~ StrictMaybe (Update era), Embed (EraRule "PPUP" era) (BabbageUTXOS era), State (EraRule "PPUP" era) ~ ShelleyGovState era, Signal (BabbageUTXOS era) ~ Tx era, EncCBOR (EraRuleFailure "PPUP" era), Eq (EraRuleFailure "PPUP" era), Show (EraRuleFailure "PPUP" era), EraPlutusContext era, EraRule "UTXOS" era ~ BabbageUTXOS era, InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure era, InjectRuleEvent "UTXOS" AlonzoUtxosEvent era) ⇒ TransitionRule (BabbageUTXOS era) Source #
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 #