Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.xd82dee82026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12

Modulecardano-ledger-dijkstra-0.3.0.0

Cardano.Ledger.Dijkstra.UTxO

1 class
5 values

Packagecardano-ledger-dijkstra-0.3.0.0
Exports6
LicenceApache-2.0

valuebatchNonDistinctRefScriptsSize

:: (EraTx era, DijkstraEraTxBody era)
=> UTxO era
-> Tx TopTx era
-> Int

valuedijkstraConsumed

:: EraUTxO era
=> PParams era
-> UTxO era
-> TxBody l era
-> Value era

valuegetDijkstraScriptsNeeded

:: (DijkstraEraTxBody era, DijkstraEraScript era)
=> UTxO era
-> TxBody l era
-> AlonzoScriptsNeeded era

valuegetDijkstraScriptsProvided

:: (EraTx era, DijkstraEraTxBody era, STxLevel l era ~ STxBothLevels l era)
=> UTxO era
-> Tx l era
-> ScriptsProvided era

valuescriptsProvidedDijkstraStAnnTx

:: (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

classclass AlonzoEraUTxO era => DijkstraEraUTxO era where

Methods

subTransactionsStAnnTx :: StAnnTx TopTx era -> [StAnnTx SubTx era]
plutusLegacyModeStAnnTxG :: SimpleGetter (StAnnTx TopTx era) Bool

Instances1DijkstraEraUTxO

DijkstraEraUTxO DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.UTxO

Orphan instances

2 instances