| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Dijkstra.UTxO
Contents
Synopsis
- 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
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.