| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Dijkstra.Examples
Synopsis
- ledgerExamples ∷ LedgerExamples DijkstraEra
- mkDijkstraBasedExampleTx ∷ (AlonzoEraTx era, AlonzoEraTxAuxData era, EraPlutusTxInfo 'PlutusV1 era, EraPlutusTxInfo 'PlutusV2 era, EraPlutusTxInfo 'PlutusV3 era, EraPlutusTxInfo 'PlutusV4 era) ⇒ TxBody 'TopTx era → PlutusPurpose AsIx era → Tx 'TopTx era
- mkDijkstraBasedExampleTxBody ∷ (DijkstraEraTxBody era, EraTx era, Value era ~ MaryValue, EraPlutusTxInfo 'PlutusV4 era) ⇒ TxBody 'TopTx era → TxBody 'TopTx era
Documentation
mkDijkstraBasedExampleTx ∷ (AlonzoEraTx era, AlonzoEraTxAuxData era, EraPlutusTxInfo 'PlutusV1 era, EraPlutusTxInfo 'PlutusV2 era, EraPlutusTxInfo 'PlutusV3 era, EraPlutusTxInfo 'PlutusV4 era) ⇒ TxBody 'TopTx era → PlutusPurpose AsIx era → Tx 'TopTx era Source #
Reusable Tx builder for Dijkstra onwards with PlutusV4 script witness.
mkDijkstraBasedExampleTxBody ∷ (DijkstraEraTxBody era, EraTx era, Value era ~ MaryValue, EraPlutusTxInfo 'PlutusV4 era) ⇒ TxBody 'TopTx era → TxBody 'TopTx era Source #