| 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
- 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
- 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
Documentation
class AlonzoEraUTxO era ⇒ DijkstraEraUTxO era where Source #
Methods
subTransactionsStAnnTx ∷ StAnnTx 'TopTx era → [StAnnTx 'SubTx era] Source #
plutusLegacyModeStAnnTxG ∷ SimpleGetter (StAnnTx 'TopTx era) Bool 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.
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.