>>> validatorHashFromPlutus "cabdd19b58d4299fde05b53c2c0baf978bf9ade734b490fc0cc8b7d0"
Right (GYScriptHash "cabdd19b58d4299fde05b53c2c0baf978bf9ade734b490fc0cc8b7d0")

>>> validatorHashFromPlutus "cabdd19b58d4299fde05b53c2c0baf978bf9ade734b490fc0cc8b7"
Left (DeserialiseRawBytesError {ptceTag = "validatorHashFromPlutus: cabdd19b58d4299fde05b53c2c0baf978bf9ade734b490fc0cc8b7, error: SerialiseAsRawBytesError {unSerialiseAsRawBytesError = \"Unable to deserialise ScriptHash\"}"})

ScriptHash

data GYScriptHash #

Instances

Instances details

FromJSON GYScriptHash #
Instance details Defined in GeniusYield.Types.Script.ScriptHash Methods parseJSON :: Value -> Parser GYScriptHash # parseJSONList :: Value -> Parser [GYScriptHash] # omittedField :: Maybe GYScriptHash #
ToJSON GYScriptHash #
Instance details Defined in GeniusYield.Types.Script.ScriptHash Methods toJSON :: GYScriptHash -> Value # toEncoding :: GYScriptHash -> Encoding # toJSONList :: [GYScriptHash] -> Value # toEncodingList :: [GYScriptHash] -> Encoding # omitField :: GYScriptHash -> Bool #
PrintfArg GYScriptHash #	`>>>` `printf "%s" ("cabdd19b58d4299fde05b53c2c0baf978bf9ade734b490fc0cc8b7d0" :: GYScriptHash)`cabdd19b58d4299fde05b53c2c0baf978bf9ade734b490fc0cc8b7d0
Instance details Defined in GeniusYield.Types.Script.ScriptHash Methods formatArg :: GYScriptHash -> FieldFormatter # parseFormat :: GYScriptHash -> ModifierParser #
IsString GYScriptHash #	`>>>` `"cabdd19b58d4299fde05b53c2c0baf978bf9ade734b490fc0cc8b7d0" :: GYScriptHash`GYScriptHash "cabdd19b58d4299fde05b53c2c0baf978bf9ade734b490fc0cc8b7d0"
Instance details Defined in GeniusYield.Types.Script.ScriptHash Methods fromString :: String -> GYScriptHash #
Show GYScriptHash #
Instance details Defined in GeniusYield.Types.Script.ScriptHash Methods showsPrec :: Int -> GYScriptHash -> ShowS # show :: GYScriptHash -> String # showList :: [GYScriptHash] -> ShowS #
Eq GYScriptHash #
Instance details Defined in GeniusYield.Types.Script.ScriptHash Methods (==) :: GYScriptHash -> GYScriptHash -> Bool # (/=) :: GYScriptHash -> GYScriptHash -> Bool #
Ord GYScriptHash #
Instance details Defined in GeniusYield.Types.Script.ScriptHash Methods compare :: GYScriptHash -> GYScriptHash -> Ordering # (<) :: GYScriptHash -> GYScriptHash -> Bool # (<=) :: GYScriptHash -> GYScriptHash -> Bool # (>) :: GYScriptHash -> GYScriptHash -> Bool # (>=) :: GYScriptHash -> GYScriptHash -> Bool # max :: GYScriptHash -> GYScriptHash -> GYScriptHash # min :: GYScriptHash -> GYScriptHash -> GYScriptHash #
ToHttpApiData GYScriptHash #
Instance details Defined in GeniusYield.Types.Script.ScriptHash Methods toUrlPiece :: GYScriptHash -> Text # toEncodedUrlPiece :: GYScriptHash -> Builder # toHeader :: GYScriptHash -> ByteString # toQueryParam :: GYScriptHash -> Text # toEncodedQueryParam :: GYScriptHash -> Builder #

scriptHashFromApi :: ScriptHash -> GYScriptHash #

scriptHashToApi :: GYScriptHash -> ScriptHash #

scriptHashFromLedger :: ScriptHash -> GYScriptHash #

Convert from corresponding ledger representation.

scriptHashToLedger :: GYScriptHash -> ScriptHash #

Convert to corresponding ledger representation.

scriptHashToPlutus :: GYScriptHash -> ScriptHash #

MintingPolicy

type GYMintingPolicy (v :: PlutusVersion) = GYScript v #

