cardano-ledger-dijkstra-0.2.0.0: Cardano ledger with nested transactions
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Dijkstra.UTxO

Documentation

getDijkstraScriptsNeeded ∷ ∀ era (l ∷ TxLevel). (DijkstraEraTxBody era, DijkstraEraScript era) ⇒ UTxO era → TxBody l era → AlonzoScriptsNeeded era Source #

Orphan instances

AlonzoEraUTxO DijkstraEra Source # 
Instance details

Methods

getSupplementalDataHashes ∷ ∀ (l ∷ TxLevel). UTxO DijkstraEra → TxBody l DijkstraEra → Set DataHash Source #

getSpendingDatum ∷ ∀ (l ∷ TxLevel). UTxO DijkstraEra → Tx l DijkstraEra → PlutusPurpose AsItem DijkstraEra → Maybe (Data DijkstraEra) Source #

EraUTxO DijkstraEra Source # 
Instance details

Associated Types

type ScriptsNeeded DijkstraEra 
Instance details

Defined in Cardano.Ledger.Dijkstra.UTxO

type ScriptsNeeded DijkstraEra = AlonzoScriptsNeeded DijkstraEra

Methods

consumed ∷ ∀ (t ∷ TxLevel). PParams DijkstraEra → CertState DijkstraEra → UTxO DijkstraEra → TxBody t DijkstraEra → Value DijkstraEra Source #

getConsumedValue ∷ ∀ (t ∷ TxLevel). PParams DijkstraEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → UTxO DijkstraEra → TxBody t DijkstraEra → Value DijkstraEra Source #

getProducedValue ∷ ∀ (t ∷ TxLevel). PParams DijkstraEra → (KeyHash 'StakePool → Bool) → TxBody t DijkstraEra → Value DijkstraEra Source #

getScriptsProvided ∷ ∀ (t ∷ TxLevel). UTxO DijkstraEra → Tx t DijkstraEra → ScriptsProvided DijkstraEra Source #

getScriptsNeeded ∷ ∀ (t ∷ TxLevel). UTxO DijkstraEra → TxBody t DijkstraEra → ScriptsNeeded DijkstraEra Source #

getScriptsHashesNeeded ∷ ScriptsNeeded DijkstraEra → Set ScriptHash Source #

getWitsVKeyNeeded ∷ ∀ (t ∷ TxLevel). CertState DijkstraEra → UTxO DijkstraEra → TxBody t DijkstraEra → Set (KeyHash 'Witness) Source #

getMinFeeTxUtxo ∷ ∀ (t ∷ TxLevel). PParams DijkstraEra → Tx t DijkstraEra → UTxO DijkstraEra → Coin Source #