| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Shelley.Utils
Contents
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 ∷ (KESAlgorithm v, ContextKES v ~ ()) ⇒ SignKeyKES v → KESPeriod → KESPeriod → Maybe (SignKeyKES v)
- slotFromEpoch ∷ EpochNo → SlotNo
- epochSize ∷ EpochNo → EpochSize
- mkHash ∷ ∀ a h. HashAlgorithm h ⇒ Int → Hash h a
- mkKeyPair ∷ ∀ c kd. DSIGNAlgorithm (DSIGN c) ⇒ RawSeed → (SignKeyDSIGN (DSIGN c), VKey kd c)
- mkKeyPair' ∷ DSIGNAlgorithm (DSIGN c) ⇒ RawSeed → KeyPair kd c
- mkGenKey ∷ DSIGNAlgorithm (DSIGN c) ⇒ RawSeed → (SignKeyDSIGN (DSIGN c), VKey kd c)
- mkKESKeyPair ∷ Crypto c ⇒ RawSeed → KESKeyPair c
- mkVRFKeyPair ∷ Crypto c ⇒ RawSeed → VRFKeyPair c
- runShelleyBase ∷ ShelleyBase a → a
- maxKESIterations ∷ Word64
- slotsPerKESIteration ∷ Word64
- testSTS ∷ ∀ s. (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 'Genesis c
- getBlockNonce ∷ ∀ era. Era era ⇒ Block (BHeader (EraCrypto era)) era → Nonce
- type ChainProperty era = (Mock (EraCrypto era), ApplyBlock era, GetLedgerView era, EraTx era)
- data RawSeed = RawSeed !Word64 !Word64 !Word64 !Word64 !Word64
- class Split v where
- 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
Arguments
| ∷ (KESAlgorithm v, ContextKES v ~ ()) | |
| ⇒ SignKeyKES v | |
| → KESPeriod | Current KES period |
| → KESPeriod | Target KES period |
| → Maybe (SignKeyKES v) |
Try to evolve KES key until specific KES period is reached, given the current KES period.
mkKeyPair ∷ ∀ c kd. DSIGNAlgorithm (DSIGN c) ⇒ RawSeed → (SignKeyDSIGN (DSIGN c), VKey kd c) Source #
For testing purposes, generate a deterministic key pair given a seed.
mkKeyPair' ∷ DSIGNAlgorithm (DSIGN c) ⇒ RawSeed → KeyPair kd c Source #
For testing purposes, generate a deterministic key pair given a seed.
mkGenKey ∷ DSIGNAlgorithm (DSIGN c) ⇒ RawSeed → (SignKeyDSIGN (DSIGN c), VKey kd c) 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 #
testSTS ∷ ∀ s. (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 #
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 'Genesis c Source #
type ChainProperty era = (Mock (EraCrypto era), ApplyBlock era, GetLedgerView era, EraTx era) Source #