cardano-ledger-babbage-test-1.2.0.3: Tests for Cardano ledger babbage era
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Babbage.TxInfo

Documentation

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 #

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 #

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 #

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