Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.Core.KeyPair

Synopsis

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

Documentation

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

mkScriptAddr ∷ ScriptHash → KeyPair 'Staking → Addr Source #

mkCred ∷ KeyPair kr → Credential kr Source #

data KeyPair (kd ∷ KeyRole) Source #

Constructors

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

Instances

Instances details

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

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

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

mkWitnessVKey ∷ SafeHash EraIndependentTxBody → KeyPair kr → WitVKey 'Witness Source #

Create a witness for transaction

mkWitnessesVKey ∷ SafeHash EraIndependentTxBody → [KeyPair kr] → Set (WitVKey 'Witness) Source #

Create witnesses for transaction

makeWitnessesFromScriptKeys ∷ SafeHash EraIndependentTxBody → Map (KeyHash kr) (KeyPair kr) → Set (KeyHash kr) → Set (WitVKey 'Witness) 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, SafeHash EraIndependentTxBody → WitVKey 'Witness) 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 ∷ Network → KeyPair 'Staking → RewardAccount Source #

mkKeyPair ∷ Int → KeyPair r Source #

mkKeyPairWithSeed ∷ ByteString → KeyPair r Source #

mkKeyHash ∷ Int → KeyHash kd 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.17.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 #