| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Babbage.Translation.TranslatableGen
Contents
Documentation
genTx ∷ (TranslatableGen era, AlonzoEraTx era, Arbitrary (TxAuxData era), AlonzoTxWits era ~ TxWits era) ⇒ Gen (TxBody 'TopTx era) → Gen (Tx 'TopTx era) Source #
genTxOut ∷ (BabbageEraTxOut era, Arbitrary (Value era), Arbitrary (Script era)) ⇒ SupportedLanguage era → Gen (TxOut era) Source #
utxoWithTx ∷ (EraTx era, BabbageEraTxOut era, Arbitrary (Value era), Arbitrary (Script era)) ⇒ SupportedLanguage era → Tx 'TopTx era → Gen (UTxO era) Source #
Orphan instances
| TranslatableGen BabbageEra Source # | |
Methods tgRedeemers ∷ Gen (Redeemers BabbageEra) Source # tgTx ∷ SupportedLanguage BabbageEra → Gen (Tx 'TopTx BabbageEra) Source # tgUtxo ∷ SupportedLanguage BabbageEra → Tx 'TopTx BabbageEra → Gen (UTxO BabbageEra) Source # | |