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

GeniusYield.Types.Key

Contents

Signing key
Verification key
Extended signing key
Payment verification key
Payment signing key
Stake verification key
Stake signing key

Description

Synopsis

class ToShelleyWitnessSigningKey a where
- toShelleyWitnessSigningKey ∷ a → ShelleyWitnessSigningKey
data GYSigningKey (kr ∷ GYKeyRole)
signingKeyToLedger ∷ GYSigningKey kr → SignKeyDSIGN StandardCrypto
signingKeyFromLedger ∷ SignKeyDSIGN StandardCrypto → GYSigningKey kr
signingKeyToRawBytes ∷ GYSigningKey kr → ByteString
signingKeyToRawBytesHex ∷ GYSigningKey kr → ByteString
signingKeyToRawBytesHexText ∷ GYSigningKey kr → Text
signingKeyFromRawBytes ∷ ByteString → Maybe (GYSigningKey kr)
signingKeyFromRawBytesHex ∷ ByteString → Either String (GYSigningKey kr)
type family GYSigningKeyToApi (kr ∷ GYKeyRole) where ...
signingKeyToApi ∷ ∀ kr. SingGYKeyRoleI kr ⇒ GYSigningKey kr → GYSigningKeyToApi kr
signingKeyFromApi ∷ ∀ kr. SingGYKeyRoleI kr ⇒ GYSigningKeyToApi kr → GYSigningKey kr
generateSigningKey ∷ ∀ kr. SingGYKeyRoleI kr ⇒ IO (GYSigningKey kr)
writeSigningKey ∷ ∀ kr. (SingGYKeyRoleI kr, HasTextEnvelope (GYSigningKeyToApi kr)) ⇒ FilePath → GYSigningKey kr → IO ()
readSigningKey ∷ ∀ kr. (SingGYKeyRoleI kr, HasTextEnvelope (GYSigningKeyToApi kr)) ⇒ FilePath → IO (GYSigningKey kr)
signingKeyToLedgerKeyPair ∷ GYSigningKey kr → KeyPair (GYKeyRoleToLedger kr) StandardCrypto
signingKeyFromLedgerKeyPair ∷ KeyPair (GYKeyRoleToLedger kr) StandardCrypto → GYSigningKey kr
data GYVerificationKey (kr ∷ GYKeyRole)
verificationKeyToLedger ∷ GYVerificationKey kr → VKey (GYKeyRoleToLedger kr) StandardCrypto
verificationKeyFromLedger ∷ VKey (GYKeyRoleToLedger kr) StandardCrypto → GYVerificationKey kr
getVerificationKey ∷ GYSigningKey kr → GYVerificationKey kr
verificationKeyHash ∷ GYVerificationKey kr → GYKeyHash kr
verificationKeyToRawBytes ∷ GYVerificationKey kr → ByteString
verificationKeyToRawBytesHex ∷ GYVerificationKey kr → ByteString
verificationKeyToRawBytesHexText ∷ GYVerificationKey kr → Text
verificationKeyFromRawBytes ∷ ByteString → Maybe (GYVerificationKey kr)
verificationKeyFromRawBytesHex ∷ ByteString → Either String (GYVerificationKey kr)
type family GYVerificationKeyToApi (kr ∷ GYKeyRole) where ...
verificationKeyToApi ∷ ∀ kr. SingGYKeyRoleI kr ⇒ GYVerificationKey kr → GYVerificationKeyToApi kr
verificationKeyFromApi ∷ ∀ kr. SingGYKeyRoleI kr ⇒ GYVerificationKeyToApi kr → GYVerificationKey kr
data GYExtendedSigningKey (kr ∷ GYKeyRole)
extendedSigningKeyToRawBytes ∷ GYExtendedSigningKey kr → ByteString
extendedSigningKeyToRawBytesHex ∷ GYExtendedSigningKey kr → ByteString
extendedSigningKeyToRawBytesHexText ∷ GYExtendedSigningKey kr → Text
extendedSigningKeyFromRawBytes ∷ ByteString → Maybe (GYExtendedSigningKey kr)
extendedSigningKeyFromRawBytesHex ∷ ByteString → Either String (GYExtendedSigningKey kr)
type family GYExtendedSigningKeyToApi (kr ∷ GYKeyRole) where ...
extendedSigningKeyToApi ∷ ∀ kr. SingGYKeyRoleI kr ⇒ GYExtendedSigningKey kr → GYExtendedSigningKeyToApi kr
extendedSigningKeyFromApi ∷ ∀ kr. SingGYKeyRoleI kr ⇒ GYExtendedSigningKeyToApi kr → GYExtendedSigningKey kr
writeExtendedSigningKey ∷ ∀ kr. (SingGYKeyRoleI kr, HasTextEnvelope (GYExtendedSigningKeyToApi kr)) ⇒ FilePath → GYExtendedSigningKey kr → IO ()
readExtendedSigningKey ∷ ∀ kr. (SingGYKeyRoleI kr, HasTextEnvelope (GYExtendedSigningKeyToApi kr)) ⇒ FilePath → IO (GYExtendedSigningKey kr)
type GYPaymentVerificationKey = GYVerificationKey 'GYKeyRolePayment
paymentVerificationKeyFromApi ∷ VerificationKey PaymentKey → GYPaymentVerificationKey
paymentVerificationKeyToApi ∷ GYPaymentVerificationKey → VerificationKey PaymentKey
paymentVerificationKeyToLedger ∷ GYPaymentVerificationKey → VKey Payment StandardCrypto
paymentVerificationKeyRawBytes ∷ GYPaymentVerificationKey → ByteString
pubKeyHash ∷ GYPaymentVerificationKey → GYPubKeyHash
paymentKeyHash ∷ GYPaymentVerificationKey → GYPaymentKeyHash
type GYPaymentSigningKey = GYSigningKey 'GYKeyRolePayment
type GYExtendedPaymentSigningKey = GYExtendedSigningKey 'GYKeyRolePayment
paymentSigningKeyFromApi ∷ SigningKey PaymentKey → GYPaymentSigningKey
extendedPaymentSigningKeyFromApi ∷ SigningKey PaymentExtendedKey → GYExtendedPaymentSigningKey
paymentSigningKeyToApi ∷ GYPaymentSigningKey → SigningKey PaymentKey
extendedPaymentSigningKeyToApi ∷ GYExtendedPaymentSigningKey → SigningKey PaymentExtendedKey
paymentSigningKeyToLedger ∷ GYPaymentSigningKey → SignKeyDSIGN StandardCrypto
paymentSigningKeyToLedgerKeyPair ∷ GYPaymentSigningKey → KeyPair Payment StandardCrypto
paymentSigningKeyFromLedgerKeyPair ∷ KeyPair Payment StandardCrypto → GYPaymentSigningKey
readPaymentSigningKey ∷ FilePath → IO GYPaymentSigningKey
readExtendedPaymentSigningKey ∷ FilePath → IO GYExtendedPaymentSigningKey
writePaymentSigningKey ∷ FilePath → GYPaymentSigningKey → IO ()
writeExtendedPaymentSigningKey ∷ FilePath → GYExtendedPaymentSigningKey → IO ()
paymentVerificationKey ∷ GYPaymentSigningKey → GYPaymentVerificationKey
generatePaymentSigningKey ∷ IO GYPaymentSigningKey
type GYStakeVerificationKey = GYVerificationKey 'GYKeyRoleStaking
stakeVerificationKeyFromApi ∷ VerificationKey StakeKey → GYStakeVerificationKey
stakeVerificationKeyToApi ∷ GYStakeVerificationKey → VerificationKey StakeKey
stakeKeyHash ∷ GYStakeVerificationKey → GYStakeKeyHash
stakeVerificationKeyToLedger ∷ GYStakeVerificationKey → VKey Staking StandardCrypto
type GYStakeSigningKey = GYSigningKey 'GYKeyRoleStaking
type GYExtendedStakeSigningKey = GYExtendedSigningKey 'GYKeyRoleStaking
stakeSigningKeyFromApi ∷ SigningKey StakeKey → GYStakeSigningKey
extendedStakeSigningKeyFromApi ∷ SigningKey StakeExtendedKey → GYExtendedStakeSigningKey
stakeSigningKeyToApi ∷ GYStakeSigningKey → SigningKey StakeKey
extendedStakeSigningKeyToApi ∷ GYExtendedStakeSigningKey → SigningKey StakeExtendedKey
stakeSigningKeyToLedger ∷ GYStakeSigningKey → SignKeyDSIGN StandardCrypto
stakeSigningKeyToLedgerKeyPair ∷ GYStakeSigningKey → KeyPair Staking StandardCrypto
stakeSigningKeyFromLedgerKeyPair ∷ KeyPair Staking StandardCrypto → GYStakeSigningKey
readStakeSigningKey ∷ FilePath → IO GYStakeSigningKey
readExtendedStakeSigningKey ∷ FilePath → IO GYExtendedStakeSigningKey
writeStakeSigningKey ∷ FilePath → GYStakeSigningKey → IO ()
writeExtendedStakeSigningKey ∷ FilePath → GYExtendedStakeSigningKey → IO ()
stakeVerificationKey ∷ GYStakeSigningKey → GYStakeVerificationKey
generateStakeSigningKey ∷ IO GYStakeSigningKey
data GYSomeSigningKey = ∀ a.(ToShelleyWitnessSigningKey a, Show a) ⇒ GYSomeSigningKey a
data GYSomePaymentSigningKey
- = AGYPaymentSigningKey !GYPaymentSigningKey
- | AGYExtendedPaymentSigningKey !GYExtendedPaymentSigningKey
readSomePaymentSigningKey ∷ FilePath → IO GYSomePaymentSigningKey
somePaymentSigningKeyToSomeSigningKey ∷ GYSomePaymentSigningKey → GYSomeSigningKey
data GYSomeStakeSigningKey
- = AGYStakeSigningKey !GYStakeSigningKey
- | AGYExtendedStakeSigningKey !GYExtendedStakeSigningKey
readSomeStakeSigningKey ∷ FilePath → IO GYSomeStakeSigningKey
someStakeSigningKeyToSomeSigningKey ∷ GYSomeStakeSigningKey → GYSomeSigningKey

