Safe Haskell	None
Language	Haskell2010

Test.Cardano.Ledger.Shelley.Utils

Synopsis

mkSeedFromWords ∷ RawSeed → Seed
mkCertifiedVRF ∷ (Signable v a, VRFAlgorithm v, ContextVRF v ~ (), Coercible b (CertifiedVRF v a)) ⇒ a → SignKeyVRF v → b
epochFromSlotNo ∷ SlotNo → EpochNo
evolveKESUntil ∷ (UnsoundPureKESAlgorithm c, ContextKES c ~ ()) ⇒ UnsoundPureSignKeyKES c → KESPeriod → KESPeriod → Maybe (UnsoundPureSignKeyKES c)
slotFromEpoch ∷ EpochNo → SlotNo
epochSize ∷ EpochNo → EpochSize
mkHash ∷ ∀ a h. HashAlgorithm h ⇒ Int → Hash h a
mkKeyPair ∷ ∀ (kd ∷ KeyRole). RawSeed → (SignKeyDSIGN DSIGN, VKey kd)
mkKeyPair' ∷ ∀ (kd ∷ KeyRole). RawSeed → KeyPair kd
mkGenKey ∷ ∀ (kd ∷ KeyRole). RawSeed → (SignKeyDSIGN DSIGN, VKey kd)
mkKESKeyPair ∷ Crypto c ⇒ RawSeed → KESKeyPair c
mkVRFKeyPair ∷ Crypto c ⇒ RawSeed → VRFKeyPair c
runShelleyBase ∷ ShelleyBase a → a
maxKESIterations ∷ Word64
slotsPerKESIteration ∷ Word64
runSTS ∷ ∀ (rule ∷ Symbol) era. (BaseM (EraRule rule era) ~ ShelleyBase, STS (EraRule rule era)) ⇒ Globals → Environment (EraRule rule era) → State (EraRule rule era) → Signal (EraRule rule era) → Either (NonEmpty (PredicateFailure (EraRule rule era))) (State (EraRule rule era), [Event (EraRule rule era)])
testSTS ∷ (BaseM s ~ ShelleyBase, STS s, Eq (State s), Show (State s), ToExpr (State s)) ⇒ Environment s → State s → Signal s → Either (NonEmpty (PredicateFailure s)) (State s) → Assertion
maxLLSupply ∷ Coin
applySTSTest ∷ ∀ s m (rtype ∷ RuleType). (STS s, RuleTypeRep rtype, m ~ BaseM s) ⇒ RuleContext rtype s → m (Either (NonEmpty (PredicateFailure s)) (State s))
type GenesisKeyPair c = KeyPair 'GenesisRole
getBlockNonce ∷ Block (BHeader MockCrypto) era → Nonce
type ChainProperty era = (ApplyBlock era, GetLedgerView era, EraTx era)
data RawSeed = RawSeed !Word64 !Word64 !Word64 !Word64 !Word64
class Split v where
- vsplit ∷ v → Integer → ([v], Coin)
module Test.Cardano.Ledger.Core.Utils

Documentation

mkSeedFromWords ∷ RawSeed → Seed Source #

Construct a seed from a bunch of Word64s

We multiply these words by some extra stuff to make sure they contain enough bits for our seed.

mkCertifiedVRF ∷ (Signable v a, VRFAlgorithm v, ContextVRF v ~ (), Coercible b (CertifiedVRF v a)) ⇒ a → SignKeyVRF v → b Source #

For testing purposes, create a VRF value

epochFromSlotNo ∷ SlotNo → EpochNo Source #

evolveKESUntil Source #

Arguments

∷ (UnsoundPureKESAlgorithm c, ContextKES c ~ ())
⇒ UnsoundPureSignKeyKES c
→ KESPeriod	Current KES period
→ KESPeriod	Target KES period
→ Maybe (UnsoundPureSignKeyKES c)

Try to evolve KES key until specific KES period is reached, given the current KES period.

