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 GYBuildScript (u ∷ PlutusVersion) where #

Constructors

GYBuildPlutusScript ∷ GYBuildPlutusScript u → GYBuildScript u 
GYBuildSimpleScript ∷ GYBuildSimpleScript u → GYBuildScript u 

Instances

Instances details
Show (GYBuildScript v) # 
Instance details

Defined in GeniusYield.Types.BuildScript

Methods

showsPrec ∷ Int → GYBuildScript v → ShowS #

show ∷ GYBuildScript v → String #

showList ∷ [GYBuildScript v] → ShowS #

Eq (GYBuildScript v) # 
Instance details

Defined in GeniusYield.Types.BuildScript

Methods

(==) ∷ GYBuildScript v → GYBuildScript v → Bool #

(/=) ∷ GYBuildScript v → GYBuildScript v → Bool #

Ord (GYBuildScript v) # 
Instance details

Defined in GeniusYield.Types.BuildScript

Methods

compare ∷ GYBuildScript v → GYBuildScript v → Ordering #

(<) ∷ GYBuildScript v → GYBuildScript v → Bool #

(<=) ∷ GYBuildScript v → GYBuildScript v → Bool #

(>) ∷ GYBuildScript v → GYBuildScript v → Bool #

(>=) ∷ GYBuildScript v → GYBuildScript v → Bool #

max ∷ GYBuildScript v → GYBuildScript v → GYBuildScript v #

min ∷ GYBuildScript v → GYBuildScript v → GYBuildScript v #

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.

Instances

Instances details
Show (GYBuildPlutusScript v) # 
Instance details

Defined in GeniusYield.Types.BuildScript

Methods

showsPrec ∷ Int → GYBuildPlutusScript v → ShowS #

show ∷ GYBuildPlutusScript v → String #

showList ∷ [GYBuildPlutusScript v] → ShowS #

Eq (GYBuildPlutusScript v) # 
Instance details

Defined in GeniusYield.Types.BuildScript

Methods

(==) ∷ GYBuildPlutusScript v → GYBuildPlutusScript v → Bool #

(/=) ∷ GYBuildPlutusScript v → GYBuildPlutusScript v → Bool #

Ord (GYBuildPlutusScript v) # 
Instance details

Defined in GeniusYield.Types.BuildScript

Methods

compare ∷ GYBuildPlutusScript v → GYBuildPlutusScript v → Ordering #

(<) ∷ GYBuildPlutusScript v → GYBuildPlutusScript v → Bool #

(<=) ∷ GYBuildPlutusScript v → GYBuildPlutusScript v → Bool #

(>) ∷ GYBuildPlutusScript v → GYBuildPlutusScript v → Bool #

(>=) ∷ GYBuildPlutusScript v → GYBuildPlutusScript v → Bool #

max ∷ GYBuildPlutusScript v → GYBuildPlutusScript v → GYBuildPlutusScript v #

min ∷ GYBuildPlutusScript v → GYBuildPlutusScript v → GYBuildPlutusScript v #

data GYBuildSimpleScript (u ∷ PlutusVersion) where #

Constructors

GYBuildSimpleScriptInlined ∷ !GYSimpleScript → GYBuildSimpleScript u 
GYBuildSimpleScriptReference ∷ v `VersionIsGreaterOrEqual` 'PlutusV2 ⇒ !GYTxOutRef → !GYSimpleScript → GYBuildSimpleScript v 

Instances

Instances details
Show (GYBuildSimpleScript v) # 
Instance details

Defined in GeniusYield.Types.BuildScript

Methods

showsPrec ∷ Int → GYBuildSimpleScript v → ShowS #

show ∷ GYBuildSimpleScript v → String #

showList ∷ [GYBuildSimpleScript v] → ShowS #

Eq (GYBuildSimpleScript v) # 
Instance details

Defined in GeniusYield.Types.BuildScript

Methods

(==) ∷ GYBuildSimpleScript v → GYBuildSimpleScript v → Bool #

(/=) ∷ GYBuildSimpleScript v → GYBuildSimpleScript v → Bool #

Ord (GYBuildSimpleScript v) # 
Instance details

Defined in GeniusYield.Types.BuildScript

Methods

compare ∷ GYBuildSimpleScript v → GYBuildSimpleScript v → Ordering #

(<) ∷ GYBuildSimpleScript v → GYBuildSimpleScript v → Bool #

(<=) ∷ GYBuildSimpleScript v → GYBuildSimpleScript v → Bool #

(>) ∷ GYBuildSimpleScript v → GYBuildSimpleScript v → Bool #

(>=) ∷ GYBuildSimpleScript v → GYBuildSimpleScript v → Bool #

max ∷ GYBuildSimpleScript v → GYBuildSimpleScript v → GYBuildSimpleScript v #

min ∷ GYBuildSimpleScript v → GYBuildSimpleScript v → GYBuildSimpleScript v #

buildPlutusScriptVersion ∷ GYBuildPlutusScript v → PlutusVersion #

Returns the PlutusVersion of the given GYBuildScript.

simpleScriptWitnessToApi ∷ GYBuildSimpleScript u → ScriptWitness witctx ConwayEra #

Witness for stake validator (deprecated in favour of GYBuildScript)

type GYStakeValScript v = GYBuildPlutusScript v #

pattern GYStakeValScript ∷ () ⇒ VersionIsGreaterOrEqual v u ⇒ GYScript v → GYBuildPlutusScript u #

pattern GYStakeValReference ∷ () ⇒ (v `VersionIsGreaterOrEqual` u, u `VersionIsGreaterOrEqual` PlutusV2, v `VersionIsGreaterOrEqual` PlutusV2) ⇒ GYTxOutRef → GYScript v → GYBuildPlutusScript u #

gyStakeValScriptToSerialisedScript ∷ GYStakeValScript u → SerialisedScript #

gyStakeValScriptWitnessToApiPlutusSW ∷ GYStakeValScript u → ScriptRedeemer → ExecutionUnits → ScriptWitness WitCtxStake ApiEra #

stakeValidatorVersionFromWitness ∷ GYStakeValScript v → PlutusVersion #

Witness for minting policy (deprecated in favour of GYBuildScript)

type GYMintScript v = GYBuildScript v #

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

pattern GYMintReference ∷ () ⇒ (v `VersionIsGreaterOrEqual` u, u `VersionIsGreaterOrEqual` PlutusV2, v `VersionIsGreaterOrEqual` PlutusV2) ⇒ GYTxOutRef → GYScript v → GYBuildScript u #

gyMintingScriptWitnessToApiPlutusSW ∷ GYBuildPlutusScript u → ScriptRedeemer → ExecutionUnits → ScriptWitness WitCtxMint ApiEra #

mintingPolicyIdFromWitness ∷ GYBuildScript v → GYMintingPolicyId #

mintingPolicyApiIdFromWitness ∷ GYBuildScript v → PolicyId #