| 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
- 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
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.
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.