| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Dijkstra.UTxO
Contents
Synopsis
- class AlonzoEraUTxO era ⇒ DijkstraEraUTxO era where
- subTransactionsStAnnTx ∷ StAnnTx 'TopTx era → [StAnnTx 'SubTx 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 #
Instances
| DijkstraEraUTxO DijkstraEra Source # | |
Defined in Cardano.Ledger.Dijkstra.UTxO Methods subTransactionsStAnnTx ∷ StAnnTx 'TopTx DijkstraEra → [StAnnTx 'SubTx DijkstraEra] Source # | |
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.