| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Generic.Functions
Description
Functions in this module take a (Proof era) as their first parameter and do something potentially different in each Era.
Synopsis
- depositsAndRefunds ∷ (EraAccounts era, EraPParams era, ShelleyEraTxCert era) ⇒ PParams era → [TxCert era] → Accounts era → Coin
- scriptWitsNeeded' ∷ Proof era → MUtxo era → TxBody 'TopTx era → Set ScriptHash
- scriptsNeeded' ∷ EraUTxO era ⇒ MUtxo era → TxBody 'TopTx era → Set ScriptHash
- txInBalance ∷ EraTxOut era ⇒ Set TxIn → MUtxo era → Coin
- injectFee ∷ EraTxOut era ⇒ Coin → TxOut era → TxOut era
- getTxOutRefScript ∷ Proof era → TxOut era → StrictMaybe (Script era)
- emptyPPUPstate ∷ Proof era → ShelleyGovState era
- maxRefInputs ∷ Proof era → Int
- isValid' ∷ Proof era → Tx 'TopTx era → IsPhase2Valid
- txoutEvidence ∷ Proof era → TxOut era → ([Credential 'Payment], Maybe DataHash)
- addrCredentials ∷ Addr → [Credential 'Payment]
- paymentCredAddr ∷ Addr → Maybe (Credential 'Payment)
- stakeCredAddr ∷ Addr → Maybe (Credential 'Staking)
- getBody ∷ EraTx era ⇒ Proof era → Tx 'TopTx era → TxBody 'TopTx era
- getCollateralInputs ∷ Proof era → TxBody 'TopTx era → Set TxIn
- getCollateralOutputs ∷ Proof era → TxBody 'TopTx era → [TxOut era]
- alwaysSucceedsLang' ∷ EraPlutusContext era ⇒ Language → Natural → Script era
- alwaysFailsLang' ∷ EraPlutusContext era ⇒ Language → Natural → Script era
- alwaysTrue ∷ EraPlutusContext era ⇒ Maybe Language → Natural → Script era
- alwaysFalse ∷ EraPlutusContext era ⇒ Maybe Language → Natural → Script era
- certs ∷ (ShelleyEraTxBody era, EraTx era) ⇒ Proof era → Tx 'TopTx era → [TxCert era]
- createRUpdNonPulsing' ∷ (EraPParams era, EraAccounts era) ⇒ Model era → RewardUpdateOld
- languagesUsed ∷ Proof era → Tx 'TopTx era → UTxO era → Set ScriptHash → Set Language
- languages ∷ (EraUTxO era, AlonzoEraScript era) ⇒ Tx 'TopTx era → UTxO era → Set ScriptHash → Set Language
- class TotalAda t where
- govStateTotalAda ∷ Reflect era ⇒ GovState era → Coin
- certStateTotalAda ∷ Reflect era ⇒ CertState era → Coin
- adaPots ∷ Proof era → EpochState era → AdaPots
Documentation
depositsAndRefunds ∷ (EraAccounts era, EraPParams era, ShelleyEraTxCert era) ⇒ PParams era → [TxCert era] → Accounts era → Coin Source #
Positive numbers are "deposits owed", negative amounts are "refunds gained"
scriptWitsNeeded' ∷ Proof era → MUtxo era → TxBody 'TopTx era → Set ScriptHash Source #
Compute the set of ScriptHashes for which there should be ScriptWitnesses. In Babbage Era and later, where inline Scripts are allowed, they should not appear in this set.
scriptsNeeded' ∷ EraUTxO era ⇒ MUtxo era → TxBody 'TopTx era → Set ScriptHash Source #
getTxOutRefScript ∷ Proof era → TxOut era → StrictMaybe (Script era) Source #
emptyPPUPstate ∷ Proof era → ShelleyGovState era Source #
maxRefInputs ∷ Proof era → Int Source #
txoutEvidence ∷ Proof era → TxOut era → ([Credential 'Payment], Maybe DataHash) Source #
Does the TxOut have evidence of credentials and data. Evidence of data is either ScriptHash or (in Babbage) an inline Datum Evidence of credentials can come from the Addr
addrCredentials ∷ Addr → [Credential 'Payment] Source #
paymentCredAddr ∷ Addr → Maybe (Credential 'Payment) Source #
stakeCredAddr ∷ Addr → Maybe (Credential 'Staking) Source #
alwaysSucceedsLang' ∷ EraPlutusContext era ⇒ Language → Natural → Script era Source #
alwaysFailsLang' ∷ EraPlutusContext era ⇒ Language → Natural → Script era Source #
alwaysTrue ∷ EraPlutusContext era ⇒ Maybe Language → Natural → Script era Source #
alwaysFalse ∷ EraPlutusContext era ⇒ Maybe Language → Natural → Script era Source #
createRUpdNonPulsing' ∷ (EraPParams era, EraAccounts era) ⇒ Model era → RewardUpdateOld Source #
Create an old style RewardUpdate to be used in tests, in any Era.
languages ∷ (EraUTxO era, AlonzoEraScript era) ⇒ Tx 'TopTx era → UTxO era → Set ScriptHash → Set Language Source #
Compute the Set of Languages in an era, where AlonzoScripts are used
class TotalAda t where Source #
Compute the total Ada from Ada pots within t