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

Test.Cardano.Ledger.Alonzo.Translation.TranslatableGen

Documentation

class EraTx era ⇒ TranslatableGen era where Source #

Methods

tgRedeemers ∷ Gen (Redeemers era) Source #

tgTx ∷ Language → Gen (Tx era) Source #

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

mkTxInfoLanguage ∷ HasCallStack ⇒ Language → TxInfoLanguage era Source #

Instances

Instances details
TranslatableGen Alonzo Source # 
Instance details

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

Methods

tgRedeemers ∷ Gen (Redeemers Alonzo) Source #

tgTx ∷ Language → Gen (Tx Alonzo) Source #

tgUtxo ∷ Language → Tx Alonzo → Gen (UTxO Alonzo) Source #

mkTxInfoLanguage ∷ Language → TxInfoLanguage Alonzo Source #

data TxInfoLanguage era where Source #

Constructors

TxInfoLanguage ∷ EraPlutusTxInfo l era ⇒ SLanguage l → TxInfoLanguage era 

translationInstances ∷ ∀ era. (AlonzoEraScript era, TranslatableGen era, Show (ContextError era)) ⇒ Int → Int → [TranslationInstance era] Source #

epochInfo ∷ EpochInfo (Either a) Source #

toVersionedTxInfo ∷ SLanguage l → PlutusTxInfo l → VersionedTxInfo Source #

systemStart ∷ SystemStart Source #