| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Dijkstra.UTxO
Contents
Synopsis
- class AlonzoEraUTxO era ⇒ DijkstraEraUTxO era where
- subTransactionsStAnnTx ∷ StAnnTx 'TopTx era → [StAnnTx 'SubTx era]
- plutusLegacyModeStAnnTxG ∷ SimpleGetter (StAnnTx 'TopTx era) Bool
- scriptsHashesNeededStAnnTx ∷ StAnnTx 'SubTx era → Set ScriptHash
- dijkstraConsumed ∷ ∀ era (l ∷ TxLevel). EraUTxO era ⇒ PParams era → UTxO era → TxBody l era → Value era
- getDijkstraScriptsNeeded ∷ ∀ era (l ∷ TxLevel). (DijkstraEraTxBody era, DijkstraEraScript era) ⇒ UTxO era → TxBody l era → AlonzoScriptsNeeded era
- getDijkstraScriptsProvided ∷ ∀ era (l ∷ TxLevel). (EraTx era, DijkstraEraTxBody era, STxLevel l era ~ STxBothLevels l era) ⇒ UTxO era → Tx l era → ScriptsProvided era
- getDijkstraSupplementalDataHashes ∷ ∀ era (l ∷ TxLevel). (EraTx era, DijkstraEraTxBody era, STxLevel l era ~ STxBothLevels l era) ⇒ UTxO era → TxBody l era → Set DataHash
- getDijkstraMinFeeTxUtxo ∷ ∀ era (l ∷ TxLevel). (EraTx era, DijkstraEraTxBody era, STxLevel l era ~ STxBothLevels l era) ⇒ PParams era → Tx l era → UTxO era → Coin
- scriptsProvidedDijkstraStAnnTx ∷ ∀ era (l ∷ TxLevel). (EraTxLevel era, STxLevel l era ~ STxBothLevels l era, STxLevel 'SubTx era ~ STxBothLevels 'SubTx era, STxLevel 'TopTx era ~ STxBothLevels 'TopTx era) ⇒ DijkstraStAnnTx l era → ScriptsProvided era
- batchNonDistinctRefScriptsSize ∷ (EraTx era, DijkstraEraTxBody era) ⇒ UTxO era → Tx 'TopTx era → Int
- localProducedValue ∷ ∀ era (l ∷ TxLevel). (DijkstraEraTxBody era, Value era ~ MaryValue) ⇒ PParams era → TxBody l era → MaryValue
- poolOwnersWitnessRequired ∷ PState era → StakePoolParams era → Bool
Documentation
class AlonzoEraUTxO era ⇒ DijkstraEraUTxO era where Source #
Methods
subTransactionsStAnnTx ∷ StAnnTx 'TopTx era → [StAnnTx 'SubTx era] Source #
plutusLegacyModeStAnnTxG ∷ SimpleGetter (StAnnTx 'TopTx era) Bool Source #
scriptsHashesNeededStAnnTx ∷ StAnnTx 'SubTx era → Set ScriptHash Source #
Instances
dijkstraConsumed ∷ ∀ era (l ∷ TxLevel). EraUTxO era ⇒ PParams era → UTxO era → TxBody l era → Value era Source #
Unlike shelleyConsumed, this function does not need access to Accounts to produce accurate
information about refunds, hence is this simplification. Note that using shelleyConsumed in
Dijkstra era onwards will produce the same result as this one.
getDijkstraScriptsNeeded ∷ ∀ era (l ∷ TxLevel). (DijkstraEraTxBody era, DijkstraEraScript era) ⇒ UTxO era → TxBody l era → AlonzoScriptsNeeded era Source #
getDijkstraScriptsProvided ∷ ∀ era (l ∷ TxLevel). (EraTx era, DijkstraEraTxBody era, STxLevel l era ~ STxBothLevels l era) ⇒ UTxO era → Tx l era → ScriptsProvided era Source #
Like getBabbageScriptsProvided, but for TopTx also aggregates
scripts from all subtransactions.
getDijkstraSupplementalDataHashes ∷ ∀ era (l ∷ TxLevel). (EraTx era, DijkstraEraTxBody era, STxLevel l era ~ STxBothLevels l era) ⇒ UTxO era → TxBody l era → Set DataHash Source #
getDijkstraMinFeeTxUtxo ∷ ∀ era (l ∷ TxLevel). (EraTx era, DijkstraEraTxBody era, STxLevel l era ~ STxBothLevels l era) ⇒ PParams era → Tx l era → UTxO era → Coin Source #
Minimum fee calculation for a transaction.
For a top-level transaction the fee covers the entire batch, including the size, execution units and reference scripts of every sub-transaction.
scriptsProvidedDijkstraStAnnTx ∷ ∀ era (l ∷ TxLevel). (EraTxLevel era, STxLevel l era ~ STxBothLevels l era, STxLevel 'SubTx era ~ STxBothLevels 'SubTx era, STxLevel 'TopTx era ~ STxBothLevels 'TopTx era) ⇒ DijkstraStAnnTx l era → ScriptsProvided era Source #
batchNonDistinctRefScriptsSize ∷ (EraTx era, DijkstraEraTxBody era) ⇒ UTxO era → Tx 'TopTx era → Int Source #
Total size of reference scripts across a top-level transaction and all its subtransactions.
localProducedValue ∷ ∀ era (l ∷ TxLevel). (DijkstraEraTxBody era, Value era ~ MaryValue) ⇒ PParams era → TxBody l era → MaryValue Source #
Produced value that is local to a single transaction body, that is, the part that can be summed independently for each body in a batch. Excludes fees and certificate deposits, which are accounted for once per batch.
poolOwnersWitnessRequired ∷ PState era → StakePoolParams era → Bool Source #
The pool owners are required to witness a transaction, unless the certificate is re-registering an already registered pool and matches the latest params (that includes future updates that are signed and pending) for everything except the BLS key. That is, the owners are not required to sign if only the BLS key is being updated. Note: this predicate will also exempt owners from signing either (a) re-registrations where all params match since they are no-op, and (b) unretiring a pool