Deprecated: Use GYScript.

mintingPolicyId :: forall (v :: PlutusVersion). GYMintingPolicy v -> GYMintingPolicyId #

simpleScriptToPolicyId :: GYSimpleScript -> GYMintingPolicyId #

mintingPolicyVersion :: forall (v :: PlutusVersion). GYMintingPolicy v -> SingPlutusVersion v #

mintingPolicyFromPlutus :: forall (v :: PlutusVersion) a. SingPlutusVersionI v => CompiledCode a -> GYMintingPolicy v #

mintingPolicyFromSerialisedScript :: forall (v :: PlutusVersion). SingPlutusVersionI v => SerialisedScript -> GYMintingPolicy v #

mintingPolicyToSerialisedScript :: forall (v :: PlutusVersion). GYMintingPolicy v -> SerialisedScript #

mintingPolicyToApi :: forall (v :: PlutusVersion). GYMintingPolicy v -> PlutusScript (PlutusVersionToApi v) #

mintingPolicyIdToText :: GYMintingPolicyId -> Text #

mintingPolicyIdFromText :: Text -> Either String GYMintingPolicyId #

mintingPolicyFromApi :: forall (v :: PlutusVersion). SingPlutusVersionI v => PlutusScript (PlutusVersionToApi v) -> GYMintingPolicy v #

mintingPolicyToApiPlutusScriptWitness :: forall (v :: PlutusVersion). GYMintingPolicy v -> ScriptRedeemer -> ExecutionUnits -> ScriptWitness WitCtxMint ApiEra #

File operations

writeMintingPolicy :: forall (v :: PlutusVersion). FilePath -> GYMintingPolicy v -> IO () #

Writes a minting policy to a file.

readMintingPolicy :: forall (v :: PlutusVersion). SingPlutusVersionI v => FilePath -> IO (GYMintingPolicy v) #

Reads a minting policy from a file.

Selectors

mintingPolicyCurrencySymbol :: forall (v :: PlutusVersion). GYMintingPolicy v -> CurrencySymbol #

mintingPolicyApiId :: forall (v :: PlutusVersion). GYMintingPolicy v -> PolicyId #

MintingPolicyId

data GYMintingPolicyId #

Minting policy identifier, also a currency symbol.

Instances

Instances details

FromJSON GYMintingPolicyId #
Instance details Defined in GeniusYield.Types.Script Methods parseJSON :: Value -> Parser GYMintingPolicyId # parseJSONList :: Value -> Parser [GYMintingPolicyId] # omittedField :: Maybe GYMintingPolicyId #
FromJSONKey GYMintingPolicyId #
Instance details Defined in GeniusYield.Types.Script Methods fromJSONKey :: FromJSONKeyFunction GYMintingPolicyId # fromJSONKeyList :: FromJSONKeyFunction [GYMintingPolicyId] #
ToJSON GYMintingPolicyId #
Instance details Defined in GeniusYield.Types.Script Methods toJSON :: GYMintingPolicyId -> Value # toEncoding :: GYMintingPolicyId -> Encoding # toJSONList :: [GYMintingPolicyId] -> Value # toEncodingList :: [GYMintingPolicyId] -> Encoding # omitField :: GYMintingPolicyId -> Bool #
ToJSONKey GYMintingPolicyId #
Instance details Defined in GeniusYield.Types.Script Methods toJSONKey :: ToJSONKeyFunction GYMintingPolicyId # toJSONKeyList :: ToJSONKeyFunction [GYMintingPolicyId] #
IsString GYMintingPolicyId #	`>>>` `fromString "ff80aaaf03a273b8f5c558168dc0e2377eea810badbae6eceefc14ef" :: GYMintingPolicyId`"ff80aaaf03a273b8f5c558168dc0e2377eea810badbae6eceefc14ef"
Instance details Defined in GeniusYield.Types.Script Methods fromString :: String -> GYMintingPolicyId #
Show GYMintingPolicyId #
Instance details Defined in GeniusYield.Types.Script Methods showsPrec :: Int -> GYMintingPolicyId -> ShowS # show :: GYMintingPolicyId -> String # showList :: [GYMintingPolicyId] -> ShowS #
Eq GYMintingPolicyId #
Instance details Defined in GeniusYield.Types.Script Methods (==) :: GYMintingPolicyId -> GYMintingPolicyId -> Bool # (/=) :: GYMintingPolicyId -> GYMintingPolicyId -> Bool #
Ord GYMintingPolicyId #
Instance details Defined in GeniusYield.Types.Script Methods compare :: GYMintingPolicyId -> GYMintingPolicyId -> Ordering # (<) :: GYMintingPolicyId -> GYMintingPolicyId -> Bool # (<=) :: GYMintingPolicyId -> GYMintingPolicyId -> Bool # (>) :: GYMintingPolicyId -> GYMintingPolicyId -> Bool # (>=) :: GYMintingPolicyId -> GYMintingPolicyId -> Bool # max :: GYMintingPolicyId -> GYMintingPolicyId -> GYMintingPolicyId # min :: GYMintingPolicyId -> GYMintingPolicyId -> GYMintingPolicyId #
FromHttpApiData GYMintingPolicyId #
Instance details Defined in GeniusYield.Types.Script Methods parseUrlPiece :: Text -> Either Text GYMintingPolicyId # parseHeader :: ByteString -> Either Text GYMintingPolicyId # parseQueryParam :: Text -> Either Text GYMintingPolicyId #
ToHttpApiData GYMintingPolicyId #
Instance details Defined in GeniusYield.Types.Script Methods toUrlPiece :: GYMintingPolicyId -> Text # toEncodedUrlPiece :: GYMintingPolicyId -> Builder # toHeader :: GYMintingPolicyId -> ByteString # toQueryParam :: GYMintingPolicyId -> Text # toEncodedQueryParam :: GYMintingPolicyId -> Builder #
ToParamSchema GYMintingPolicyId #
Instance details Defined in GeniusYield.Types.Script Methods toParamSchema :: forall (t :: SwaggerKind Type). Proxy GYMintingPolicyId -> ParamSchema t #
ToSchema GYMintingPolicyId #
Instance details Defined in GeniusYield.Types.Script Methods declareNamedSchema :: Proxy GYMintingPolicyId -> Declare (Definitions Schema) NamedSchema #

