Test.Cardano.Ledger.Shelley.Utils · cardano-ledger-shelley-test-1.9.0.0

valuemkSeedFromWords :: RawSeed -> Seed

#

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.

valuemkCertifiedVRF

:: (Signable v a, VRFAlgorithm v, ContextVRF v ~ (), Coercible b (CertifiedVRF v a))
=> a
-> SignKeyVRF v
-> b

#

For testing purposes, create a VRF value

valueepochFromSlotNo :: SlotNo -> EpochNo

#

valueevolveKESUntil

:: (UnsoundPureKESAlgorithm c, ContextKES c ~ ())
=> UnsoundPureSignKeyKES c
-> KESPeriod
-> KESPeriod
-> Maybe (UnsoundPureSignKeyKES c)

#

valueslotFromEpoch :: EpochNo -> SlotNo

#

valueepochSize :: EpochNo -> EpochSize

#

valuemkHash :: HashAlgorithm h => Int -> Hash h a

#

valuemkKeyPair :: RawSeed -> (SignKeyDSIGN DSIGN, VKey kd)

#

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

valuemkKeyPair' :: RawSeed -> KeyPair kd

#

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

valuemkGenKey :: RawSeed -> (SignKeyDSIGN DSIGN, VKey kd)

#

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

valuemkKESKeyPair :: Crypto c => RawSeed -> KESKeyPair c

#

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

valuemkVRFKeyPair :: Crypto c => RawSeed -> VRFKeyPair c

#

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

valuerunShelleyBase :: ShelleyBase a -> a

#

valuemaxKESIterations :: Word64

#

valueslotsPerKESIteration :: Word64

#

valuerunSTS

:: (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)])

#

valuetestSTS

:: (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

#

valuemaxLLSupply :: Coin

#

valueapplySTSTest

:: (STS s, RuleTypeRep rtype, m ~ BaseM s)
=> RuleContext rtype s
-> m (Either (NonEmpty (PredicateFailure s)) (State s))

#

typetype GenesisKeyPair c = KeyPair GenesisRole

#

valuegetBlockNonce :: Block (BHeader MockCrypto) era -> Nonce

#

typetype ChainProperty era = (ApplyBlock TestBlockHeader era, ShelleyEraForecast era, EraTx era)

#

datadata RawSeed

#

Constructors

RawSeed !Word64 !Word64 !Word64 !Word64 !Word64

classclass Split v where

#

Methods

vsplit :: v -> Integer -> ([v], Coin)

Instances1Split

Split CoinDefined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Utils

valueunsafeBoundRational

:: (HasCallStack, Typeable r, BoundedRational r)
=> Rational
-> r

#

valuemkActiveStake

:: Map (Credential Staking) Coin
-> Map (Credential Staking) (KeyHash StakePool)
-> ActiveStake

#

valuemkDummySafeHash :: Int -> SafeHash a

#

valuetestGlobals :: Globals

#

valuetxInAt :: (HasCallStack, EraTx era) => Int -> Tx l era -> TxIn

#