Documentation

class ToShelleyWitnessSigningKey a where #

Methods

toShelleyWitnessSigningKey ∷ a → ShelleyWitnessSigningKey #

Instances

Instances details

ToShelleyWitnessSigningKey User #	This only takes the payment signing key, not the stake key.
Instance details Defined in GeniusYield.TxBuilder.User Methods toShelleyWitnessSigningKey ∷ User → ShelleyWitnessSigningKey #
ToShelleyWitnessSigningKey GYSomePaymentSigningKey #
Instance details Defined in GeniusYield.Types.Key Methods toShelleyWitnessSigningKey ∷ GYSomePaymentSigningKey → ShelleyWitnessSigningKey #
ToShelleyWitnessSigningKey GYSomeSigningKey #
Instance details Defined in GeniusYield.Types.Key Methods toShelleyWitnessSigningKey ∷ GYSomeSigningKey → ShelleyWitnessSigningKey #
ToShelleyWitnessSigningKey GYSomeStakeSigningKey #
Instance details Defined in GeniusYield.Types.Key Methods toShelleyWitnessSigningKey ∷ GYSomeStakeSigningKey → ShelleyWitnessSigningKey #
SingGYKeyRoleI kr ⇒ ToShelleyWitnessSigningKey (GYExtendedSigningKey kr) #
Instance details Defined in GeniusYield.Types.Key Methods toShelleyWitnessSigningKey ∷ GYExtendedSigningKey kr → ShelleyWitnessSigningKey #
SingGYKeyRoleI kr ⇒ ToShelleyWitnessSigningKey (GYSigningKey kr) #
Instance details Defined in GeniusYield.Types.Key Methods toShelleyWitnessSigningKey ∷ GYSigningKey kr → ShelleyWitnessSigningKey #