mintingPolicyIdToApi :: GYMintingPolicyId -> PolicyId #

mintingPolicyIdFromApi :: PolicyId -> GYMintingPolicyId #

mintingPolicyIdToCurrencySymbol :: GYMintingPolicyId -> CurrencySymbol #

mintingPolicyIdFromCurrencySymbol :: CurrencySymbol -> Either PlutusToCardanoError GYMintingPolicyId #

>>> mintingPolicyIdFromCurrencySymbol $ mintingPolicyIdToCurrencySymbol "ff80aaaf03a273b8f5c558168dc0e2377eea810badbae6eceefc14ef"
Right "ff80aaaf03a273b8f5c558168dc0e2377eea810badbae6eceefc14ef"

mintingPolicyIdCurrencySymbol :: GYMintingPolicyId -> CurrencySymbol #

Deprecated: Use mintingPolicyIdToCurrencySymbol.

mintingPolicyIdToScriptHash :: GYMintingPolicyId -> GYScriptHash #

Obtain GYScriptHash from GYMintingPolicyId.

StakeValidator

type GYStakeValidator (v :: PlutusVersion) = GYScript v #

Deprecated: Use GYScript.

stakeValidatorVersion :: forall (v :: PlutusVersion). GYStakeValidator v -> SingPlutusVersion v #

stakeValidatorFromPlutus :: forall (v :: PlutusVersion) a. SingPlutusVersionI v => CompiledCode a -> GYStakeValidator v #

stakeValidatorFromSerialisedScript :: forall (v :: PlutusVersion). SingPlutusVersionI v => SerialisedScript -> GYStakeValidator v #

stakeValidatorToSerialisedScript :: forall (v :: PlutusVersion). GYStakeValidator v -> SerialisedScript #

stakeValidatorToApi :: forall (v :: PlutusVersion). GYStakeValidator v -> PlutusScript (PlutusVersionToApi v) #

stakeValidatorFromApi :: forall (v :: PlutusVersion). SingPlutusVersionI v => PlutusScript (PlutusVersionToApi v) -> GYStakeValidator v #

stakeValidatorToApiPlutusScriptWitness :: forall (v :: PlutusVersion). GYStakeValidator v -> ScriptRedeemer -> ExecutionUnits -> ScriptWitness WitCtxStake ApiEra #

Stake validator selectors

stakeValidatorHash :: forall (v :: PlutusVersion). GYStakeValidator v -> GYScriptHash #

