atlas-cardano

Copyright	(c) 2023 GYELD GMBH
License	Apache 2.0
Maintainer	[email protected]
Stability	develop
Safe Haskell	None
Language	GHC2021

GeniusYield.Types.TxIn

Description

Synopsis

data GYTxIn (v :: PlutusVersion) = GYTxIn {
- gyTxInTxOutRef :: !GYTxOutRef
- gyTxInWitness :: !(GYTxInWitness v)
}
type GYInScript = GYBuildPlutusScript
pattern GYInScript :: forall u (v :: PlutusVersion). () => VersionIsGreaterOrEqual v u => GYScript v -> GYBuildPlutusScript u
pattern GYInReference :: forall u (v :: PlutusVersion). () => VersionIsGreaterOrEqual v u => GYTxOutRef -> GYScript v -> GYBuildPlutusScript u
type GYInSimpleScript = GYBuildSimpleScript
pattern GYInSimpleScript :: GYSimpleScript -> GYBuildSimpleScript u
pattern GYInReferenceSimpleScript :: GYTxOutRef -> GYSimpleScript -> GYBuildSimpleScript u
inScriptVersion :: forall (v :: PlutusVersion). GYBuildPlutusScript v -> PlutusVersion
data GYTxInWitness (v :: PlutusVersion)
- = GYTxInWitnessKey
- | GYTxInWitnessScript !(GYBuildPlutusScript v) !(Maybe GYDatum) !GYRedeemer
- | GYTxInWitnessSimpleScript !(GYBuildSimpleScript v)
txInToApi :: forall (v :: PlutusVersion). Bool -> GYTxIn v -> (TxIn, BuildTxWith BuildTx (Witness WitCtxTxIn ApiEra))

Documentation

data GYTxIn (v :: PlutusVersion) #

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 gyTxInTxOutRef :: !GYTxOutRef gyTxInWitness :: !(GYTxInWitness v)

Instances

Instances details

Show (GYTxIn v) #
Instance details Defined in GeniusYield.Types.TxIn Methods showsPrec :: Int -> GYTxIn v -> ShowS # show :: GYTxIn v -> String # showList :: [GYTxIn v] -> ShowS #
Eq (GYTxIn v) #
Instance details Defined in GeniusYield.Types.TxIn Methods (==) :: GYTxIn v -> GYTxIn v -> Bool # (/=) :: GYTxIn v -> GYTxIn v -> Bool #

type GYInScript = GYBuildPlutusScript #

pattern GYInScript :: forall u (v :: PlutusVersion). () => VersionIsGreaterOrEqual v u => GYScript v -> GYBuildPlutusScript u #

pattern GYInReference :: forall u (v :: PlutusVersion). () => VersionIsGreaterOrEqual v u => GYTxOutRef -> GYScript v -> GYBuildPlutusScript u #

type GYInSimpleScript = GYBuildSimpleScript #

pattern GYInSimpleScript :: GYSimpleScript -> GYBuildSimpleScript u #

pattern GYInReferenceSimpleScript :: GYTxOutRef -> GYSimpleScript -> GYBuildSimpleScript u #

inScriptVersion :: forall (v :: PlutusVersion). GYBuildPlutusScript v -> PlutusVersion #

Returns the PlutusVersion of the given GYBuildPlutusScript.

data GYTxInWitness (v :: PlutusVersion) #

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

Instances details

Show (GYTxInWitness v) #
Instance details Defined in GeniusYield.Types.TxIn Methods showsPrec :: Int -> GYTxInWitness v -> ShowS # show :: GYTxInWitness v -> String # showList :: [GYTxInWitness v] -> ShowS #
Eq (GYTxInWitness v) #
Instance details Defined in GeniusYield.Types.TxIn Methods (==) :: GYTxInWitness v -> GYTxInWitness v -> Bool # (/=) :: GYTxInWitness v -> GYTxInWitness v -> Bool #

Arguments

:: forall (v :: PlutusVersion). 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