atlas-cardano
Copyright(c) 2023 GYELD GMBH
LicenseApache 2.0
Maintainer[email protected]
Stabilitydevelop
Safe HaskellNone
LanguageGHC2021

GeniusYield.Types.Key

Description

 
Synopsis

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 #

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 #

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 #

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 :: forall (kr :: GYKeyRole). GYSigningKey kr -> SignKeyDSIGN DSIGN #

signingKeyFromLedger :: forall (kr :: GYKeyRole). SignKeyDSIGN DSIGN -> GYSigningKey kr #

signingKeyToRawBytes :: forall (kr :: GYKeyRole). GYSigningKey kr -> ByteString #

signingKeyToRawBytesHex :: forall (kr :: GYKeyRole). GYSigningKey kr -> ByteString #

signingKeyToRawBytesHexText :: forall (kr :: GYKeyRole). GYSigningKey kr -> Text #

signingKeyFromRawBytes :: forall (kr :: GYKeyRole). ByteString -> Maybe (GYSigningKey kr) #

Decode from raw bytes.

signingKeyFromRawBytesHex :: forall (kr :: GYKeyRole). ByteString -> Either String (GYSigningKey kr) #

Decode from raw bytes represented as hex.

type family GYSigningKeyToApi (kr :: GYKeyRole) where ... #

Equations

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

signingKeyToApi :: forall (kr :: GYKeyRole). SingGYKeyRoleI kr => GYSigningKey kr -> GYSigningKeyToApi kr #

signingKeyFromApi :: forall (kr :: GYKeyRole). SingGYKeyRoleI kr => GYSigningKeyToApi kr -> GYSigningKey kr #

generateSigningKey :: forall (kr :: GYKeyRole). SingGYKeyRoleI kr => IO (GYSigningKey kr) #

writeSigningKey :: forall (kr :: GYKeyRole). (SingGYKeyRoleI kr, HasTextEnvelope (GYSigningKeyToApi kr)) => FilePath -> GYSigningKey kr -> IO () #

readSigningKey :: forall (kr :: GYKeyRole). (SingGYKeyRoleI kr, HasTextEnvelope (GYSigningKeyToApi kr)) => FilePath -> IO (GYSigningKey kr) #

signingKeyToLedgerKeyPair :: forall (kr :: GYKeyRole). GYSigningKey kr -> KeyPair (GYKeyRoleToLedger kr) #

signingKeyFromLedgerKeyPair :: forall (kr :: GYKeyRole). KeyPair (GYKeyRoleToLedger kr) -> 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 #

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 #

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 #

Eq (GYVerificationKey kr) # 
Instance details

Defined in GeniusYield.Types.Key

Methods

(==) :: GYVerificationKey kr -> GYVerificationKey kr -> Bool #

(/=) :: GYVerificationKey kr -> GYVerificationKey kr -> Bool #

verificationKeyToLedger :: forall (kr :: GYKeyRole). GYVerificationKey kr -> VKey (GYKeyRoleToLedger kr) #

verificationKeyFromLedger :: forall (kr :: GYKeyRole). VKey (GYKeyRoleToLedger kr) -> GYVerificationKey kr #

getVerificationKey :: forall (kr :: GYKeyRole). GYSigningKey kr -> GYVerificationKey kr #

verificationKeyHash :: forall (kr :: GYKeyRole). GYVerificationKey kr -> GYKeyHash kr #

verificationKeyToRawBytes :: forall (kr :: GYKeyRole). GYVerificationKey kr -> ByteString #

verificationKeyToRawBytesHex :: forall (kr :: GYKeyRole). GYVerificationKey kr -> ByteString #

verificationKeyToRawBytesHexText :: forall (kr :: GYKeyRole). GYVerificationKey kr -> Text #

verificationKeyFromRawBytes :: forall (kr :: GYKeyRole). ByteString -> Maybe (GYVerificationKey kr) #

Decode from raw bytes.

verificationKeyFromRawBytesHex :: forall (kr :: GYKeyRole). ByteString -> Either String (GYVerificationKey kr) #

Decode from raw bytes represented as hex.

type family GYVerificationKeyToApi (kr :: GYKeyRole) where ... #

Equations

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

verificationKeyToApi :: forall (kr :: GYKeyRole). SingGYKeyRoleI kr => GYVerificationKey kr -> GYVerificationKeyToApi kr #

verificationKeyFromApi :: forall (kr :: GYKeyRole). 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 :: forall (kr :: GYKeyRole). GYExtendedSigningKey kr -> ByteString #

extendedSigningKeyToRawBytesHex :: forall (kr :: GYKeyRole). GYExtendedSigningKey kr -> ByteString #

extendedSigningKeyToRawBytesHexText :: forall (kr :: GYKeyRole). GYExtendedSigningKey kr -> Text #