stakeValidatorPlutusHash :: forall (v :: PlutusVersion). GYStakeValidator v -> ScriptHash #

stakeValidatorApiHash :: forall (v :: PlutusVersion). GYStakeValidator v -> ScriptHash #

StakeValidatorHash

type GYStakeValidatorHash = GYScriptHash #

Deprecated: Use GYScriptHash.

stakeValidatorHashToApi :: GYStakeValidatorHash -> ScriptHash #

stakeValidatorHashToPlutus :: GYStakeValidatorHash -> ScriptHash #

stakeValidatorHashFromApi :: ScriptHash -> GYStakeValidatorHash #

stakeValidatorHashFromPlutus :: ScriptHash -> Either PlutusToCardanoError GYStakeValidatorHash #

>>> stakeValidatorHashFromPlutus "cabdd19b58d4299fde05b53c2c0baf978bf9ade734b490fc0cc8b7d0"
Right (GYScriptHash "cabdd19b58d4299fde05b53c2c0baf978bf9ade734b490fc0cc8b7d0")

>>> stakeValidatorHashFromPlutus "cabdd19b58d4299fde05b53c2c0baf978bf9ade734b490fc0cc8b7"
Left (DeserialiseRawBytesError {ptceTag = "stakeValidatorHashFromPlutus: cabdd19b58d4299fde05b53c2c0baf978bf9ade734b490fc0cc8b7, error: SerialiseAsRawBytesError {unSerialiseAsRawBytesError = \"Unable to deserialise ScriptHash\"}"})

File operations

writeStakeValidator :: forall (v :: PlutusVersion). FilePath -> GYStakeValidator v -> IO () #

Writes a stake validator to a file.

readStakeValidator :: forall (v :: PlutusVersion). SingPlutusVersionI v => FilePath -> IO (GYStakeValidator v) #

Reads a stake validator from a file.

Script

data GYScript (v :: PlutusVersion) #

Plutus script

Instances

Instances details

GCompare GYScript #
Instance details Defined in GeniusYield.Types.Script Methods gcompare :: forall (a :: PlutusVersion) (b :: PlutusVersion). GYScript a -> GYScript b -> GOrdering a b #
GEq GYScript #
Instance details Defined in GeniusYield.Types.Script Methods geq :: forall (a :: PlutusVersion) (b :: PlutusVersion). GYScript a -> GYScript b -> Maybe (a :~: b) #
GShow GYScript #
Instance details Defined in GeniusYield.Types.Script Methods gshowsPrec :: forall (a :: PlutusVersion). Int -> GYScript a -> ShowS #
Show (GYScript v) #
Instance details Defined in GeniusYield.Types.Script Methods showsPrec :: Int -> GYScript v -> ShowS # show :: GYScript v -> String # showList :: [GYScript v] -> ShowS #
Eq (GYScript v) #	Equality and comparison are on script hash. As hash is cryptographicly strong, and `GYScript` constructor is not exposed, this works great.
Instance details Defined in GeniusYield.Types.Script Methods (==) :: GYScript v -> GYScript v -> Bool # (/=) :: GYScript v -> GYScript v -> Bool #
Ord (GYScript v) #
Instance details Defined in GeniusYield.Types.Script Methods compare :: GYScript v -> GYScript v -> Ordering # (<) :: GYScript v -> GYScript v -> Bool # (<=) :: GYScript v -> GYScript v -> Bool # (>) :: GYScript v -> GYScript v -> Bool # (>=) :: GYScript v -> GYScript v -> Bool # max :: GYScript v -> GYScript v -> GYScript v # min :: GYScript v -> GYScript v -> GYScript v #

eqScript :: forall (u :: PlutusVersion) (v :: PlutusVersion). GYScript u -> GYScript v -> Bool #

Heterogeneous script equality. Preferably use Eq instance when possible.

compareScript :: forall (u :: PlutusVersion) (v :: PlutusVersion). GYScript u -> GYScript v -> Ordering #

Heterogeneous script comparison. Preferably use Ord instance when possible.

scriptHash :: forall (v :: PlutusVersion). GYScript v -> GYScriptHash #

hashScript :: forall (v :: PlutusVersion). GYScript v -> GYScriptHash #

Deprecated: Use scriptHash.

scriptVersion :: forall (v :: PlutusVersion). GYScript v -> SingPlutusVersion v #

scriptVersion' :: forall (v :: PlutusVersion). GYScript v -> PlutusVersion #

