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

GeniusYield.Types.BuildScript

Description

 
Synopsis

Documentation

data GYBuildPlutusScript (u ∷ PlutusVersion) where #

Constructors

GYBuildPlutusScriptInlined ∷ ∀ u v. v `VersionIsGreaterOrEqual` u ⇒ GYScript v → GYBuildPlutusScript u

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

GYBuildPlutusScriptReference ∷ ∀ u v. (v `VersionIsGreaterOrEqual` u, u `VersionIsGreaterOrEqual` 'PlutusV2, v `VersionIsGreaterOrEqual` 'PlutusV2) ⇒ !GYTxOutRef → !(GYScript v) → GYBuildPlutusScript u

Reference inputs can be only used in V2 & beyond transactions.

Constraint v VersionIsGreaterOrEqual 'PlutusV2 is redundant but is there to guide GHC as it doesn't know that v >= u and u >= 'PlutusV2 imply that v >= 'PlutusV2.

Witness for stake validator (deprecated in favour of GYBuildScript)

Witness for minting policy (deprecated in favour of GYBuildScript)

pattern GYMintScript ∷ () ⇒ VersionIsGreaterOrEqual v u ⇒ GYScript v → GYBuildScript u #