| Copyright | (c) 2023 GYELD GMBH |
|---|---|
| License | Apache 2.0 |
| Maintainer | [email protected] |
| Stability | develop |
| Safe Haskell | Safe-Inferred |
| Language | GHC2021 |
GeniusYield.Types.TxIn
Description
Synopsis
- data GYTxIn v = GYTxIn {}
- data GYInScript (u ∷ PlutusVersion) where
- GYInScript ∷ ∀ u v. v `VersionIsGreaterOrEqual` u ⇒ GYScript v → GYInScript u
- GYInReference ∷ ∀ v. v `VersionIsGreaterOrEqual` 'PlutusV2 ⇒ !GYTxOutRef → !(GYScript v) → GYInScript v
- data GYInSimpleScript (u ∷ PlutusVersion) where
- inScriptVersion ∷ GYInScript v → PlutusVersion
- data GYTxInWitness v
- txInToApi ∷ Bool → GYTxIn v → (TxIn, BuildTxWith BuildTx (Witness WitCtxTxIn ApiEra))
Documentation
Transaction input:
- an UTxO
- non-key witness for script utxos
The parameter v indicates the minimum version of scripts allowed as inputs
in the transaction.
Constructors
| GYTxIn | |
Fields
| |
data GYInScript (u ∷ PlutusVersion) where #
Constructors
| GYInScript ∷ ∀ u v. v `VersionIsGreaterOrEqual` u ⇒ GYScript v → GYInScript u |
|
| GYInReference ∷ ∀ v. v `VersionIsGreaterOrEqual` 'PlutusV2 ⇒ !GYTxOutRef → !(GYScript v) → GYInScript v | Reference inputs can be only used in V2 transactions. |
Instances
| Show (GYInScript v) # | |
Defined in GeniusYield.Types.TxIn Methods showsPrec ∷ Int → GYInScript v → ShowS # show ∷ GYInScript v → String # showList ∷ [GYInScript v] → ShowS # | |
| Eq (GYInScript v) # | |
Defined in GeniusYield.Types.TxIn | |
data GYInSimpleScript (u ∷ PlutusVersion) where #
Constructors
| GYInSimpleScript ∷ !GYSimpleScript → GYInSimpleScript u | |
| GYInReferenceSimpleScript ∷ v `VersionIsGreaterOrEqual` 'PlutusV2 ⇒ !GYTxOutRef → !GYSimpleScript → GYInSimpleScript v |
Instances
| Show (GYInSimpleScript v) # | |
Defined in GeniusYield.Types.TxIn Methods showsPrec ∷ Int → GYInSimpleScript v → ShowS # show ∷ GYInSimpleScript v → String # showList ∷ [GYInSimpleScript v] → ShowS # | |
| Eq (GYInSimpleScript v) # | |
Defined in GeniusYield.Types.TxIn Methods (==) ∷ GYInSimpleScript v → GYInSimpleScript v → Bool # (/=) ∷ GYInSimpleScript v → GYInSimpleScript v → Bool # | |
inScriptVersion ∷ GYInScript v → PlutusVersion #
Returns the PlutusVersion of the given GYInScript.
data GYTxInWitness v #
Represents witness type and associated information for tx inputs.
Constructors
| GYTxInWitnessKey | Key witness without datum. |
| GYTxInWitnessScript !(GYInScript v) !GYDatum !GYRedeemer | Script witness with associated script, datum, and redeemer. |
| GYTxInWitnessSimpleScript !(GYInSimpleScript v) | Simple script witness. |
Instances
| Show (GYTxInWitness v) # | |
Defined in GeniusYield.Types.TxIn Methods showsPrec ∷ Int → GYTxInWitness v → ShowS # show ∷ GYTxInWitness v → String # showList ∷ [GYTxInWitness v] → ShowS # | |
| Eq (GYTxInWitness v) # | |
Defined in GeniusYield.Types.TxIn Methods (==) ∷ GYTxInWitness v → GYTxInWitness v → Bool # (/=) ∷ GYTxInWitness v → GYTxInWitness v → Bool # | |
Arguments
| ∷ Bool | does corresponding utxo contains inline datum? |
| → GYTxIn v | |
| → (TxIn, BuildTxWith BuildTx (Witness WitCtxTxIn ApiEra)) |
Note: TxIns type synonym is not exported: https://github.com/input-output-hk/cardano-node/issues/3732