| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Dijkstra.Examples
Description
The example transactions in this module are not valid transactions. We don't care, we are only interested in serialisation, not validation.
Documentation
exampleDijkstraBasedTopTx ∷ (AlonzoEraTx era, DijkstraEraTxBody era, Value era ~ MaryValue, DijkstraEraScript era, EraPlutusTxInfo 'PlutusV1 era, EraPlutusTxInfo 'PlutusV2 era, EraPlutusTxInfo 'PlutusV3 era, EraPlutusTxInfo 'PlutusV4 era, AlonzoEraTxAuxData era) ⇒ Tx 'TopTx era Source #
exampleDijkstraBasedSubTx ∷ (AlonzoEraTx era, DijkstraEraTxBody era, Value era ~ MaryValue, DijkstraEraScript era, EraPlutusTxInfo 'PlutusV1 era, EraPlutusTxInfo 'PlutusV2 era, EraPlutusTxInfo 'PlutusV3 era, EraPlutusTxInfo 'PlutusV4 era, AlonzoEraTxAuxData era) ⇒ Tx 'SubTx era Source #