extendedSigningKeyFromRawBytes :: forall (kr :: GYKeyRole). ByteString -> Maybe (GYExtendedSigningKey kr) #

Decode from raw bytes.

extendedSigningKeyFromRawBytesHex :: forall (kr :: GYKeyRole). ByteString -> Either String (GYExtendedSigningKey kr) #

Decode from raw bytes represented as hex.

type family GYExtendedSigningKeyToApi (kr :: GYKeyRole) where ... #

Equations

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

extendedSigningKeyToApi :: forall (kr :: GYKeyRole). SingGYKeyRoleI kr => GYExtendedSigningKey kr -> GYExtendedSigningKeyToApi kr #

extendedSigningKeyFromApi :: forall (kr :: GYKeyRole). SingGYKeyRoleI kr => GYExtendedSigningKeyToApi kr -> GYExtendedSigningKey kr #

writeExtendedSigningKey :: forall (kr :: GYKeyRole). (SingGYKeyRoleI kr, HasTextEnvelope (GYExtendedSigningKeyToApi kr)) => FilePath -> GYExtendedSigningKey kr -> IO () #

readExtendedSigningKey :: forall (kr :: GYKeyRole). (SingGYKeyRoleI kr, HasTextEnvelope (GYExtendedSigningKeyToApi kr)) => FilePath -> IO (GYExtendedSigningKey kr) #

Extended verification key

data GYExtendedVerificationKey (kr :: GYKeyRole) #

Instances

