| 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 {}
- type GYInScript = GYBuildPlutusScript
- pattern GYInScript ∷ () ⇒ v `VersionIsGreaterOrEqual` u ⇒ GYScript v → GYBuildPlutusScript u
- pattern GYInReference ∷ () ⇒ (v `VersionIsGreaterOrEqual` u, u `VersionIsGreaterOrEqual` PlutusV2, v `VersionIsGreaterOrEqual` PlutusV2) ⇒ GYTxOutRef → GYScript v → GYBuildPlutusScript u
- type GYInSimpleScript = GYBuildSimpleScript
- pattern GYInSimpleScript ∷ GYSimpleScript → GYBuildSimpleScript u
- pattern GYInReferenceSimpleScript ∷ () ⇒ VersionIsGreaterOrEqual u PlutusV2 ⇒ GYTxOutRef → GYSimpleScript → GYBuildSimpleScript u
- inScriptVersion ∷ GYBuildPlutusScript 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
| |
type GYInScript = GYBuildPlutusScript #
pattern GYInScript ∷ () ⇒ v `VersionIsGreaterOrEqual` u ⇒ GYScript v → GYBuildPlutusScript u #
pattern GYInReference ∷ () ⇒ (v `VersionIsGreaterOrEqual` u, u `VersionIsGreaterOrEqual` PlutusV2, v `VersionIsGreaterOrEqual` PlutusV2) ⇒ GYTxOutRef → GYScript v → GYBuildPlutusScript u #
type GYInSimpleScript = GYBuildSimpleScript #
pattern GYInSimpleScript ∷ GYSimpleScript → GYBuildSimpleScript u #
pattern GYInReferenceSimpleScript ∷ () ⇒ VersionIsGreaterOrEqual u PlutusV2 ⇒ GYTxOutRef → GYSimpleScript → GYBuildSimpleScript u #
inScriptVersion ∷ GYBuildPlutusScript v → PlutusVersion #
Returns the PlutusVersion of the given GYBuildScript.
data GYTxInWitness v #
Represents witness type and associated information for tx inputs.
Constructors
| GYTxInWitnessKey | Key witness without datum. |
| GYTxInWitnessScript !(GYBuildPlutusScript v) !(Maybe GYDatum) !GYRedeemer | Script witness with associated script, datum, and redeemer. Datum can be omitted if it is inlined in the input or if it's not needed under PlutusV3 (or beyond) script. |
| GYTxInWitnessSimpleScript !(GYBuildSimpleScript 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