| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Babbage.Rules.Utxow
Contents
Synopsis
- data BabbageUTXOW era
- data BabbageUtxowPredFailure era
- = AlonzoInBabbageUtxowPredFailure !(AlonzoUtxowPredFailure era)
- | UtxoFailure !(PredicateFailure (EraRule "UTXO" era))
- | MalformedScriptWitnesses !(Set (ScriptHash (EraCrypto era)))
- | MalformedReferenceScripts !(Set (ScriptHash (EraCrypto era)))
- babbageMissingScripts ∷ ∀ era. PParams era → Set (ScriptHash (EraCrypto era)) → Set (ScriptHash (EraCrypto era)) → Set (ScriptHash (EraCrypto era)) → Test (ShelleyUtxowPredFailure era)
- validateFailedBabbageScripts ∷ EraTx era ⇒ Tx era → ScriptsProvided era → Set (ScriptHash (EraCrypto era)) → Test (ShelleyUtxowPredFailure era)
- validateScriptsWellFormed ∷ ∀ era. (EraTx era, BabbageEraTxBody era) ⇒ PParams era → Tx era → Test (BabbageUtxowPredFailure era)
- babbageUtxowTransition ∷ ∀ era. (AlonzoEraTx era, AlonzoEraUTxO era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, BabbageEraTxBody era, Signable (DSIGN (EraCrypto era)) (Hash (HASH (EraCrypto era)) EraIndependentTxBody), Environment (EraRule "UTXOW" era) ~ UtxoEnv era, Signal (EraRule "UTXOW" era) ~ Tx era, State (EraRule "UTXOW" era) ~ UTxOState era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure era, InjectRuleFailure "UTXOW" BabbageUtxowPredFailure era, Embed (EraRule "UTXO" era) (EraRule "UTXOW" era), Environment (EraRule "UTXO" era) ~ UtxoEnv era, Signal (EraRule "UTXO" era) ~ Tx era, State (EraRule "UTXO" era) ~ UTxOState era) ⇒ TransitionRule (EraRule "UTXOW" era)
Documentation
data BabbageUTXOW era Source #
Instances
data BabbageUtxowPredFailure era Source #
Constructors
| AlonzoInBabbageUtxowPredFailure !(AlonzoUtxowPredFailure era) | |
| UtxoFailure !(PredicateFailure (EraRule "UTXO" era)) | Embed UTXO rule failures |
| MalformedScriptWitnesses !(Set (ScriptHash (EraCrypto era))) | the set of malformed script witnesses |
| MalformedReferenceScripts !(Set (ScriptHash (EraCrypto era))) | the set of malformed script witnesses |
Instances
babbageMissingScripts ∷ ∀ era. PParams era → Set (ScriptHash (EraCrypto era)) → Set (ScriptHash (EraCrypto era)) → Set (ScriptHash (EraCrypto era)) → Test (ShelleyUtxowPredFailure era) Source #
validateFailedBabbageScripts ∷ EraTx era ⇒ Tx era → ScriptsProvided era → Set (ScriptHash (EraCrypto era)) → Test (ShelleyUtxowPredFailure era) Source #
validateScriptsWellFormed ∷ ∀ era. (EraTx era, BabbageEraTxBody era) ⇒ PParams era → Tx era → Test (BabbageUtxowPredFailure era) Source #
babbageUtxowTransition ∷ ∀ era. (AlonzoEraTx era, AlonzoEraUTxO era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, BabbageEraTxBody era, Signable (DSIGN (EraCrypto era)) (Hash (HASH (EraCrypto era)) EraIndependentTxBody), Environment (EraRule "UTXOW" era) ~ UtxoEnv era, Signal (EraRule "UTXOW" era) ~ Tx era, State (EraRule "UTXOW" era) ~ UTxOState era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure era, InjectRuleFailure "UTXOW" BabbageUtxowPredFailure era, Embed (EraRule "UTXO" era) (EraRule "UTXOW" era), Environment (EraRule "UTXO" era) ~ UtxoEnv era, Signal (EraRule "UTXO" era) ~ Tx era, State (EraRule "UTXO" era) ~ UTxOState era) ⇒ TransitionRule (EraRule "UTXOW" era) Source #
UTXOW transition rule that is used in Babbage and Conway era.