Instances details
(SingGYKeyRoleI kr, SerialiseAsCBOR (GYExtendedVerificationKeyToApi kr)) => FromJSON (GYExtendedVerificationKey kr) #
>>> Aeson.eitherDecode @(GYExtendedVerificationKey 'GYKeyRolePayment) "\"4081b0a03b2b66c74ed1b0de1d874ed820c31b2c0cbba632f4f1ca82a113ac7e18f5eadae23a5c4e65e65e9d4e3a1d0e5c54f0e0c04e6e85e1f7ea75db7c9f1e\""
Right (GYExtendedVerificationKey (GYKeyRolePayment) "4081b0a03b2b66c74ed1b0de1d874ed820c31b2c0cbba632f4f1ca82a113ac7e18f5eadae23a5c4e65e65e9d4e3a1d0e5c54f0e0c04e6e85e1f7ea75db7c9f1e")

>>> Aeson.eitherDecode @(GYExtendedVerificationKey 'GYKeyRolePayment) "\"4081b0a03b2b66c74ed1b0de1d874ed820c31b2c0cbba632f4f1ca82a113ac7e18f5eadae23a5c4e65e65e9d4e3a1d0e5c54f0e0c04e6e85e1f7ea75db7c9f1e26\""
Left "Error in $: GeniusYield.Types.Key.extendedVerificationKeyFromRawBytesHex: unable to decode from bytes, given hex string \"4081b0a03b2b66c74ed1b0de1d874ed820c31b2c0cbba632f4f1ca82a113ac7e18f5eadae23a5c4e65e65e9d4e3a1d0e5c54f0e0c04e6e85e1f7ea75db7c9f1e26\", corresponding bytes \"@\\129\\176\\160;+f\\199N\\209\\176\\222\\GS\\135N\\216 \\195\\ESC,\\f\\187\\166\\&2\\244\\241\\202\\130\\161\\DC3\\172~\\CAN\\245\\234\\218\\226:\\\\Ne\\230^\\157N:\\GS\\SO\\\\T\\240\\224\\192Nn\\133\\225\\247\\234u\\219|\\159\\RS&\", error: error: xprv needs to be 64 bytes: got 65 bytes"
Instance details

Defined in GeniusYield.Types.Key

Methods

parseJSON :: Value -> Parser (GYExtendedVerificationKey kr) #

parseJSONList :: Value -> Parser [GYExtendedVerificationKey kr] #

omittedField :: Maybe (GYExtendedVerificationKey kr) #

(SingGYKeyRoleI kr, SerialiseAsCBOR (GYExtendedVerificationKeyToApi kr)) => ToJSON (GYExtendedVerificationKey kr) #
>>> LBS8.putStrLn $ Aeson.encode ("4081b0a03b2b66c74ed1b0de1d874ed820c31b2c0cbba632f4f1ca82a113ac7e18f5eadae23a5c4e65e65e9d4e3a1d0e5c54f0e0c04e6e85e1f7ea75db7c9f1e" :: GYExtendedVerificationKey 'GYKeyRolePayment)
"58404081b0a03b2b66c74ed1b0de1d874ed820c31b2c0cbba632f4f1ca82a113ac7e18f5eadae23a5c4e65e65e9d4e3a1d0e5c54f0e0c04e6e85e1f7ea75db7c9f1e"
Instance details

Defined in GeniusYield.Types.Key

Methods

toJSON :: GYExtendedVerificationKey kr -> Value #

toEncoding :: GYExtendedVerificationKey kr -> Encoding #

toJSONList :: [GYExtendedVerificationKey kr] -> Value #

toEncodingList :: [GYExtendedVerificationKey kr] -> Encoding #

omitField :: GYExtendedVerificationKey kr -> Bool #

PrintfArg (GYExtendedVerificationKey kr) #
>>> Printf.printf "%s\n" ("4081b0a03b2b66c74ed1b0de1d874ed820c31b2c0cbba632f4f1ca82a113ac7e18f5eadae23a5c4e65e65e9d4e3a1d0e5c54f0e0c04e6e85e1f7ea75db7c9f1e" :: (GYExtendedVerificationKey 'GYKeyRolePayment))
4081b0a03b2b66c74ed1b0de1d874ed820c31b2c0cbba632f4f1ca82a113ac7e18f5eadae23a5c4e65e65e9d4e3a1d0e5c54f0e0c04e6e85e1f7ea75db7c9f1e
Instance details

Defined in GeniusYield.Types.Key

Methods

formatArg :: GYExtendedVerificationKey kr -> FieldFormatter #

parseFormat :: GYExtendedVerificationKey kr -> ModifierParser #

IsString (GYExtendedVerificationKey kr) # 
Instance details

Defined in GeniusYield.Types.Key

Methods

fromString :: String -> GYExtendedVerificationKey kr #

SingGYKeyRoleI kr => Show (GYExtendedVerificationKey kr) # 
Instance details

Defined in GeniusYield.Types.Key

Methods

showsPrec :: Int -> GYExtendedVerificationKey kr -> ShowS #

show :: GYExtendedVerificationKey kr -> String #

showList :: [GYExtendedVerificationKey kr] -> ShowS #

Eq (GYExtendedVerificationKey kr) # 
Instance details

Defined in GeniusYield.Types.Key

Methods

(==) :: GYExtendedVerificationKey kr -> GYExtendedVerificationKey kr -> Bool #

(/=) :: GYExtendedVerificationKey kr -> GYExtendedVerificationKey kr -> Bool #

getExtendedVerificationKey :: forall (kr :: GYKeyRole). GYExtendedSigningKey kr -> GYExtendedVerificationKey kr #

extendedVerificationKeyHash :: forall (kr :: GYKeyRole). GYExtendedVerificationKey kr -> GYKeyHash kr #

extendedVerificationKeyToRawBytes :: forall (kr :: GYKeyRole). GYExtendedVerificationKey kr -> ByteString #

extendedVerificationKeyToRawBytesHex :: forall (kr :: GYKeyRole). GYExtendedVerificationKey kr -> ByteString #

extendedVerificationKeyToRawBytesHexText :: forall (kr :: GYKeyRole). GYExtendedVerificationKey kr -> Text #

extendedVerificationKeyFromRawBytes :: forall (kr :: GYKeyRole). ByteString -> Maybe (GYExtendedVerificationKey kr) #

Decode from raw bytes.

extendedVerificationKeyFromRawBytesHex :: forall (kr :: GYKeyRole). ByteString -> Either String (GYExtendedVerificationKey kr) #

Decode from raw bytes represented as hex.

type family GYExtendedVerificationKeyToApi (kr :: GYKeyRole) where ... #

Equations

GYExtendedVerificationKeyToApi 'GYKeyRolePayment = VerificationKey PaymentExtendedKey 
GYExtendedVerificationKeyToApi 'GYKeyRoleStaking = VerificationKey StakeExtendedKey 
GYExtendedVerificationKeyToApi 'GYKeyRoleDRep = VerificationKey DRepExtendedKey 
GYExtendedVerificationKeyToApi 'GYKeyRoleHotCommittee = VerificationKey CommitteeHotExtendedKey 
GYExtendedVerificationKeyToApi 'GYKeyRoleColdCommittee = VerificationKey CommitteeColdExtendedKey 

extendedVerificationKeyToApi :: forall (kr :: GYKeyRole). SingGYKeyRoleI kr => GYExtendedVerificationKey kr -> GYExtendedVerificationKeyToApi kr #

extendedVerificationKeyFromApi :: forall (kr :: GYKeyRole). SingGYKeyRoleI kr => GYExtendedVerificationKeyToApi kr -> GYExtendedVerificationKey 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 #

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 DSIGN #

paymentSigningKeyToLedgerKeyPair :: GYPaymentSigningKey -> KeyPair 'Payment #

paymentSigningKeyFromLedgerKeyPair :: KeyPair 'Payment -> 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 #

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 DSIGN #

stakeSigningKeyToLedgerKeyPair :: GYStakeSigningKey -> KeyPair 'Staking #

stakeSigningKeyFromLedgerKeyPair :: KeyPair 'Staking -> 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

(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 #