slotFromEpoch ∷ EpochNo → SlotNo Source #

epochSize ∷ EpochNo → EpochSize Source #

mkHash ∷ ∀ a h. HashAlgorithm h ⇒ Int → Hash h a Source #

mkKeyPair ∷ ∀ (kd ∷ KeyRole). RawSeed → (SignKeyDSIGN DSIGN, VKey kd) Source #

For testing purposes, generate a deterministic key pair given a seed.

mkKeyPair' ∷ ∀ (kd ∷ KeyRole). RawSeed → KeyPair kd Source #

For testing purposes, generate a deterministic key pair given a seed.

mkGenKey ∷ ∀ (kd ∷ KeyRole). RawSeed → (SignKeyDSIGN DSIGN, VKey kd) Source #

For testing purposes, generate a deterministic genesis key pair given a seed.

mkKESKeyPair ∷ Crypto c ⇒ RawSeed → KESKeyPair c Source #

For testing purposes, generate a deterministic KES key pair given a seed.

mkVRFKeyPair ∷ Crypto c ⇒ RawSeed → VRFKeyPair c Source #

For testing purposes, generate a deterministic VRF key pair given a seed.

runShelleyBase ∷ ShelleyBase a → a Source #

maxKESIterations ∷ Word64 Source #

slotsPerKESIteration ∷ Word64 Source #

runSTS ∷ ∀ (rule ∷ Symbol) era. (BaseM (EraRule rule era) ~ ShelleyBase, STS (EraRule rule era)) ⇒ Globals → Environment (EraRule rule era) → State (EraRule rule era) → Signal (EraRule rule era) → Either (NonEmpty (PredicateFailure (EraRule rule era))) (State (EraRule rule era), [Event (EraRule rule era)]) Source #

testSTS ∷ (BaseM s ~ ShelleyBase, STS s, Eq (State s), Show (State s), ToExpr (State s)) ⇒ Environment s → State s → Signal s → Either (NonEmpty (PredicateFailure s)) (State s) → Assertion Source #

maxLLSupply ∷ Coin Source #

applySTSTest ∷ ∀ s m (rtype ∷ RuleType). (STS s, RuleTypeRep rtype, m ~ BaseM s) ⇒ RuleContext rtype s → m (Either (NonEmpty (PredicateFailure s)) (State s)) Source #

Apply STS checking assertions.

type GenesisKeyPair c = KeyPair 'GenesisRole Source #

getBlockNonce ∷ Block (BHeader MockCrypto) era → Nonce Source #

type ChainProperty era = (ApplyBlock era, GetLedgerView era, EraTx era) Source #

data RawSeed Source #

Constructors

RawSeed !Word64 !Word64 !Word64 !Word64 !Word64

Instances

Instances details

Arbitrary RawSeed
Instance details Defined in Test.Cardano.Ledger.Shelley.Arbitrary Methods arbitrary ∷ Gen RawSeed Source # shrink ∷ RawSeed → [RawSeed] Source #
EncCBOR RawSeed
Instance details Defined in Test.Cardano.Ledger.Shelley.Arbitrary Methods encCBOR ∷ RawSeed → Encoding Source #
Show RawSeed
Instance details Defined in Test.Cardano.Ledger.Shelley.Arbitrary Methods showsPrec ∷ Int → RawSeed → ShowS # show ∷ RawSeed → String # showList ∷ [RawSeed] → ShowS #
Eq RawSeed
Instance details Defined in Test.Cardano.Ledger.Shelley.Arbitrary Methods (==) ∷ RawSeed → RawSeed → Bool # (/=) ∷ RawSeed → RawSeed → Bool #

class Split v where Source #

Methods

vsplit ∷ v → Integer → ([v], Coin) Source #

Instances

Instances details

Split Coin Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.Utils Methods vsplit ∷ Coin → Integer → ([Coin], Coin) Source #

module Test.Cardano.Ledger.Core.Utils