| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Babbage.Translation.TranslatableGen
Contents
Documentation
genTx ∷ (TranslatableGen era, Arbitrary (TxAuxData era), AlonzoTxWits era ~ TxWits era) ⇒ Gen (TxBody 'TopTx era) → Gen (AlonzoTx 'TopTx era) Source #
genTxOut ∷ (EraTxOut era, Arbitrary (Value era), Arbitrary (Script era)) ⇒ SupportedLanguage era → Gen (BabbageTxOut era) Source #
utxoWithTx ∷ (EraTx era, Arbitrary (Value era), Arbitrary (Script era), TxOut era ~ BabbageTxOut 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 # | |