| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Alonzo.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
mkAlonzoBasedLedgerExamples ∷ AlonzoEraPParams era ⇒ ApplyTxError era → NewEpochState era → Tx 'TopTx era → TranslationContext era → LedgerExamples era Source #
exampleAlonzoBasedTx ∷ ∀ era (l ∷ TxLevel). (AlonzoEraTx era, EraPlutusTxInfo 'PlutusV1 era, Value era ~ MaryValue, Typeable l) ⇒ Tx l era Source #
exampleAlonzoBasedTopTx ∷ (AlonzoEraTx era, EraPlutusTxInfo 'PlutusV1 era, Value era ~ MaryValue) ⇒ Tx 'TopTx era Source #
exampleAlonzoOnwardsEraPParams ∷ AlonzoEraPParams era ⇒ PParams era Source #
exampleAlonzoPParams ∷ (AlonzoEraPParams era, AtMostEra "Alonzo" era, ExactEra AlonzoEra era) ⇒ PParams era Source #
exampleAlonzoPParamsUpdate ∷ (AlonzoEraPParams era, AtMostEra "Alonzo" era, AtMostEra "Babbage" era, ExactEra AlonzoEra era) ⇒ PParamsUpdate era Source #
addAlonzoToConwayExampleReqSigners ∷ ∀ era (l ∷ TxLevel). (AlonzoEraTxBody era, AtMostEra "Conway" era, EraTx era) ⇒ Tx l era → Tx l era Source #
exampleDatum ∷ Era era ⇒ Data era Source #