Documentation

byronAddr ∷ Addr Source #

shelleyAddr ∷ Addr Source #

ei ∷ EpochInfo (Either a) Source #

ss ∷ SystemStart Source #

byronInput ∷ TxIn Source #

unknownInput ∷ TxIn Source #

byronOutput ∷ ∀ era. EraTxOut era ⇒ TxOut era Source #

shelleyOutput ∷ ∀ era. EraTxOut era ⇒ TxOut era Source #

datumEx ∷ ∀ era. Era era ⇒ Datum era Source #

inlineDatumOutput ∷ ∀ era. (BabbageEraTxOut era, Value era ~ MaryValue) ⇒ TxOut era Source #

refScriptOutput ∷ BabbageEraTxOut era ⇒ TxOut era Source #

shelleyInput ∷ TxIn Source #

inputWithInlineDatum ∷ TxIn Source #

inputWithRefScript ∷ TxIn Source #

utxo ∷ (BabbageEraTxOut era, Value era ~ MaryValue) ⇒ UTxO era Source #

txb ∷ ∀ era. BabbageEraTxBody era ⇒ TxIn → Maybe TxIn → TxOut era → TxBody era Source #

txBare ∷ ∀ era. (EraTx era, BabbageEraTxBody era) ⇒ TxIn → TxOut era → Tx era Source #

txRefInput ∷ ∀ era. (EraTx era, BabbageEraTxBody era) ⇒ TxIn → Tx era Source #

hasReferenceInput ∷ SLanguage l → PlutusTxInfo l → Bool Source #

expectOneInput ∷ TxInInfo → SLanguage l → PlutusTxInfo l → Bool Source #

expectOneOutput ∷ TxOut → SLanguage l → PlutusTxInfo l → Bool Source #

successfulTranslation ∷ ∀ era l. (BabbageEraTxOut era, EraPlutusTxInfo l era, Value era ~ MaryValue) ⇒ SLanguage l → Tx era → (SLanguage l → PlutusTxInfo l → Bool) → Assertion Source #

expectTranslationError ∷ ∀ era l. (BabbageEraTxOut era, EraPlutusTxInfo l era, Value era ~ MaryValue) ⇒ SLanguage l → Tx era → ContextError era → Assertion Source #

expectV1TranslationError ∷ (BabbageEraTxOut era, EraPlutusTxInfo 'PlutusV1 era, Value era ~ MaryValue) ⇒ Tx era → ContextError era → Assertion Source #

errorTranslate ∷ ∀ era b. (HasCallStack, Show (ContextError era)) ⇒ String → Either (ContextError era) b → b Source #

translatedInputEx1 ∷ ∀ era. (BabbageEraTxOut era, Show (ContextError era), Value era ~ MaryValue, Inject (BabbageContextError era) (ContextError era)) ⇒ Proxy era → TxInInfo Source #

translatedInputEx2 ∷ ∀ era. (BabbageEraTxOut era, Show (ContextError era), Value era ~ MaryValue, Inject (BabbageContextError era) (ContextError era)) ⇒ Proxy era → TxInInfo Source #

translatedOutputEx1 ∷ ∀ era. (BabbageEraTxOut era, Show (ContextError era), Value era ~ MaryValue, Inject (BabbageContextError era) (ContextError era)) ⇒ Proxy era → TxOut Source #

translatedOutputEx2 ∷ ∀ era. (BabbageEraTxOut era, Show (ContextError era), Value era ~ MaryValue, Inject (BabbageContextError era) (ContextError era)) ⇒ Proxy era → TxOut Source #

txInfoTestsV1 ∷ ∀ era. (EraTx era, BabbageEraTxBody era, Value era ~ MaryValue, EraPlutusTxInfo 'PlutusV1 era, Inject (BabbageContextError era) (ContextError era)) ⇒ Proxy era → TestTree Source #

txInfoTestsV2 ∷ ∀ era l. (EraTx era, EraPlutusTxInfo l era, BabbageEraTxBody era, Value era ~ MaryValue, Inject (BabbageContextError era) (ContextError era)) ⇒ Proxy era → SLanguage l → TestTree Source #

txInfoTests ∷ ∀ era. (EraTx era, BabbageEraTxBody era, Value era ~ MaryValue, Inject (BabbageContextError era) (ContextError era), EraPlutusTxInfo 'PlutusV1 era, EraPlutusTxInfo 'PlutusV2 era) ⇒ Proxy era → TestTree Source #