cardano-ledger-alonzo-1.14.0.0: Cardano ledger introducing Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Alonzo.Translation.TranslatableGen

Documentation

class (EraTx era, EraPlutusContext era, Arbitrary (Script era)) ⇒ TranslatableGen era where Source #

Methods

tgRedeemers ∷ Gen (Redeemers era) Source #

tgTx ∷ SupportedLanguage era → Gen (Tx era) Source #

tgUtxo ∷ SupportedLanguage era → Tx era → Gen (UTxO era) Source #

Instances

Instances details
TranslatableGen AlonzoEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Alonzo.Translation.TranslatableGen

Methods

tgRedeemers ∷ Gen (Redeemers AlonzoEra) Source #

tgTx ∷ SupportedLanguage AlonzoEra → Gen (Tx AlonzoEra) Source #

tgUtxo ∷ SupportedLanguage AlonzoEra → Tx AlonzoEra → Gen (UTxO AlonzoEra) Source #

translationInstances ∷ TranslatableGen era ⇒ Int → Int → [TranslationInstance era] Source #

epochInfo ∷ EpochInfo (Either a) Source #

toVersionedTxInfo ∷ SLanguage l → PlutusTxInfo l → VersionedTxInfo Source #

systemStart ∷ SystemStart Source #