Documentation

byronAddr ∷ Addr c Source #

shelleyAddr ∷ Crypto c ⇒ Addr c Source #

ei ∷ EpochInfo (Either a) Source #

ss ∷ SystemStart Source #

byronInput ∷ Crypto c ⇒ TxIn c Source #

unknownInput ∷ Crypto c ⇒ TxIn c 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 (EraCrypto era)) ⇒ TxOut era Source #

refScriptOutput ∷ BabbageEraTxOut era ⇒ TxOut era Source #

shelleyInput ∷ Crypto c ⇒ TxIn c Source #

inputWithInlineDatum ∷ Crypto c ⇒ TxIn c Source #

inputWithRefScript ∷ Crypto c ⇒ TxIn c Source #

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

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

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

txRefInput ∷ ∀ era. (EraTx era, BabbageEraTxBody era) ⇒ TxIn (EraCrypto era) → 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 (EraCrypto era)) ⇒ SLanguage l → Tx era → (SLanguage l → PlutusTxInfo l → Bool) → Assertion Source #

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

expectV1TranslationError ∷ (BabbageEraTxOut era, EraPlutusTxInfo 'PlutusV1 era, Value era ~ MaryValue (EraCrypto era)) ⇒ 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 (EraCrypto era), Inject (BabbageContextError era) (ContextError era)) ⇒ Proxy era → TxInInfo Source #

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

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

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

txInfoTestsV1 ∷ ∀ era. (EraTx era, BabbageEraTxBody era, Value era ~ MaryValue (EraCrypto era), 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 (EraCrypto era), Inject (BabbageContextError era) (ContextError era)) ⇒ Proxy era → SLanguage l → TestTree Source #

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