| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Conway.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
exampleConwayBasedTx ∷ ∀ era (l ∷ TxLevel). (AlonzoEraTx era, ConwayEraTxBody era, AlonzoEraTxAuxData era, EraPlutusTxInfo 'PlutusV1 era, EraPlutusTxInfo 'PlutusV2 era, EraPlutusTxInfo 'PlutusV3 era, Value era ~ MaryValue, Typeable l) ⇒ Tx l era Source #
exampleConwayBasedTopTx ∷ (AlonzoEraTx era, ConwayEraTxBody era, AlonzoEraTxAuxData era, EraPlutusTxInfo 'PlutusV1 era, EraPlutusTxInfo 'PlutusV2 era, EraPlutusTxInfo 'PlutusV3 era, Value era ~ MaryValue) ⇒ Tx 'TopTx era Source #