tests

Safe Haskell	Safe-Inferred
Language	GHC2021

Test.Hydra.Fixture

Description

Test and example values used across hydra-node tests.

Synopsis

alice :: Party
bob :: Party
carol :: Party
aliceSk :: SigningKey HydraKey
bobSk :: SigningKey HydraKey
carolSk :: SigningKey HydraKey
aliceVk :: VerificationKey HydraKey
bobVk :: VerificationKey HydraKey
carolVk :: VerificationKey HydraKey
alicePVk :: VerificationKey PaymentKey
bobPVk :: VerificationKey PaymentKey
carolPVk :: VerificationKey PaymentKey
cperiod :: ContestationPeriod
testHeadId :: HeadId
testHeadSeed :: HeadSeed
deriveOnChainId :: Party -> OnChainId
genForParty :: Gen a -> Party -> a
testEnvironment :: Environment
testHeadParameters :: HeadParameters

Documentation

alice :: Party Source #

Our beloved alice, bob, and carol.

bob :: Party Source #

Our beloved alice, bob, and carol.

carol :: Party Source #

Our beloved alice, bob, and carol.

aliceSk :: SigningKey HydraKey Source #

Hydra signing keys for alice, bob, and carol.

bobSk :: SigningKey HydraKey Source #

Hydra signing keys for alice, bob, and carol.

carolSk :: SigningKey HydraKey Source #

Hydra signing keys for alice, bob, and carol.

aliceVk :: VerificationKey HydraKey Source #

Hydra verification keys for alice, bob, and carol.

bobVk :: VerificationKey HydraKey Source #

Hydra verification keys for alice, bob, and carol.

carolVk :: VerificationKey HydraKey Source #

Hydra verification keys for alice, bob, and carol.

alicePVk :: VerificationKey PaymentKey Source #

Cardano payment keys for alice, bob, and carol.

bobPVk :: VerificationKey PaymentKey Source #

Cardano payment keys for alice, bob, and carol.

carolPVk :: VerificationKey PaymentKey Source #

Cardano payment keys for alice, bob, and carol.

cperiod :: ContestationPeriod Source #

testHeadId :: HeadId Source #

testHeadSeed :: HeadSeed Source #

deriveOnChainId :: Party -> OnChainId Source #

Derive some OnChainId from a Hydra party. In the real protocol this is currently not done, but in this simulated chain setting this is definitely fine.

genForParty :: Gen a -> Party -> a Source #

Generate some a given the Party as a seed. NOTE: While this is useful to generate party-specific values, it DOES depend on the generator used. For example, `genForParty genVerificationKey` and `genForParty (fst $ genKeyPair)` do not yield the same verification keys!

testEnvironment :: Environment Source #

An environment fixture for testing.

testHeadParameters :: HeadParameters Source #

Head parameters fixture for testing.