cardano-ledger-alonzo-1.17.0.0: Cardano ledger introducing Plutus Core
Safe HaskellNone
LanguageHaskell2010

Test.Cardano.Ledger.Alonzo.Translation.TranslatableGen

Documentation

class (EraUTxO era, EraPlutusContext era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, Arbitrary (Script era), Arbitrary (PlutusPurpose AsIx era)) ⇒ TranslatableGen era where Source #

Methods

tgRedeemers ∷ Gen (Redeemers era) Source #

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

tgUtxo ∷ SupportedLanguage era → Tx 'TopTx 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 'TopTx AlonzoEra) Source #

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

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

epochInfo ∷ EpochInfo (Either a) Source #

toVersionedTxInfo ∷ ∀ (l ∷ Language). SLanguage l → PlutusTxInfo l → VersionedTxInfo Source #

systemStart ∷ SystemStart Source #

mkPlutusTxInfo ∷ ∀ (l ∷ Language) era (level ∷ TxLevel). (HasCallStack, EraPlutusTxInfo l era) ⇒ SLanguage l → LedgerTxInfo level era → PlutusPurpose AsIx era → PlutusTxInfo l Source #