validatorToScript :: forall (v :: PlutusVersion). GYValidator v -> GYScript v #

mintingPolicyToScript :: forall (v :: PlutusVersion). GYMintingPolicy v -> GYScript v #

stakeValidatorToScript :: forall (v :: PlutusVersion). GYStakeValidator v -> GYScript v #

scriptToApi :: forall (v :: PlutusVersion). GYScript v -> PlutusScript (PlutusVersionToApi v) #

scriptFromCBOR :: forall (v :: PlutusVersion). SingPlutusVersionI v => Text -> Maybe (GYScript v) #

scriptFromCBOR' :: forall (v :: PlutusVersion). SingPlutusVersionI v => ByteString -> Maybe (GYScript v) #

scriptFromPlutus :: forall (v :: PlutusVersion) a. SingPlutusVersionI v => CompiledCode a -> GYScript v #

scriptFromSerialisedScript :: forall (v :: PlutusVersion). SingPlutusVersionI v => SerialisedScript -> GYScript v #

scriptToSerialisedScript :: forall (v :: PlutusVersion). GYScript v -> ShortByteString #

applyParam :: forall p (v :: PlutusVersion). (ToData p, SingPlutusVersionI v) => GYScript v -> p -> GYScript v #

Apply a (data-encoded) parameter to a script.

scriptApiHash :: forall (v :: PlutusVersion). GYScript v -> ScriptHash #

scriptPlutusHash :: forall (v :: PlutusVersion). GYScript v -> ScriptHash #

someScriptPlutusHash :: Some GYScript -> ScriptHash #

someScriptToReferenceApi :: GYAnyScript -> ReferenceScript ApiEra #

someScriptFromReferenceApi :: ReferenceScript era -> Maybe GYAnyScript #

referenceScriptToApiPlutusScriptWitness :: forall (v :: PlutusVersion) witctx. GYTxOutRef -> GYScript v -> ScriptDatum witctx -> ScriptRedeemer -> ExecutionUnits -> ScriptWitness witctx ApiEra #

apiHashToPlutus :: ScriptHash -> ScriptHash #

scriptSize :: GYAnyScript -> Int #

scriptToApiPlutusScriptWitness :: forall (v :: PlutusVersion) ctx. GYScript v -> ScriptDatum ctx -> ScriptRedeemer -> ExecutionUnits -> ScriptWitness ctx ApiEra #

File operations

writeScript :: forall (v :: PlutusVersion). FilePath -> GYScript v -> IO () #

Writes a script to a file.

readScript :: forall (v :: PlutusVersion). SingPlutusVersionI v => FilePath -> IO (GYScript v) #

Reads a script from a file.

readScript' :: forall (v :: PlutusVersion). SingPlutusVersionI v => ByteString -> Either TextEnvelopeError (GYScript v) #

Reads a script as represented by a ByteString.

Any Script

data GYAnyScript where #

Type encapsulating both simple and plutus scripts.

Constructors

GYSimpleScript :: !GYSimpleScript -> GYAnyScript
GYPlutusScript :: forall (v :: PlutusVersion). !(GYScript v) -> GYAnyScript

Instances

Instances details

Show GYAnyScript #
Instance details Defined in GeniusYield.Types.Script Methods showsPrec :: Int -> GYAnyScript -> ShowS # show :: GYAnyScript -> String # showList :: [GYAnyScript] -> ShowS #
Eq GYAnyScript #
Instance details Defined in GeniusYield.Types.Script Methods (==) :: GYAnyScript -> GYAnyScript -> Bool # (/=) :: GYAnyScript -> GYAnyScript -> Bool #
Ord GYAnyScript #
Instance details Defined in GeniusYield.Types.Script Methods compare :: GYAnyScript -> GYAnyScript -> Ordering # (<) :: GYAnyScript -> GYAnyScript -> Bool # (<=) :: GYAnyScript -> GYAnyScript -> Bool # (>) :: GYAnyScript -> GYAnyScript -> Bool # (>=) :: GYAnyScript -> GYAnyScript -> Bool # max :: GYAnyScript -> GYAnyScript -> GYAnyScript # min :: GYAnyScript -> GYAnyScript -> GYAnyScript #

hashAnyScript :: GYAnyScript -> GYScriptHash #

anyScriptToApiScriptInEra :: GYAnyScript -> ScriptInEra ApiEra #

Simple Script

module GeniusYield.Types.Script.SimpleScript