Copyright | (c) 2025 GYELD GMBH |
---|---|
License | Apache 2.0 |
Maintainer | [email protected] |
Stability | develop |
Safe Haskell | None |
Language | GHC2021 |
GeniusYield.Types.BuildScript
Description
Synopsis
- data GYBuildScript (u :: PlutusVersion) where
- GYBuildPlutusScript :: forall (u :: PlutusVersion). GYBuildPlutusScript u -> GYBuildScript u
- GYBuildSimpleScript :: forall (u :: PlutusVersion). GYBuildSimpleScript u -> GYBuildScript u
- data GYBuildPlutusScript (u :: PlutusVersion) where
- GYBuildPlutusScriptInlined :: forall (u :: PlutusVersion) (v :: PlutusVersion). VersionIsGreaterOrEqual v u => GYScript v -> GYBuildPlutusScript u
- GYBuildPlutusScriptReference :: forall (u :: PlutusVersion) (v :: PlutusVersion). VersionIsGreaterOrEqual v u => !GYTxOutRef -> !(GYScript v) -> GYBuildPlutusScript u
- data GYBuildSimpleScript (u :: PlutusVersion) where
- GYBuildSimpleScriptInlined :: forall (u :: PlutusVersion). !GYSimpleScript -> GYBuildSimpleScript u
- GYBuildSimpleScriptReference :: forall (u :: PlutusVersion). !GYTxOutRef -> !GYSimpleScript -> GYBuildSimpleScript u
- buildPlutusScriptVersion :: forall (v :: PlutusVersion). GYBuildPlutusScript v -> PlutusVersion
- simpleScriptWitnessToApi :: forall (u :: PlutusVersion) witctx. GYBuildSimpleScript u -> ScriptWitness witctx ConwayEra
- type GYStakeValScript (v :: PlutusVersion) = GYBuildPlutusScript v
- pattern GYStakeValScript :: forall u (v :: PlutusVersion). () => VersionIsGreaterOrEqual v u => GYScript v -> GYBuildPlutusScript u
- pattern GYStakeValReference :: forall u (v :: PlutusVersion). () => VersionIsGreaterOrEqual v u => GYTxOutRef -> GYScript v -> GYBuildPlutusScript u
- gyStakeValScriptToSerialisedScript :: forall (u :: PlutusVersion). GYStakeValScript u -> SerialisedScript
- gyStakeValScriptWitnessToApiPlutusSW :: forall (u :: PlutusVersion). GYStakeValScript u -> ScriptRedeemer -> ExecutionUnits -> ScriptWitness WitCtxStake ApiEra
- stakeValidatorVersionFromWitness :: forall (v :: PlutusVersion). GYStakeValScript v -> PlutusVersion
- type GYMintScript (v :: PlutusVersion) = GYBuildScript v
- pattern GYMintScript :: forall u (v :: PlutusVersion). () => VersionIsGreaterOrEqual v u => GYScript v -> GYBuildScript u
- pattern GYMintReference :: forall u (v :: PlutusVersion). () => VersionIsGreaterOrEqual v u => GYTxOutRef -> GYScript v -> GYBuildScript u
- gyMintingScriptWitnessToApiPlutusSW :: forall (u :: PlutusVersion). GYBuildPlutusScript u -> ScriptRedeemer -> ExecutionUnits -> ScriptWitness WitCtxMint ApiEra
- mintingPolicyIdFromWitness :: forall (v :: PlutusVersion). GYBuildScript v -> GYMintingPolicyId
- mintingPolicyApiIdFromWitness :: forall (v :: PlutusVersion). GYBuildScript v -> PolicyId
Documentation
data GYBuildScript (u :: PlutusVersion) where #
Constructors
GYBuildPlutusScript :: forall (u :: PlutusVersion). GYBuildPlutusScript u -> GYBuildScript u | |
GYBuildSimpleScript :: forall (u :: PlutusVersion). GYBuildSimpleScript u -> GYBuildScript u |
Instances
Show (GYBuildScript v) # | |
Defined in GeniusYield.Types.BuildScript Methods showsPrec :: Int -> GYBuildScript v -> ShowS # show :: GYBuildScript v -> String # showList :: [GYBuildScript v] -> ShowS # | |
Eq (GYBuildScript v) # | |
Defined in GeniusYield.Types.BuildScript Methods (==) :: GYBuildScript v -> GYBuildScript v -> Bool # (/=) :: GYBuildScript v -> GYBuildScript v -> Bool # | |
Ord (GYBuildScript v) # | |
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 :: forall (u :: PlutusVersion) (v :: PlutusVersion). VersionIsGreaterOrEqual v u => GYScript v -> GYBuildPlutusScript u |
|
GYBuildPlutusScriptReference :: forall (u :: PlutusVersion) (v :: PlutusVersion). VersionIsGreaterOrEqual v u => !GYTxOutRef -> !(GYScript v) -> GYBuildPlutusScript u |
Instances
Show (GYBuildPlutusScript v) # | |
Defined in GeniusYield.Types.BuildScript Methods showsPrec :: Int -> GYBuildPlutusScript v -> ShowS # show :: GYBuildPlutusScript v -> String # showList :: [GYBuildPlutusScript v] -> ShowS # | |
Eq (GYBuildPlutusScript v) # | |
Defined in GeniusYield.Types.BuildScript Methods (==) :: GYBuildPlutusScript v -> GYBuildPlutusScript v -> Bool # (/=) :: GYBuildPlutusScript v -> GYBuildPlutusScript v -> Bool # | |
Ord (GYBuildPlutusScript v) # | |
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 :: forall (u :: PlutusVersion). !GYSimpleScript -> GYBuildSimpleScript u | |
GYBuildSimpleScriptReference :: forall (u :: PlutusVersion). !GYTxOutRef -> !GYSimpleScript -> GYBuildSimpleScript u |
Instances
Show (GYBuildSimpleScript v) # | |
Defined in GeniusYield.Types.BuildScript Methods showsPrec :: Int -> GYBuildSimpleScript v -> ShowS # show :: GYBuildSimpleScript v -> String # showList :: [GYBuildSimpleScript v] -> ShowS # | |
Eq (GYBuildSimpleScript v) # | |
Defined in GeniusYield.Types.BuildScript Methods (==) :: GYBuildSimpleScript v -> GYBuildSimpleScript v -> Bool # (/=) :: GYBuildSimpleScript v -> GYBuildSimpleScript v -> Bool # | |
Ord (GYBuildSimpleScript v) # | |
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 :: forall (v :: PlutusVersion). GYBuildPlutusScript v -> PlutusVersion #
Returns the PlutusVersion
of the given GYBuildPlutusScript
.
simpleScriptWitnessToApi :: forall (u :: PlutusVersion) witctx. GYBuildSimpleScript u -> ScriptWitness witctx ConwayEra #
Witness for stake validator (deprecated in favour of GYBuildPlutusScript
)
type GYStakeValScript (v :: PlutusVersion) = GYBuildPlutusScript v #
pattern GYStakeValScript :: forall u (v :: PlutusVersion). () => VersionIsGreaterOrEqual v u => GYScript v -> GYBuildPlutusScript u #
pattern GYStakeValReference :: forall u (v :: PlutusVersion). () => VersionIsGreaterOrEqual v u => GYTxOutRef -> GYScript v -> GYBuildPlutusScript u #
gyStakeValScriptToSerialisedScript :: forall (u :: PlutusVersion). GYStakeValScript u -> SerialisedScript #
gyStakeValScriptWitnessToApiPlutusSW :: forall (u :: PlutusVersion). GYStakeValScript u -> ScriptRedeemer -> ExecutionUnits -> ScriptWitness WitCtxStake ApiEra #
stakeValidatorVersionFromWitness :: forall (v :: PlutusVersion). GYStakeValScript v -> PlutusVersion #
Witness for minting policy (deprecated in favour of GYBuildScript
)
type GYMintScript (v :: PlutusVersion) = GYBuildScript v #
pattern GYMintScript :: forall u (v :: PlutusVersion). () => VersionIsGreaterOrEqual v u => GYScript v -> GYBuildScript u #
pattern GYMintReference :: forall u (v :: PlutusVersion). () => VersionIsGreaterOrEqual v u => GYTxOutRef -> GYScript v -> GYBuildScript u #
gyMintingScriptWitnessToApiPlutusSW :: forall (u :: PlutusVersion). GYBuildPlutusScript u -> ScriptRedeemer -> ExecutionUnits -> ScriptWitness WitCtxMint ApiEra #
mintingPolicyIdFromWitness :: forall (v :: PlutusVersion). GYBuildScript v -> GYMintingPolicyId #
mintingPolicyApiIdFromWitness :: forall (v :: PlutusVersion). GYBuildScript v -> PolicyId #