Copyright | (c) 2023 GYELD GMBH |
---|---|
License | Apache 2.0 |
Maintainer | [email protected] |
Stability | develop |
Safe Haskell | None |
Language | Haskell2010 |
GeniusYield.Types.Script
Description
Synopsis
- data GYValidator v
- validatorFromPlutus ∷ ∀ v. SingPlutusVersionI v ⇒ Validator → GYValidator v
- validatorToPlutus ∷ GYValidator v → Validator
- validatorToApi ∷ GYValidator v → PlutusScript (PlutusVersionToApi v)
- validatorFromApi ∷ ∀ v. SingPlutusVersionI v ⇒ PlutusScript (PlutusVersionToApi v) → GYValidator v
- validatorToApiPlutusScriptWitness ∷ GYValidator v → ScriptDatum WitCtxTxIn → ScriptRedeemer → ExecutionUnits → ScriptWitness WitCtxTxIn BabbageEra
- writeValidator ∷ FilePath → GYValidator v → IO ()
- readValidator ∷ SingPlutusVersionI v ⇒ FilePath → IO (GYValidator v)
- validatorHash ∷ GYValidator v → GYValidatorHash
- validatorPlutusHash ∷ GYValidator v → ValidatorHash
- validatorApiHash ∷ GYValidator v → ScriptHash
- validatorVersion ∷ GYValidator v → SingPlutusVersion v
- data GYValidatorHash
- validatorHashToApi ∷ GYValidatorHash → ScriptHash
- validatorHashToPlutus ∷ GYValidatorHash → ValidatorHash
- validatorHashFromApi ∷ ScriptHash → GYValidatorHash
- validatorHashFromPlutus ∷ ValidatorHash → Either PlutusToCardanoError GYValidatorHash
- data GYMintingPolicy v
- mintingPolicyId ∷ GYMintingPolicy v → GYMintingPolicyId
- mintingPolicyVersion ∷ GYMintingPolicy v → SingPlutusVersion v
- mintingPolicyFromPlutus ∷ ∀ v. SingPlutusVersionI v ⇒ MintingPolicy → GYMintingPolicy v
- mintingPolicyToPlutus ∷ GYMintingPolicy v → MintingPolicy
- mintingPolicyToApi ∷ GYMintingPolicy v → PlutusScript (PlutusVersionToApi v)
- mintingPolicyIdToText ∷ GYMintingPolicyId → Text
- mintingPolicyIdFromText ∷ Text → Either String GYMintingPolicyId
- mintingPolicyFromApi ∷ ∀ v. SingPlutusVersionI v ⇒ PlutusScript (PlutusVersionToApi v) → GYMintingPolicy v
- mintingPolicyToApiPlutusScriptWitness ∷ GYMintingPolicy v → ScriptRedeemer → ExecutionUnits → ScriptWitness WitCtxMint BabbageEra
- writeMintingPolicy ∷ FilePath → GYMintingPolicy v → IO ()
- readMintingPolicy ∷ SingPlutusVersionI v ⇒ FilePath → IO (GYMintingPolicy v)
- mintingPolicyCurrencySymbol ∷ GYMintingPolicy v → CurrencySymbol
- mintingPolicyApiId ∷ GYMintingPolicy v → PolicyId
- data GYMintingPolicyId
- mintingPolicyIdToApi ∷ GYMintingPolicyId → PolicyId
- mintingPolicyIdFromApi ∷ PolicyId → GYMintingPolicyId
- mintingPolicyIdCurrencySymbol ∷ GYMintingPolicyId → CurrencySymbol
- data GYScript (v ∷ PlutusVersion)
- scriptVersion ∷ GYScript v → SingPlutusVersion v
- validatorToScript ∷ GYValidator v → GYScript v
- mintingPolicyToScript ∷ GYMintingPolicy v → GYScript v
- scriptToApi ∷ GYScript v → PlutusScript (PlutusVersionToApi v)
- scriptFromCBOR ∷ ∀ v. SingPlutusVersionI v ⇒ Text → Maybe (GYScript v)
- scriptFromCBOR' ∷ ∀ v. SingPlutusVersionI v ⇒ ByteString → Maybe (GYScript v)
- scriptToPlutus ∷ GYScript v → Script
- scriptFromPlutus ∷ ∀ v. SingPlutusVersionI v ⇒ Script → GYScript v
- someScriptToPlutus ∷ Some GYScript → Script
- scriptApiHash ∷ GYScript v → ScriptHash
- scriptPlutusHash ∷ GYScript v → ScriptHash
- someScriptPlutusHash ∷ Some GYScript → ScriptHash
- someScriptToReferenceApi ∷ Some GYScript → ReferenceScript BabbageEra
- someScriptFromReferenceApi ∷ ReferenceScript era → Maybe (Some GYScript)
- writeScript ∷ ∀ v. FilePath → GYScript v → IO ()
- readScript ∷ ∀ v. SingPlutusVersionI v ⇒ FilePath → IO (GYScript v)
Validator
data GYValidator v #
Instances
validatorFromPlutus ∷ ∀ v. SingPlutusVersionI v ⇒ Validator → GYValidator v #
validatorToPlutus ∷ GYValidator v → Validator #
validatorToApi ∷ GYValidator v → PlutusScript (PlutusVersionToApi v) #
validatorFromApi ∷ ∀ v. SingPlutusVersionI v ⇒ PlutusScript (PlutusVersionToApi v) → GYValidator v #
validatorToApiPlutusScriptWitness ∷ GYValidator v → ScriptDatum WitCtxTxIn → ScriptRedeemer → ExecutionUnits → ScriptWitness WitCtxTxIn BabbageEra #
File operations
writeValidator ∷ FilePath → GYValidator v → IO () #
Writes a validator to a file.
readValidator ∷ SingPlutusVersionI v ⇒ FilePath → IO (GYValidator v) #
Reads a validator from a file.
Selectors
validatorPlutusHash ∷ GYValidator v → ValidatorHash #
validatorApiHash ∷ GYValidator v → ScriptHash #
ValidatorHash
data GYValidatorHash #
Instances
validatorHashToApi ∷ GYValidatorHash → ScriptHash #
validatorHashToPlutus ∷ GYValidatorHash → ValidatorHash #
validatorHashFromApi ∷ ScriptHash → GYValidatorHash #
validatorHashFromPlutus ∷ ValidatorHash → Either PlutusToCardanoError GYValidatorHash #
>>>
validatorHashFromPlutus "cabdd19b58d4299fde05b53c2c0baf978bf9ade734b490fc0cc8b7d0"
Right (GYValidatorHash "cabdd19b58d4299fde05b53c2c0baf978bf9ade734b490fc0cc8b7d0")
>>>
validatorHashFromPlutus "cabdd19b58d4299fde05b53c2c0baf978bf9ade734b490fc0cc8b7"
Left (DeserialiseRawBytesError {ptceTag = "validatorHashFromPlutus: cabdd19b58d4299fde05b53c2c0baf978bf9ade734b490fc0cc8b7"})
MintingPolicy
data GYMintingPolicy v #
Instances
mintingPolicyFromPlutus ∷ ∀ v. SingPlutusVersionI v ⇒ MintingPolicy → GYMintingPolicy v #
mintingPolicyToPlutus ∷ GYMintingPolicy v → MintingPolicy #
mintingPolicyToApi ∷ GYMintingPolicy v → PlutusScript (PlutusVersionToApi v) #
mintingPolicyFromApi ∷ ∀ v. SingPlutusVersionI v ⇒ PlutusScript (PlutusVersionToApi v) → GYMintingPolicy v #
mintingPolicyToApiPlutusScriptWitness ∷ GYMintingPolicy v → ScriptRedeemer → ExecutionUnits → ScriptWitness WitCtxMint BabbageEra #
File operations
writeMintingPolicy ∷ FilePath → GYMintingPolicy v → IO () #
Writes a minting policy to a file.
readMintingPolicy ∷ SingPlutusVersionI v ⇒ FilePath → IO (GYMintingPolicy v) #
Reads a minting policy from a file.
Selectors
mintingPolicyCurrencySymbol ∷ GYMintingPolicy v → CurrencySymbol #
mintingPolicyApiId ∷ GYMintingPolicy v → PolicyId #
MintingPolicyId
data GYMintingPolicyId #
Minting policy identifier, also a currency symbol.
Instances
mintingPolicyIdToApi ∷ GYMintingPolicyId → PolicyId #
mintingPolicyIdFromApi ∷ PolicyId → GYMintingPolicyId #
mintingPolicyIdCurrencySymbol ∷ GYMintingPolicyId → CurrencySymbol #
Script
data GYScript (v ∷ PlutusVersion) #
Plutus script
Instances
GShow GYScript # | |
Defined in GeniusYield.Types.Script Methods gshowsPrec ∷ ∀ (a ∷ k). Int → GYScript a → ShowS | |
GEq GYScript # | |
GCompare GYScript # | |
Defined in GeniusYield.Types.Script | |
Eq (GYScript v) # | Equality and comparison are on script hash. As hash is cryptographicly strong, and |
Ord (GYScript v) # | |
Defined in GeniusYield.Types.Script | |
Show (GYScript v) # | |
scriptVersion ∷ GYScript v → SingPlutusVersion v #
validatorToScript ∷ GYValidator v → GYScript v #
scriptToApi ∷ GYScript v → PlutusScript (PlutusVersionToApi v) #
scriptFromCBOR ∷ ∀ v. SingPlutusVersionI v ⇒ Text → Maybe (GYScript v) #
scriptFromCBOR' ∷ ∀ v. SingPlutusVersionI v ⇒ ByteString → Maybe (GYScript v) #
scriptToPlutus ∷ GYScript v → Script #
scriptFromPlutus ∷ ∀ v. SingPlutusVersionI v ⇒ Script → GYScript v #
someScriptToPlutus ∷ Some GYScript → Script #
scriptApiHash ∷ GYScript v → ScriptHash #
scriptPlutusHash ∷ GYScript v → ScriptHash #
someScriptPlutusHash ∷ Some GYScript → ScriptHash #
someScriptToReferenceApi ∷ Some GYScript → ReferenceScript BabbageEra #
someScriptFromReferenceApi ∷ ReferenceScript era → Maybe (Some GYScript) #
Note: Simple scripts are converted to Nothing
.
File operations
writeScript ∷ ∀ v. FilePath → GYScript v → IO () #
Writes a script to a file.
readScript ∷ ∀ v. SingPlutusVersionI v ⇒ FilePath → IO (GYScript v) #
Reads a script from a file.