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

GeniusYield.Types.Credential

Contents

Credential.
Payment credential.
Stake credential.

Description

Synopsis

data GYCredential (kr :: GYKeyRole)
- = GYCredentialByKey !(GYKeyHash kr)
- | GYCredentialByScript !GYScriptHash
credentialToHexText :: forall (kr :: GYKeyRole). GYCredential kr -> Text
credentialToLedger :: forall (kr :: GYKeyRole). GYCredential kr -> Credential (GYKeyRoleToLedger kr)
credentialFromLedger :: forall (kr :: GYKeyRole). Credential (GYKeyRoleToLedger kr) -> GYCredential kr
credentialToPlutus :: forall (kr :: GYKeyRole). GYCredential kr -> Credential
type GYPaymentCredential = GYCredential 'GYKeyRolePayment
pattern GYPaymentCredentialByKey :: GYKeyHash 'GYKeyRolePayment -> GYPaymentCredential
pattern GYPaymentCredentialByScript :: GYScriptHash -> GYPaymentCredential
paymentCredentialToApi :: GYPaymentCredential -> PaymentCredential
paymentCredentialFromApi :: PaymentCredential -> GYPaymentCredential
paymentCredentialToLedger :: GYPaymentCredential -> Credential 'Payment
paymentCredentialFromLedger :: Credential 'Payment -> GYPaymentCredential
paymentCredentialToPlutus :: GYPaymentCredential -> Credential
paymentCredentialToHexText :: GYPaymentCredential -> Text
paymentCredentialToBech32 :: GYPaymentCredential -> Text
type GYStakeCredential = GYCredential 'GYKeyRoleStaking
pattern GYStakeCredentialByKey :: GYStakeKeyHash -> GYStakeCredential
pattern GYStakeCredentialByScript :: GYScriptHash -> GYStakeCredential
stakeCredentialToApi :: GYStakeCredential -> StakeCredential
stakeCredentialFromApi :: StakeCredential -> GYStakeCredential
stakeCredentialToLedger :: GYStakeCredential -> Credential 'Staking
stakeCredentialFromLedger :: Credential 'Staking -> GYStakeCredential
stakeCredentialToPlutus :: GYStakeCredential -> Credential
stakeCredentialToHexText :: GYStakeCredential -> Text

Credential.

data GYCredential (kr :: GYKeyRole) #

Credential.

Constructors

GYCredentialByKey !(GYKeyHash kr)
GYCredentialByScript !GYScriptHash

Instances

Instances details

SingGYKeyRoleI kr => PrintfArg (GYCredential kr) #	`>>>` `Printf.printf "%s\n" $ pcred`Key credential (GYKeyRolePayment): ec91ac77b581ba928db86cd91d11e64032450677c6b80748ce0b9a81
Instance details Defined in GeniusYield.Types.Credential Methods formatArg :: GYCredential kr -> FieldFormatter # parseFormat :: GYCredential kr -> ModifierParser #
SingGYKeyRoleI kr => Show (GYCredential kr) #
Instance details Defined in GeniusYield.Types.Credential Methods showsPrec :: Int -> GYCredential kr -> ShowS # show :: GYCredential kr -> String # showList :: [GYCredential kr] -> ShowS #
Eq (GYCredential kr) #
Instance details Defined in GeniusYield.Types.Credential Methods (==) :: GYCredential kr -> GYCredential kr -> Bool # (/=) :: GYCredential kr -> GYCredential kr -> Bool #
Ord (GYCredential kr) #
Instance details Defined in GeniusYield.Types.Credential Methods compare :: GYCredential kr -> GYCredential kr -> Ordering # (<) :: GYCredential kr -> GYCredential kr -> Bool # (<=) :: GYCredential kr -> GYCredential kr -> Bool # (>) :: GYCredential kr -> GYCredential kr -> Bool # (>=) :: GYCredential kr -> GYCredential kr -> Bool # max :: GYCredential kr -> GYCredential kr -> GYCredential kr # min :: GYCredential kr -> GYCredential kr -> GYCredential kr #
Hashable (GYCredential kr) #
Instance details Defined in GeniusYield.Types.Credential Methods hashWithSalt :: Int -> GYCredential kr -> Int # hash :: GYCredential kr -> Int #

credentialToHexText :: forall (kr :: GYKeyRole). GYCredential kr -> Text #

Get hexadecimal value of credential.

>>> credentialToHexText pcred
"ec91ac77b581ba928db86cd91d11e64032450677c6b80748ce0b9a81"

>>> credentialToHexText scred
"464eeee89f05aff787d40045af2a40a83fd96c513197d32fbc54ff02"

credentialToLedger :: forall (kr :: GYKeyRole). GYCredential kr -> Credential (GYKeyRoleToLedger kr) #

credentialFromLedger :: forall (kr :: GYKeyRole). Credential (GYKeyRoleToLedger kr) -> GYCredential kr #

credentialToPlutus :: forall (kr :: GYKeyRole). GYCredential kr -> Credential #

Payment credential.

type GYPaymentCredential = GYCredential 'GYKeyRolePayment #

Payment credential. type GYPaymentCredential = GYCredential 'GYKeyRolePayment

pattern GYPaymentCredentialByKey :: GYKeyHash 'GYKeyRolePayment -> GYPaymentCredential #

pattern GYPaymentCredentialByScript :: GYScriptHash -> GYPaymentCredential #

paymentCredentialToApi :: GYPaymentCredential -> PaymentCredential #

Convert GY type to corresponding type in cardano-node library.

paymentCredentialFromApi :: PaymentCredential -> GYPaymentCredential #

Get GY type from corresponding type in cardano-node library.

paymentCredentialToLedger :: GYPaymentCredential -> Credential 'Payment #

Convert to corresponding ledger representation.

paymentCredentialFromLedger :: Credential 'Payment -> GYPaymentCredential #

paymentCredentialToPlutus :: GYPaymentCredential -> Credential #

Convert GY type to corresponding type in plutus library.

paymentCredentialToHexText :: GYPaymentCredential -> Text #

Get hexadecimal value of payment credential.

paymentCredentialToBech32 :: GYPaymentCredential -> Text #

Get the bech32 encoding for the given credential.

Stake credential.

type GYStakeCredential = GYCredential 'GYKeyRoleStaking #

Stake credential. type GYStakeCredential = GYCredential 'GYKeyRoleStaking

pattern GYStakeCredentialByKey :: GYStakeKeyHash -> GYStakeCredential #

pattern GYStakeCredentialByScript :: GYScriptHash -> GYStakeCredential #

stakeCredentialToApi :: GYStakeCredential -> StakeCredential #

Convert GY type to corresponding type in cardano-api library.

stakeCredentialFromApi :: StakeCredential -> GYStakeCredential #

Get GY type from corresponding type in cardano-api library.

stakeCredentialToLedger :: GYStakeCredential -> Credential 'Staking #

Convert to corresponding ledger type.

stakeCredentialFromLedger :: Credential 'Staking -> GYStakeCredential #

Convert from corresponding ledger type.

stakeCredentialToPlutus :: GYStakeCredential -> Credential #

Convert GY type to corresponding type in plutus library.

stakeCredentialToHexText :: GYStakeCredential -> Text #

Get hexadecimal value of stake credential.