Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Synopsis
- mkTxIn :: Tx era -> Word -> TxIn
- withWitness :: TxIn -> (TxIn, BuildTxWith BuildTx (Witness WitCtxTxIn Era))
- txIns' :: Tx era -> [TxIn]
- txInputSet :: Tx era -> Set TxIn
- fromLedgerTxIn :: TxIn StandardCrypto -> TxIn
- toLedgerTxIn :: TxIn -> TxIn StandardCrypto
- fromPlutusTxOutRef :: TxOutRef -> TxIn
- toPlutusTxOutRef :: TxIn -> TxOutRef
- genTxIn :: Gen TxIn
Extras
mkTxIn :: Tx era -> Word -> TxIn Source #
Create a TxIn
(a.k.a UTXO) from a transaction and output index.
withWitness :: TxIn -> (TxIn, BuildTxWith BuildTx (Witness WitCtxTxIn Era)) Source #
Attach some verification-key witness to a TxIn
.
Type Conversions
fromLedgerTxIn :: TxIn StandardCrypto -> TxIn Source #
toLedgerTxIn :: TxIn -> TxIn StandardCrypto Source #
fromPlutusTxOutRef :: TxOutRef -> TxIn Source #
Convert a plutus' TxOutRef
into a cardano-api TxIn
toPlutusTxOutRef :: TxIn -> TxOutRef Source #
Convert a cardano-api TxIn
into a plutus TxOutRef
.
Arbitrary values
A more random generator than the 'Arbitrary TxIn' from cardano-ledger.
NOTE: This is using the Cardano ledger's deserialization framework using the
latest protocol version via maxBound
.