Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Test.Cardano.Ledger.Babbage.Translation.TranslatableGen
Contents
Documentation
genTx ∷ ∀ era. (TranslatableGen era, Arbitrary (TxAuxData era), Arbitrary (Script era), AlonzoEraScript era, AlonzoTxWits era ~ TxWits era) ⇒ Gen (TxBody era) → Gen (AlonzoTx era) Source #
genTxOut ∷ ∀ era. (EraTxOut era, Arbitrary (Value era), Arbitrary (Script era)) ⇒ Language → Gen (BabbageTxOut era) Source #
utxoWithTx ∷ ∀ era. (EraTx era, Arbitrary (Value era), Arbitrary (Script era), TxOut era ~ BabbageTxOut era) ⇒ Language → Tx era → Gen (UTxO era) Source #
Orphan instances
TranslatableGen BabbageEra Source # | |
Methods tgRedeemers ∷ Gen (Redeemers BabbageEra) Source # tgTx ∷ Language → Gen (Tx BabbageEra) Source # tgUtxo ∷ Language → Tx BabbageEra → Gen (UTxO BabbageEra) Source # mkTxInfoLanguage ∷ Language → TxInfoLanguage BabbageEra Source # |