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

GeniusYield.Types.BuildScript

Contents

Witness for stake validator (deprecated in favour of GYBuildScript)
Witness for minting policy (deprecated in favour of GYBuildScript)

Description

Synopsis

data GYBuildScript (u ∷ PlutusVersion) where
- GYBuildPlutusScript ∷ GYBuildPlutusScript u → GYBuildScript u
- GYBuildSimpleScript ∷ GYBuildSimpleScript u → GYBuildScript u
data GYBuildPlutusScript (u ∷ PlutusVersion) where
- GYBuildPlutusScriptInlined ∷ ∀ u v. v `VersionIsGreaterOrEqual` u ⇒ GYScript v → GYBuildPlutusScript u
- GYBuildPlutusScriptReference ∷ ∀ v. v `VersionIsGreaterOrEqual` 'PlutusV2 ⇒ !GYTxOutRef → !(GYScript v) → GYBuildPlutusScript v
data GYBuildSimpleScript (u ∷ PlutusVersion) where
- GYBuildSimpleScriptInlined ∷ !GYSimpleScript → GYBuildSimpleScript u
- GYBuildSimpleScriptReference ∷ v `VersionIsGreaterOrEqual` 'PlutusV2 ⇒ !GYTxOutRef → !GYSimpleScript → GYBuildSimpleScript v
buildPlutusScriptVersion ∷ GYBuildPlutusScript v → PlutusVersion
simpleScriptWitnessToApi ∷ GYBuildSimpleScript u → ScriptWitness witctx ConwayEra
type GYStakeValScript v = GYBuildPlutusScript v
pattern GYStakeValScript ∷ () ⇒ VersionIsGreaterOrEqual v u ⇒ GYScript v → GYBuildPlutusScript u
pattern GYStakeValReference ∷ () ⇒ VersionIsGreaterOrEqual u PlutusV2 ⇒ GYTxOutRef → GYScript u → GYBuildPlutusScript u
gyStakeValScriptToSerialisedScript ∷ GYStakeValScript u → SerialisedScript
gyStakeValScriptWitnessToApiPlutusSW ∷ GYStakeValScript u → ScriptRedeemer → ExecutionUnits → ScriptWitness WitCtxStake ApiEra
stakeValidatorVersionFromWitness ∷ GYStakeValScript v → PlutusVersion
type GYMintScript v = GYBuildScript v
pattern GYMintScript ∷ () ⇒ VersionIsGreaterOrEqual v u ⇒ GYScript v → GYBuildScript u
pattern GYMintReference ∷ () ⇒ VersionIsGreaterOrEqual u PlutusV2 ⇒ GYTxOutRef → GYScript u → GYBuildScript u
gyMintingScriptWitnessToApiPlutusSW ∷ GYBuildPlutusScript u → ScriptRedeemer → ExecutionUnits → ScriptWitness WitCtxMint ApiEra
mintingPolicyIdFromWitness ∷ GYBuildScript v → GYMintingPolicyId
mintingPolicyApiIdFromWitness ∷ GYBuildScript v → PolicyId

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 ∷ ∀ v. v `VersionIsGreaterOrEqual` 'PlutusV2 ⇒ !GYTxOutRef → !(GYScript v) → GYBuildPlutusScript v	Reference inputs can be only used in V2 transactions.

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 #