atlas-cardano-0.6.3: Application backend for Plutus smart contracts on Cardano
Copyright(c) 2023 GYELD GMBH
LicenseApache 2.0
Maintainer[email protected]
Stabilitydevelop
Safe HaskellSafe-Inferred
LanguageGHC2021

GeniusYield.Types.TxIn

Description

 
Synopsis

Documentation

data GYTxIn v #

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 

Instances

Instances details
Show (GYTxIn v) # 
Instance details

Defined in GeniusYield.Types.TxIn

Methods

showsPrecIntGYTxIn v → ShowS #

showGYTxIn 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 #

data GYInScript (u ∷ PlutusVersion) where #

Constructors

GYInScript ∷ ∀ u v. v `VersionIsGreaterOrEqual` u ⇒ GYScript v → GYInScript u

VersionIsGreaterOrEqual restricts which version validators can be used in this transaction.

GYInReference ∷ ∀ v. v `VersionIsGreaterOrEqual` 'PlutusV2 ⇒ !GYTxOutRef → !(GYScript v) → GYInScript v

Reference inputs can be only used in V2 transactions.

Instances

Instances details
Show (GYInScript v) # 
Instance details

Defined in GeniusYield.Types.TxIn

Methods

showsPrecIntGYInScript v → ShowS #

showGYInScript v → String #

showList ∷ [GYInScript v] → ShowS #

Eq (GYInScript v) # 
Instance details

Defined in GeniusYield.Types.TxIn

Methods

(==)GYInScript v → GYInScript v → Bool #

(/=)GYInScript v → GYInScript v → Bool #

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

Instances details
Show (GYTxInWitness v) # 
Instance details

Defined in GeniusYield.Types.TxIn

Eq (GYTxInWitness v) # 
Instance details

Defined in GeniusYield.Types.TxIn

Methods

(==)GYTxInWitness v → GYTxInWitness v → Bool #

(/=)GYTxInWitness v → GYTxInWitness v → Bool #

txInToApi #

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