Signing key

data GYSigningKey (kr ∷ GYKeyRole) #

>>> "5ac75cb3435ef38c5bf15d11469b301b13729deb9595133a608fc0881fcec290" :: (GYSigningKey 'GYKeyRolePayment)
GYSigningKey (GYKeyRolePayment) "5ac75cb3435ef38c5bf15d11469b301b13729deb9595133a608fc0881fcec290"

Instances

Instances details

(SingGYKeyRoleI kr, SerialiseAsCBOR (GYSigningKeyToApi kr)) ⇒ FromJSON (GYSigningKey kr) #	`>>>` `Aeson.eitherDecode @GYPaymentSigningKey "\"58205ac75cb3435ef38c5bf15d11469b301b13729deb9595133a608fc0881fcec290\""`Right (GYSigningKey (GYKeyRolePayment) "5ac75cb3435ef38c5bf15d11469b301b13729deb9595133a608fc0881fcec290") `>>>` `Aeson.eitherDecode @GYPaymentSigningKey "\"58205ac75cb3435ef38c5bf15d11469b301b13729deb9595133a608fc0881fceczzz\""`Left "Error in $: invalid character at offset: 65"
Instance details Defined in GeniusYield.Types.Key Methods parseJSON ∷ Value → Parser (GYSigningKey kr) # parseJSONList ∷ Value → Parser [GYSigningKey kr] # omittedField ∷ Maybe (GYSigningKey kr) #
(SingGYKeyRoleI kr, SerialiseAsCBOR (GYSigningKeyToApi kr)) ⇒ ToJSON (GYSigningKey kr) #	`>>>` `LBS8.putStrLn $ Aeson.encode ("5ac75cb3435ef38c5bf15d11469b301b13729deb9595133a608fc0881fcec290" :: GYPaymentSigningKey)`"58205ac75cb3435ef38c5bf15d11469b301b13729deb9595133a608fc0881fcec290"
Instance details Defined in GeniusYield.Types.Key Methods toJSON ∷ GYSigningKey kr → Value # toEncoding ∷ GYSigningKey kr → Encoding # toJSONList ∷ [GYSigningKey kr] → Value # toEncodingList ∷ [GYSigningKey kr] → Encoding # omitField ∷ GYSigningKey kr → Bool #
SingGYKeyRoleI kr ⇒ ToShelleyWitnessSigningKey (GYSigningKey kr) #
Instance details Defined in GeniusYield.Types.Key Methods toShelleyWitnessSigningKey ∷ GYSigningKey kr → ShelleyWitnessSigningKey #
IsString (GYSigningKey kr) #
Instance details Defined in GeniusYield.Types.Key Methods fromString ∷ String → GYSigningKey kr #
SingGYKeyRoleI kr ⇒ Show (GYSigningKey kr) #
Instance details Defined in GeniusYield.Types.Key Methods showsPrec ∷ Int → GYSigningKey kr → ShowS # show ∷ GYSigningKey kr → String # showList ∷ [GYSigningKey kr] → ShowS #
PrintfArg (GYSigningKey kr) #	`>>>` `Printf.printf "%s\n" ("5ac75cb3435ef38c5bf15d11469b301b13729deb9595133a608fc0881fcec290" :: GYPaymentSigningKey)`5ac75cb3435ef38c5bf15d11469b301b13729deb9595133a608fc0881fcec290
Instance details Defined in GeniusYield.Types.Key Methods formatArg ∷ GYSigningKey kr → FieldFormatter # parseFormat ∷ GYSigningKey kr → ModifierParser #
(SingGYKeyRoleI kr, SerialiseAsCBOR (GYSigningKeyToApi kr)) ⇒ FromField (GYSigningKey kr) #
Instance details Defined in GeniusYield.Types.Key Methods parseField ∷ Field → Parser (GYSigningKey kr) #
(SingGYKeyRoleI kr, SerialiseAsCBOR (GYSigningKeyToApi kr)) ⇒ ToField (GYSigningKey kr) #
Instance details Defined in GeniusYield.Types.Key Methods toField ∷ GYSigningKey kr → Field #
SingGYKeyRoleI kr ⇒ Eq (GYSigningKey kr) #
Instance details Defined in GeniusYield.Types.Key Methods (==) ∷ GYSigningKey kr → GYSigningKey kr → Bool # (/=) ∷ GYSigningKey kr → GYSigningKey kr → Bool #
SingGYKeyRoleI kr ⇒ Ord (GYSigningKey kr) #
Instance details Defined in GeniusYield.Types.Key Methods compare ∷ GYSigningKey kr → GYSigningKey kr → Ordering # (<) ∷ GYSigningKey kr → GYSigningKey kr → Bool # (<=) ∷ GYSigningKey kr → GYSigningKey kr → Bool # (>) ∷ GYSigningKey kr → GYSigningKey kr → Bool # (>=) ∷ GYSigningKey kr → GYSigningKey kr → Bool # max ∷ GYSigningKey kr → GYSigningKey kr → GYSigningKey kr # min ∷ GYSigningKey kr → GYSigningKey kr → GYSigningKey kr #

signingKeyToLedger ∷ GYSigningKey kr → SignKeyDSIGN StandardCrypto #

signingKeyFromLedger ∷ SignKeyDSIGN StandardCrypto → GYSigningKey kr #

signingKeyToRawBytes ∷ GYSigningKey kr → ByteString #

signingKeyToRawBytesHex ∷ GYSigningKey kr → ByteString #

signingKeyToRawBytesHexText ∷ GYSigningKey kr → Text #

signingKeyFromRawBytes ∷ ByteString → Maybe (GYSigningKey kr) #

Decode from raw bytes.

signingKeyFromRawBytesHex ∷ ByteString → Either String (GYSigningKey kr) #

Decode from raw bytes represented as hex.

signingKeyToApi ∷ ∀ kr. SingGYKeyRoleI kr ⇒ GYSigningKey kr → GYSigningKeyToApi kr #

signingKeyFromApi ∷ ∀ kr. SingGYKeyRoleI kr ⇒ GYSigningKeyToApi kr → GYSigningKey kr #

generateSigningKey ∷ ∀ kr. SingGYKeyRoleI kr ⇒ IO (GYSigningKey kr) #

writeSigningKey ∷ ∀ kr. (SingGYKeyRoleI kr, HasTextEnvelope (GYSigningKeyToApi kr)) ⇒ FilePath → GYSigningKey kr → IO () #

readSigningKey ∷ ∀ kr. (SingGYKeyRoleI kr, HasTextEnvelope (GYSigningKeyToApi kr)) ⇒ FilePath → IO (GYSigningKey kr) #

signingKeyToLedgerKeyPair ∷ GYSigningKey kr → KeyPair (GYKeyRoleToLedger kr) StandardCrypto #

signingKeyFromLedgerKeyPair ∷ KeyPair (GYKeyRoleToLedger kr) StandardCrypto → GYSigningKey kr #

Verification key

data GYVerificationKey (kr ∷ GYKeyRole) #

Instances

Instances details

(SingGYKeyRoleI kr, SerialiseAsCBOR (GYVerificationKeyToApi kr)) ⇒ FromJSON (GYVerificationKey kr) #	`>>>` `Aeson.eitherDecode @GYPaymentVerificationKey "\"58200717bc56ed4897c3dde0690e3d9ce61e28a55f520fde454f6b5b61305b193605\""`Right (GYVerificationKey (GYKeyRolePayment) "0717bc56ed4897c3dde0690e3d9ce61e28a55f520fde454f6b5b61305b193605") `>>>` `Aeson.eitherDecode @GYPaymentVerificationKey "\"58200717bc56ed4897c3dde0690e3d9ce61e28a55f520fde454f6b5b61305b193zzz\""`Left "Error in $: invalid character at offset: 65"
Instance details Defined in GeniusYield.Types.Key Methods parseJSON ∷ Value → Parser (GYVerificationKey kr) # parseJSONList ∷ Value → Parser [GYVerificationKey kr] # omittedField ∷ Maybe (GYVerificationKey kr) #
(SingGYKeyRoleI kr, SerialiseAsCBOR (GYVerificationKeyToApi kr)) ⇒ ToJSON (GYVerificationKey kr) #	`>>>` `LBS8.putStrLn $ Aeson.encode ("0717bc56ed4897c3dde0690e3d9ce61e28a55f520fde454f6b5b61305b193605" :: GYPaymentVerificationKey)`"58200717bc56ed4897c3dde0690e3d9ce61e28a55f520fde454f6b5b61305b193605"
Instance details Defined in GeniusYield.Types.Key Methods toJSON ∷ GYVerificationKey kr → Value # toEncoding ∷ GYVerificationKey kr → Encoding # toJSONList ∷ [GYVerificationKey kr] → Value # toEncodingList ∷ [GYVerificationKey kr] → Encoding # omitField ∷ GYVerificationKey kr → Bool #
IsString (GYVerificationKey kr) #
Instance details Defined in GeniusYield.Types.Key Methods fromString ∷ String → GYVerificationKey kr #
SingGYKeyRoleI kr ⇒ Show (GYVerificationKey kr) #
Instance details Defined in GeniusYield.Types.Key Methods showsPrec ∷ Int → GYVerificationKey kr → ShowS # show ∷ GYVerificationKey kr → String # showList ∷ [GYVerificationKey kr] → ShowS #
PrintfArg (GYVerificationKey kr) #	`>>>` `Printf.printf "%s\n" ("0717bc56ed4897c3dde0690e3d9ce61e28a55f520fde454f6b5b61305b193605" :: GYPaymentVerificationKey)`0717bc56ed4897c3dde0690e3d9ce61e28a55f520fde454f6b5b61305b193605
Instance details Defined in GeniusYield.Types.Key Methods formatArg ∷ GYVerificationKey kr → FieldFormatter # parseFormat ∷ GYVerificationKey kr → ModifierParser #
Eq (GYVerificationKey kr) #
Instance details Defined in GeniusYield.Types.Key Methods (==) ∷ GYVerificationKey kr → GYVerificationKey kr → Bool # (/=) ∷ GYVerificationKey kr → GYVerificationKey kr → Bool #

verificationKeyToLedger ∷ GYVerificationKey kr → VKey (GYKeyRoleToLedger kr) StandardCrypto #

verificationKeyFromLedger ∷ VKey (GYKeyRoleToLedger kr) StandardCrypto → GYVerificationKey kr #

getVerificationKey ∷ GYSigningKey kr → GYVerificationKey kr #

verificationKeyHash ∷ GYVerificationKey kr → GYKeyHash kr #

verificationKeyToRawBytes ∷ GYVerificationKey kr → ByteString #

verificationKeyToRawBytesHex ∷ GYVerificationKey kr → ByteString #

verificationKeyToRawBytesHexText ∷ GYVerificationKey kr → Text #

verificationKeyFromRawBytes ∷ ByteString → Maybe (GYVerificationKey kr) #

Decode from raw bytes.

verificationKeyFromRawBytesHex ∷ ByteString → Either String (GYVerificationKey kr) #

Decode from raw bytes represented as hex.

verificationKeyToApi ∷ ∀ kr. SingGYKeyRoleI kr ⇒ GYVerificationKey kr → GYVerificationKeyToApi kr #

verificationKeyFromApi ∷ ∀ kr. SingGYKeyRoleI kr ⇒ GYVerificationKeyToApi kr → GYVerificationKey kr #

Extended signing key

data GYExtendedSigningKey (kr ∷ GYKeyRole) #

Extended signing key.

Instances

Instances details

SingGYKeyRoleI kr ⇒ ToShelleyWitnessSigningKey (GYExtendedSigningKey kr) #
Instance details Defined in GeniusYield.Types.Key Methods toShelleyWitnessSigningKey ∷ GYExtendedSigningKey kr → ShelleyWitnessSigningKey #
IsString (GYExtendedSigningKey kr) #
Instance details Defined in GeniusYield.Types.Key Methods fromString ∷ String → GYExtendedSigningKey kr #
SingGYKeyRoleI kr ⇒ Show (GYExtendedSigningKey kr) #
Instance details Defined in GeniusYield.Types.Key Methods showsPrec ∷ Int → GYExtendedSigningKey kr → ShowS # show ∷ GYExtendedSigningKey kr → String # showList ∷ [GYExtendedSigningKey kr] → ShowS #
SingGYKeyRoleI kr ⇒ Eq (GYExtendedSigningKey kr) #
Instance details Defined in GeniusYield.Types.Key Methods (==) ∷ GYExtendedSigningKey kr → GYExtendedSigningKey kr → Bool # (/=) ∷ GYExtendedSigningKey kr → GYExtendedSigningKey kr → Bool #
SingGYKeyRoleI kr ⇒ Ord (GYExtendedSigningKey kr) #
Instance details Defined in GeniusYield.Types.Key Methods compare ∷ GYExtendedSigningKey kr → GYExtendedSigningKey kr → Ordering # (<) ∷ GYExtendedSigningKey kr → GYExtendedSigningKey kr → Bool # (<=) ∷ GYExtendedSigningKey kr → GYExtendedSigningKey kr → Bool # (>) ∷ GYExtendedSigningKey kr → GYExtendedSigningKey kr → Bool # (>=) ∷ GYExtendedSigningKey kr → GYExtendedSigningKey kr → Bool # max ∷ GYExtendedSigningKey kr → GYExtendedSigningKey kr → GYExtendedSigningKey kr # min ∷ GYExtendedSigningKey kr → GYExtendedSigningKey kr → GYExtendedSigningKey kr #

extendedSigningKeyToRawBytes ∷ GYExtendedSigningKey kr → ByteString #

extendedSigningKeyToRawBytesHex ∷ GYExtendedSigningKey kr → ByteString #

extendedSigningKeyToRawBytesHexText ∷ GYExtendedSigningKey kr → Text #

extendedSigningKeyFromRawBytes ∷ ByteString → Maybe (GYExtendedSigningKey kr) #

Decode from raw bytes.

extendedSigningKeyFromRawBytesHex ∷ ByteString → Either String (GYExtendedSigningKey kr) #

Decode from raw bytes represented as hex.

extendedSigningKeyToApi ∷ ∀ kr. SingGYKeyRoleI kr ⇒ GYExtendedSigningKey kr → GYExtendedSigningKeyToApi kr #

extendedSigningKeyFromApi ∷ ∀ kr. SingGYKeyRoleI kr ⇒ GYExtendedSigningKeyToApi kr → GYExtendedSigningKey kr #

writeExtendedSigningKey ∷ ∀ kr. (SingGYKeyRoleI kr, HasTextEnvelope (GYExtendedSigningKeyToApi kr)) ⇒ FilePath → GYExtendedSigningKey kr → IO () #

readExtendedSigningKey ∷ ∀ kr. (SingGYKeyRoleI kr, HasTextEnvelope (GYExtendedSigningKeyToApi kr)) ⇒ FilePath → IO (GYExtendedSigningKey kr) #

Payment verification key

type GYPaymentVerificationKey = GYVerificationKey 'GYKeyRolePayment #

type GYPaymentVerificationKey = GYVerificationKey 'GYKeyRolePayment

>>> "0717bc56ed4897c3dde0690e3d9ce61e28a55f520fde454f6b5b61305b193605" :: GYPaymentVerificationKey
GYVerificationKey (GYKeyRolePayment) "0717bc56ed4897c3dde0690e3d9ce61e28a55f520fde454f6b5b61305b193605"

paymentVerificationKeyFromApi ∷ VerificationKey PaymentKey → GYPaymentVerificationKey #

>>> paymentVerificationKeyFromApi "0717bc56ed4897c3dde0690e3d9ce61e28a55f520fde454f6b5b61305b193605"
GYVerificationKey (GYKeyRolePayment) "0717bc56ed4897c3dde0690e3d9ce61e28a55f520fde454f6b5b61305b193605"

paymentVerificationKeyToApi ∷ GYPaymentVerificationKey → VerificationKey PaymentKey #

>>> paymentVerificationKeyToApi "0717bc56ed4897c3dde0690e3d9ce61e28a55f520fde454f6b5b61305b193605"
"0717bc56ed4897c3dde0690e3d9ce61e28a55f520fde454f6b5b61305b193605"

paymentVerificationKeyToLedger ∷ GYPaymentVerificationKey → VKey Payment StandardCrypto #

paymentVerificationKeyRawBytes ∷ GYPaymentVerificationKey → ByteString #

pubKeyHash ∷ GYPaymentVerificationKey → GYPubKeyHash #

paymentKeyHash ∷ GYPaymentVerificationKey → GYPaymentKeyHash #

Payment signing key

type GYPaymentSigningKey = GYSigningKey 'GYKeyRolePayment #

type GYPaymentSigningKey = GYSigningKey 'GYKeyRolePayment

>>> "5ac75cb3435ef38c5bf15d11469b301b13729deb9595133a608fc0881fcec290" :: GYPaymentSigningKey
GYSigningKey (GYKeyRolePayment) "5ac75cb3435ef38c5bf15d11469b301b13729deb9595133a608fc0881fcec290"

type GYExtendedPaymentSigningKey = GYExtendedSigningKey 'GYKeyRolePayment #

type GYExtendedPaymentSigningKey = GYExtendedSigningKey 'GYKeyRolePayment

paymentSigningKeyFromApi ∷ SigningKey PaymentKey → GYPaymentSigningKey #

>>> paymentSigningKeyFromApi "5ac75cb3435ef38c5bf15d11469b301b13729deb9595133a608fc0881fcec290"
GYSigningKey (GYKeyRolePayment) "5ac75cb3435ef38c5bf15d11469b301b13729deb9595133a608fc0881fcec290"

extendedPaymentSigningKeyFromApi ∷ SigningKey PaymentExtendedKey → GYExtendedPaymentSigningKey #

paymentSigningKeyToApi ∷ GYPaymentSigningKey → SigningKey PaymentKey #

>>> paymentSigningKeyToApi "5ac75cb3435ef38c5bf15d11469b301b13729deb9595133a608fc0881fcec290"
"5ac75cb3435ef38c5bf15d11469b301b13729deb9595133a608fc0881fcec290"

extendedPaymentSigningKeyToApi ∷ GYExtendedPaymentSigningKey → SigningKey PaymentExtendedKey #

paymentSigningKeyToLedger ∷ GYPaymentSigningKey → SignKeyDSIGN StandardCrypto #

paymentSigningKeyToLedgerKeyPair ∷ GYPaymentSigningKey → KeyPair Payment StandardCrypto #

paymentSigningKeyFromLedgerKeyPair ∷ KeyPair Payment StandardCrypto → GYPaymentSigningKey #

readPaymentSigningKey ∷ FilePath → IO GYPaymentSigningKey #

Reads a payment signing key from a file.

readExtendedPaymentSigningKey ∷ FilePath → IO GYExtendedPaymentSigningKey #

Reads extended payment signing key from file

writePaymentSigningKey ∷ FilePath → GYPaymentSigningKey → IO () #

Writes a payment signing key to a file.

writeExtendedPaymentSigningKey ∷ FilePath → GYExtendedPaymentSigningKey → IO () #

Writes a extended payment signing key to a file.

paymentVerificationKey ∷ GYPaymentSigningKey → GYPaymentVerificationKey #

>>> paymentVerificationKey "5ac75cb3435ef38c5bf15d11469b301b13729deb9595133a608fc0881fcec290"
GYVerificationKey (GYKeyRolePayment) "0717bc56ed4897c3dde0690e3d9ce61e28a55f520fde454f6b5b61305b193605"

generatePaymentSigningKey ∷ IO GYPaymentSigningKey #

Generates a new random payment signing key.

Stake verification key

type GYStakeVerificationKey = GYVerificationKey 'GYKeyRoleStaking #

type GYStakeVerificationKey = GYVerificationKey 'GYKeyRoleStaking

>>> "0717bc56ed4897c3dde0690e3d9ce61e28a55f520fde454f6b5b61305b193605" :: GYStakeVerificationKey
GYVerificationKey (GYKeyRoleStaking) "0717bc56ed4897c3dde0690e3d9ce61e28a55f520fde454f6b5b61305b193605"

stakeVerificationKeyFromApi ∷ VerificationKey StakeKey → GYStakeVerificationKey #

>>> stakeVerificationKeyFromApi "0717bc56ed4897c3dde0690e3d9ce61e28a55f520fde454f6b5b61305b193605"
GYVerificationKey (GYKeyRoleStaking) "0717bc56ed4897c3dde0690e3d9ce61e28a55f520fde454f6b5b61305b193605"

stakeVerificationKeyToApi ∷ GYStakeVerificationKey → VerificationKey StakeKey #

>>> stakeVerificationKeyToApi "0717bc56ed4897c3dde0690e3d9ce61e28a55f520fde454f6b5b61305b193605"
"0717bc56ed4897c3dde0690e3d9ce61e28a55f520fde454f6b5b61305b193605"

stakeKeyHash ∷ GYStakeVerificationKey → GYStakeKeyHash #

stakeVerificationKeyToLedger ∷ GYStakeVerificationKey → VKey Staking StandardCrypto #

Stake signing key

type GYStakeSigningKey = GYSigningKey 'GYKeyRoleStaking #

type GYStakeSigningKey = GYSigningKey 'GYKeyRoleStaking

>>> "5ac75cb3435ef38c5bf15d11469b301b13729deb9595133a608fc0881fcec290" :: GYStakeSigningKey
GYSigningKey (GYKeyRoleStaking) "5ac75cb3435ef38c5bf15d11469b301b13729deb9595133a608fc0881fcec290"

type GYExtendedStakeSigningKey = GYExtendedSigningKey 'GYKeyRoleStaking #

type GYExtendedStakeSigningKey = GYEExtendedSigningKey 'GYKeyRoleStaking

stakeSigningKeyFromApi ∷ SigningKey StakeKey → GYStakeSigningKey #

>>> stakeSigningKeyFromApi "5ac75cb3435ef38c5bf15d11469b301b13729deb9595133a608fc0881fcec290"
GYSigningKey (GYKeyRoleStaking) "5ac75cb3435ef38c5bf15d11469b301b13729deb9595133a608fc0881fcec290"

extendedStakeSigningKeyFromApi ∷ SigningKey StakeExtendedKey → GYExtendedStakeSigningKey #

stakeSigningKeyToApi ∷ GYStakeSigningKey → SigningKey StakeKey #

>>> stakeSigningKeyToApi "5ac75cb3435ef38c5bf15d11469b301b13729deb9595133a608fc0881fcec290"
"5ac75cb3435ef38c5bf15d11469b301b13729deb9595133a608fc0881fcec290"

extendedStakeSigningKeyToApi ∷ GYExtendedStakeSigningKey → SigningKey StakeExtendedKey #

stakeSigningKeyToLedger ∷ GYStakeSigningKey → SignKeyDSIGN StandardCrypto #

stakeSigningKeyToLedgerKeyPair ∷ GYStakeSigningKey → KeyPair Staking StandardCrypto #

stakeSigningKeyFromLedgerKeyPair ∷ KeyPair Staking StandardCrypto → GYStakeSigningKey #

readStakeSigningKey ∷ FilePath → IO GYStakeSigningKey #

Reads a stake signing key from a file.

readExtendedStakeSigningKey ∷ FilePath → IO GYExtendedStakeSigningKey #

Reads extended stake signing key from file

writeStakeSigningKey ∷ FilePath → GYStakeSigningKey → IO () #

Writes a stake signing key to a file.

writeExtendedStakeSigningKey ∷ FilePath → GYExtendedStakeSigningKey → IO () #

Writes a extended stake signing key to a file.

stakeVerificationKey ∷ GYStakeSigningKey → GYStakeVerificationKey #

>>> stakeVerificationKey "5ac75cb3435ef38c5bf15d11469b301b13729deb9595133a608fc0881fcec290"
GYVerificationKey (GYKeyRoleStaking) "0717bc56ed4897c3dde0690e3d9ce61e28a55f520fde454f6b5b61305b193605"

generateStakeSigningKey ∷ IO GYStakeSigningKey #

Generates a new random stake signing key.

data GYSomeSigningKey #

Constructors

∀ a.(ToShelleyWitnessSigningKey a, Show a) ⇒ GYSomeSigningKey a

Instances

Instances details

ToShelleyWitnessSigningKey GYSomeSigningKey #
Instance details Defined in GeniusYield.Types.Key Methods toShelleyWitnessSigningKey ∷ GYSomeSigningKey → ShelleyWitnessSigningKey #

data GYSomePaymentSigningKey #

Constructors

AGYPaymentSigningKey !GYPaymentSigningKey
AGYExtendedPaymentSigningKey !GYExtendedPaymentSigningKey

Instances

Instances details

ToShelleyWitnessSigningKey GYSomePaymentSigningKey #
Instance details Defined in GeniusYield.Types.Key Methods toShelleyWitnessSigningKey ∷ GYSomePaymentSigningKey → ShelleyWitnessSigningKey #
Show GYSomePaymentSigningKey #
Instance details Defined in GeniusYield.Types.Key Methods showsPrec ∷ Int → GYSomePaymentSigningKey → ShowS # show ∷ GYSomePaymentSigningKey → String # showList ∷ [GYSomePaymentSigningKey] → ShowS #
Eq GYSomePaymentSigningKey #
Instance details Defined in GeniusYield.Types.Key Methods (==) ∷ GYSomePaymentSigningKey → GYSomePaymentSigningKey → Bool # (/=) ∷ GYSomePaymentSigningKey → GYSomePaymentSigningKey → Bool #
Ord GYSomePaymentSigningKey #
Instance details Defined in GeniusYield.Types.Key Methods compare ∷ GYSomePaymentSigningKey → GYSomePaymentSigningKey → Ordering # (<) ∷ GYSomePaymentSigningKey → GYSomePaymentSigningKey → Bool # (<=) ∷ GYSomePaymentSigningKey → GYSomePaymentSigningKey → Bool # (>) ∷ GYSomePaymentSigningKey → GYSomePaymentSigningKey → Bool # (>=) ∷ GYSomePaymentSigningKey → GYSomePaymentSigningKey → Bool # max ∷ GYSomePaymentSigningKey → GYSomePaymentSigningKey → GYSomePaymentSigningKey # min ∷ GYSomePaymentSigningKey → GYSomePaymentSigningKey → GYSomePaymentSigningKey #

readSomePaymentSigningKey ∷ FilePath → IO GYSomePaymentSigningKey #

somePaymentSigningKeyToSomeSigningKey ∷ GYSomePaymentSigningKey → GYSomeSigningKey #

data GYSomeStakeSigningKey #

Constructors

AGYStakeSigningKey !GYStakeSigningKey
AGYExtendedStakeSigningKey !GYExtendedStakeSigningKey

Instances

Instances details

ToShelleyWitnessSigningKey GYSomeStakeSigningKey #
Instance details Defined in GeniusYield.Types.Key Methods toShelleyWitnessSigningKey ∷ GYSomeStakeSigningKey → ShelleyWitnessSigningKey #
Show GYSomeStakeSigningKey #
Instance details Defined in GeniusYield.Types.Key Methods showsPrec ∷ Int → GYSomeStakeSigningKey → ShowS # show ∷ GYSomeStakeSigningKey → String # showList ∷ [GYSomeStakeSigningKey] → ShowS #
Eq GYSomeStakeSigningKey #
Instance details Defined in GeniusYield.Types.Key Methods (==) ∷ GYSomeStakeSigningKey → GYSomeStakeSigningKey → Bool # (/=) ∷ GYSomeStakeSigningKey → GYSomeStakeSigningKey → Bool #
Ord GYSomeStakeSigningKey #
Instance details Defined in GeniusYield.Types.Key Methods compare ∷ GYSomeStakeSigningKey → GYSomeStakeSigningKey → Ordering # (<) ∷ GYSomeStakeSigningKey → GYSomeStakeSigningKey → Bool # (<=) ∷ GYSomeStakeSigningKey → GYSomeStakeSigningKey → Bool # (>) ∷ GYSomeStakeSigningKey → GYSomeStakeSigningKey → Bool # (>=) ∷ GYSomeStakeSigningKey → GYSomeStakeSigningKey → Bool # max ∷ GYSomeStakeSigningKey → GYSomeStakeSigningKey → GYSomeStakeSigningKey # min ∷ GYSomeStakeSigningKey → GYSomeStakeSigningKey → GYSomeStakeSigningKey #

readSomeStakeSigningKey ∷ FilePath → IO GYSomeStakeSigningKey #

someStakeSigningKeyToSomeSigningKey ∷ GYSomeStakeSigningKey → GYSomeSigningKey #

GYSigningKeyToApi 'GYKeyRolePayment = SigningKey PaymentKey
GYSigningKeyToApi 'GYKeyRoleStaking = SigningKey StakeKey
GYSigningKeyToApi 'GYKeyRoleDRep = SigningKey DRepKey
GYSigningKeyToApi 'GYKeyRoleStakePool = SigningKey StakePoolKey
GYSigningKeyToApi 'GYKeyRoleHotCommittee = SigningKey CommitteeHotKey
GYSigningKeyToApi 'GYKeyRoleColdCommittee = SigningKey CommitteeColdKey

GYVerificationKeyToApi 'GYKeyRolePayment = VerificationKey PaymentKey
GYVerificationKeyToApi 'GYKeyRoleStaking = VerificationKey StakeKey
GYVerificationKeyToApi 'GYKeyRoleDRep = VerificationKey DRepKey
GYVerificationKeyToApi 'GYKeyRoleStakePool = VerificationKey StakePoolKey
GYVerificationKeyToApi 'GYKeyRoleHotCommittee = VerificationKey CommitteeHotKey
GYVerificationKeyToApi 'GYKeyRoleColdCommittee = VerificationKey CommitteeColdKey

GYExtendedSigningKeyToApi 'GYKeyRolePayment = SigningKey PaymentExtendedKey
GYExtendedSigningKeyToApi 'GYKeyRoleStaking = SigningKey StakeExtendedKey
GYExtendedSigningKeyToApi 'GYKeyRoleDRep = SigningKey DRepExtendedKey
GYExtendedSigningKeyToApi 'GYKeyRoleHotCommittee = SigningKey CommitteeHotExtendedKey
GYExtendedSigningKeyToApi 'GYKeyRoleColdCommittee = SigningKey CommitteeColdExtendedKey