Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.Core.KeyPair

Synopsis

mkAddr ∷ Crypto c ⇒ (KeyPair 'Payment c, KeyPair 'Staking c) → Addr c
mkScriptAddr ∷ Crypto c ⇒ ScriptHash c → KeyPair 'Staking c → Addr c
mkCred ∷ Crypto c ⇒ KeyPair kr c → Credential kr c
data KeyPair (kd ∷ KeyRole) c = KeyPair {
- vKey ∷ !(VKey kd c)
- sKey ∷ !(SignKeyDSIGN (DSIGN c))
}
type KeyPairs c = [(KeyPair 'Payment c, KeyPair 'Staking c)]
mkWitnessVKey ∷ ∀ c kr. (Crypto c, DSignable c (Hash (HASH c) EraIndependentTxBody)) ⇒ SafeHash c EraIndependentTxBody → KeyPair kr c → WitVKey 'Witness c
mkWitnessesVKey ∷ ∀ c kr. (Crypto c, DSignable c (Hash (HASH c) EraIndependentTxBody)) ⇒ SafeHash c EraIndependentTxBody → [KeyPair kr c] → Set (WitVKey 'Witness c)
makeWitnessesFromScriptKeys ∷ (Crypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ SafeHash c EraIndependentTxBody → Map (KeyHash kr c) (KeyPair kr c) → Set (KeyHash kr c) → Set (WitVKey 'Witness c)
mkKeyHashWitFunPair ∷ ∀ kr. Gen (KeyHash kr StandardCrypto, SafeHash StandardCrypto EraIndependentTxBody → WitVKey 'Witness StandardCrypto)
mkVKeyRewardAccount ∷ Crypto c ⇒ Network → KeyPair 'Staking c → RewardAccount c
mkKeyPair ∷ Crypto c ⇒ Int → KeyPair r c
mkKeyPairWithSeed ∷ ∀ r c. Crypto c ⇒ ByteString → KeyPair r c
mkKeyHash ∷ Crypto c ⇒ Int → KeyHash kd c
data ByronKeyPair = ByronKeyPair {
- bkpVerificationKey ∷ !VerificationKey
- bkpSigningKey ∷ !SigningKey
}
mkBootKeyPairWithSeed ∷ ByteString → ByronKeyPair
genByronVKeyAddr ∷ Gen (VerificationKey, Address)
genByronAddrFromVKey ∷ VerificationKey → Gen Address

Documentation

mkAddr ∷ Crypto c ⇒ (KeyPair 'Payment c, KeyPair 'Staking c) → Addr c Source #

mkScriptAddr ∷ Crypto c ⇒ ScriptHash c → KeyPair 'Staking c → Addr c Source #

mkCred ∷ Crypto c ⇒ KeyPair kr c → Credential kr c Source #

data KeyPair (kd ∷ KeyRole) c Source #

Constructors

KeyPair
Fields vKey ∷ !(VKey kd c) sKey ∷ !(SignKeyDSIGN (DSIGN c))

Instances

Instances details

HasKeyRole KeyPair Source #
Instance details Defined in Test.Cardano.Ledger.Core.KeyPair Methods coerceKeyRole ∷ ∀ (r ∷ KeyRole) c (r' ∷ KeyRole). KeyPair r c → KeyPair r' c Source #
Crypto c ⇒ Arbitrary (KeyPair kd c) Source #
Instance details Defined in Test.Cardano.Ledger.Core.KeyPair Methods arbitrary ∷ Gen (KeyPair kd c) Source # shrink ∷ KeyPair kd c → [KeyPair kd c] Source #
Generic (KeyPair kd c) Source #
Instance details Defined in Test.Cardano.Ledger.Core.KeyPair Associated Types type Rep (KeyPair kd c) ∷ Type → Type Source # Methods from ∷ KeyPair kd c → Rep (KeyPair kd c) x Source # to ∷ Rep (KeyPair kd c) x → KeyPair kd c Source #
Crypto c ⇒ Show (KeyPair kd c) Source #
Instance details Defined in Test.Cardano.Ledger.Core.KeyPair Methods showsPrec ∷ Int → KeyPair kd c → ShowS Source # show ∷ KeyPair kd c → String Source # showList ∷ [KeyPair kd c] → ShowS Source #
(Crypto c, NFData (VerKeyDSIGN (DSIGN c)), NFData (SignKeyDSIGN (DSIGN c))) ⇒ NFData (KeyPair kd c) Source #
Instance details Defined in Test.Cardano.Ledger.Core.KeyPair Methods rnf ∷ KeyPair kd c → () Source #
Crypto c ⇒ NoThunks (KeyPair kd c) Source #
Instance details Defined in Test.Cardano.Ledger.Core.KeyPair Methods noThunks ∷ Context → KeyPair kd c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → KeyPair kd c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (KeyPair kd c) → String Source #
Crypto c ⇒ Uniform (KeyPair kd c) Source #
Instance details Defined in Test.Cardano.Ledger.Core.KeyPair Methods uniformM ∷ StatefulGen g m ⇒ g → m (KeyPair kd c) Source #
type Rep (KeyPair kd c) Source #
Instance details Defined in Test.Cardano.Ledger.Core.KeyPair type Rep (KeyPair kd c) = D1 ('MetaData "KeyPair" "Test.Cardano.Ledger.Core.KeyPair" "cardano-ledger-core-1.16.0.0-inplace-testlib" 'False) (C1 ('MetaCons "KeyPair" 'PrefixI 'True) (S1 ('MetaSel ('Just "vKey") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VKey kd c)) :*: S1 ('MetaSel ('Just "sKey") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignKeyDSIGN (DSIGN c)))))

type KeyPairs c = [(KeyPair 'Payment c, KeyPair 'Staking c)] Source #

Representation of a list of pairs of key pairs, e.g., pay and stake keys

mkWitnessVKey ∷ ∀ c kr. (Crypto c, DSignable c (Hash (HASH c) EraIndependentTxBody)) ⇒ SafeHash c EraIndependentTxBody → KeyPair kr c → WitVKey 'Witness c Source #

Create a witness for transaction

mkWitnessesVKey ∷ ∀ c kr. (Crypto c, DSignable c (Hash (HASH c) EraIndependentTxBody)) ⇒ SafeHash c EraIndependentTxBody → [KeyPair kr c] → Set (WitVKey 'Witness c) Source #

Create witnesses for transaction

makeWitnessesFromScriptKeys ∷ (Crypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ SafeHash c EraIndependentTxBody → Map (KeyHash kr c) (KeyPair kr c) → Set (KeyHash kr c) → Set (WitVKey 'Witness c) Source #

From a list of key pairs and a set of key hashes required for a multi-sig scripts, return the set of required keys.

mkKeyHashWitFunPair ∷ ∀ kr. Gen (KeyHash kr StandardCrypto, SafeHash StandardCrypto EraIndependentTxBody → WitVKey 'Witness StandardCrypto) Source #

When wrting a test which needs a KeyHash, and you will also later need a witness for that function, use keyHashWitFunPair. Since one cannot make a witness until one has SafeHash of the TxBody that the KeyHash is embedded. The second part of the pair is a (SafeHash to WitVKey) function. Use it something like this do (key,witfun) <- keyHashWitFunPair txbody <- ... key ... let safehash = hashAnnotated txbody tx = ... txbody ... (witfun safehash) ...

mkVKeyRewardAccount ∷ Crypto c ⇒ Network → KeyPair 'Staking c → RewardAccount c Source #

mkKeyPair ∷ Crypto c ⇒ Int → KeyPair r c Source #

mkKeyPairWithSeed ∷ ∀ r c. Crypto c ⇒ ByteString → KeyPair r c Source #

mkKeyHash ∷ Crypto c ⇒ Int → KeyHash kd c Source #

data ByronKeyPair Source #

Constructors

ByronKeyPair
Fields bkpVerificationKey ∷ !VerificationKey bkpSigningKey ∷ !SigningKey

Instances

Instances details

Arbitrary ByronKeyPair Source #
Instance details Defined in Test.Cardano.Ledger.Core.KeyPair Methods arbitrary ∷ Gen ByronKeyPair Source # shrink ∷ ByronKeyPair → [ByronKeyPair] Source #
Generic ByronKeyPair Source #
Instance details Defined in Test.Cardano.Ledger.Core.KeyPair Associated Types type Rep ByronKeyPair ∷ Type → Type Source # Methods from ∷ ByronKeyPair → Rep ByronKeyPair x Source # to ∷ Rep ByronKeyPair x → ByronKeyPair Source #
Show ByronKeyPair Source #
Instance details Defined in Test.Cardano.Ledger.Core.KeyPair Methods showsPrec ∷ Int → ByronKeyPair → ShowS Source # show ∷ ByronKeyPair → String Source # showList ∷ [ByronKeyPair] → ShowS Source #
Uniform ByronKeyPair Source #
Instance details Defined in Test.Cardano.Ledger.Core.KeyPair Methods uniformM ∷ StatefulGen g m ⇒ g → m ByronKeyPair Source #
type Rep ByronKeyPair Source #
Instance details Defined in Test.Cardano.Ledger.Core.KeyPair type Rep ByronKeyPair = D1 ('MetaData "ByronKeyPair" "Test.Cardano.Ledger.Core.KeyPair" "cardano-ledger-core-1.16.0.0-inplace-testlib" 'False) (C1 ('MetaCons "ByronKeyPair" 'PrefixI 'True) (S1 ('MetaSel ('Just "bkpVerificationKey") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VerificationKey) :*: S1 ('MetaSel ('Just "bkpSigningKey") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SigningKey)))

mkBootKeyPairWithSeed ∷ ByteString → ByronKeyPair Source #

genByronVKeyAddr ∷ Gen (VerificationKey, Address) Source #

genByronAddrFromVKey ∷ VerificationKey → Gen Address Source #