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

datadata AllIssuerKeys c (r :: KeyRole)

#

Constructors

AllIssuerKeys
- aikCold :: KeyPair r
- aikVrf :: VRFKeyPair c
- aikHot :: NonEmpty (KESPeriod, KESKeyPair c)
- aikColdKeyHash :: KeyHash r

datadata VRFKeyPair c

#

Constructors

VRFKeyPair
- vrfSignKey :: !SignKeyVRF (VRF c)
- vrfVerKey :: !VerKeyVRF (VRF c)

datadata KESKeyPair c

#

Constructors

KESKeyPair
- kesSignKey :: !UnsoundPureSignKeyKES (KES c)
- kesVerKey :: !VerKeyKES (KES c)

datadata GenEnv c era

#

Generator environment.

Constructors

GenEnv
- geKeySpace :: KeySpace c era
- geScriptSpapce :: ScriptSpace era
- geConstants :: Constants

Instances4HasTrace

(ApplyTx era, EraGen era, EraGov era, EraUTxO era, EraCertState era, ShelleyEraAccounts era, MinLEDGER_STS era, Embed (EraRule "DELPL" era) (CERTS era), Environment (EraRule "DELPL" era) ~ DelplEnv era, State (EraRule "DELPL" era) ~ CertState era, Signal (EraRule "DELPL" era) ~ TxCert era, PredicateFailure (EraRule "DELPL" era) ~ ShelleyDelplPredFailure era, Embed (EraRule "DELEGS" era) (LEDGER era), Embed (EraRule "UTXOW" era) (LEDGER era), Environment (EraRule "UTXOW" era) ~ UtxoEnv era, State (EraRule "UTXOW" era) ~ UTxOState era, Signal (EraRule "UTXOW" era) ~ StAnnTx TopTx era, Environment (EraRule "DELEGS" era) ~ DelegsEnv era, State (EraRule "DELEGS" era) ~ CertState era, Signal (EraRule "DELEGS" era) ~ Seq (TxCert era), AtMostEra "Babbage" era, EraRule "LEDGER" era ~ LEDGER era, Crypto c) => HasTrace (LEDGER era) (GenEnv c era)Defined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Generator.Trace.Ledger · orphan
(EraGen era, EraBlockBody era, EraBlockHeader (BHeader MockCrypto) era, ApplyBlock TestBlockHeader era, ShelleyEraForecast era, MinLEDGER_STS era, MinCHAIN_STS era, Embed (EraRule "BBODY" era) (CHAIN era), Environment (EraRule "BBODY" era) ~ BbodyEnv era, State (EraRule "BBODY" era) ~ ShelleyBbodyState era, Signal (EraRule "BBODY" era) ~ BbodySignal era, Embed (EraRule "TICKN" era) (CHAIN era), Environment (EraRule "TICKN" era) ~ TicknEnv, State (EraRule "TICKN" era) ~ TicknState, Signal (EraRule "TICKN" era) ~ Bool, Embed (EraRule "TICK" era) (CHAIN era), Environment (EraRule "TICK" era) ~ (), State (EraRule "TICK" era) ~ NewEpochState era, Signal (EraRule "TICK" era) ~ SlotNo, HasTrace (EraRule "LEDGERS" era) (GenEnv MockCrypto era), PredicateFailure (EraRule "TICKF" era) ~ Void) => HasTrace (CHAIN era) (GenEnv MockCrypto era)Defined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Generator.Trace.Chain · orphan
(EraGen era, Embed (EraRule "DELPL" era) (CERTS era), Environment (EraRule "DELPL" era) ~ DelplEnv era, State (EraRule "DELPL" era) ~ CertState era, Signal (EraRule "DELPL" era) ~ TxCert era, AtMostEra "Babbage" era, EraCertState era, Crypto c) => HasTrace (CERTS era) (GenEnv c era)Defined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Generator.Trace.TxCert
(Crypto c, ApplyTx era, EraGen era, EraGov era, EraUTxO era, EraStake era, EraCertState era, ShelleyEraAccounts era, MinLEDGER_STS era, Embed (EraRule "DELPL" era) (CERTS era), Environment (EraRule "DELPL" era) ~ DelplEnv era, State (EraRule "DELPL" era) ~ CertState era, Signal (EraRule "DELPL" era) ~ TxCert era, PredicateFailure (EraRule "DELPL" era) ~ ShelleyDelplPredFailure era, Embed (EraRule "DELEG" era) (DELPL era), Embed (EraRule "LEDGER" era) (LEDGERS era), AtMostEra "Babbage" era) => HasTrace (LEDGERS era) (GenEnv c era)Defined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Generator.Trace.Ledger · orphan

datadata ScriptSpace era

#

Constructors

ScriptSpace
- ssScripts3 :: [TwoPhase3ArgInfo era]
  A list of Two Phase 3 Arg Scripts and their associated data we can use.
- ssScripts2 :: [TwoPhase2ArgInfo era]
  A list of Two Phase 2 Arg Scripts and their associated data we can use.
- ssHash3 :: Map ScriptHash (TwoPhase3ArgInfo era)
- ssHash2 :: Map ScriptHash (TwoPhase2ArgInfo era)

Instances1Show

Show (Script era) => Show (ScriptSpace era)Defined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Generator.Core

datadata TwoPhase3ArgInfo era

#

Constructors

TwoPhase3ArgInfo
- getScript3 :: Script era
  A Plutus Script
- getHash3 :: ScriptHash
  Its ScriptHash
- getData3 :: Data
  A Data that will make it succeed
- getRedeemer3 :: (Data, Natural, Natural)
  A Redeemer that will make it succeed
- getSucceeds3 :: Bool

Instances1Show

Show (Script era) => Show (TwoPhase3ArgInfo era)Defined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Generator.Core

datadata TwoPhase2ArgInfo era

#

Constructors

TwoPhase2ArgInfo
- getScript2 :: Script era
  A Plutus Script
- getHash2 :: ScriptHash
  Its ScriptHash
- getRedeemer2 :: (Data, Natural, Natural)
  A Redeemer that will make it succeed
- getSucceeds2 :: Bool

Instances1Show

Show (Script era) => Show (TwoPhase2ArgInfo era)Defined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Generator.Core

typetype ScriptInfo era = (Map ScriptHash (TwoPhase3ArgInfo era), Map ScriptHash (TwoPhase2ArgInfo era))

#

datadata KeySpace c era

#

Collection of all keys which are required to generate a trace.

These are the _only_ keys which should be involved in the trace.

Constructors

KeySpace_
- ksCoreNodes :: [(GenesisKeyPair c, AllIssuerKeys c GenesisDelegate)]
- ksGenesisDelegates :: [AllIssuerKeys c GenesisDelegate]
  Bag of keys to be used for future genesis delegates
- ksStakePools :: [AllIssuerKeys c StakePool]
  Bag of keys to be used for future stake pools
- ksKeyPairs :: KeyPairs
  Bag of keys to be used for future payment/staking addresses
- ksMSigScripts :: [(Script era, Script era)]
- ksIndexedPaymentKeys :: Map (KeyHash Payment) (KeyPair Payment)
  Index over the payment keys in ksKeyPairs
- ksIndexedStakingKeys :: Map (KeyHash Staking) (KeyPair Staking)
  Index over the staking keys in ksKeyPairs
- ksIndexedGenDelegates :: Map (KeyHash GenesisDelegate) (AllIssuerKeys c GenesisDelegate)
  Index over the cold key hashes in Genesis Delegates
- ksIndexedPayScripts :: Map ScriptHash (Script era, Script era)
  Index over the pay script hashes in Script pairs
- ksIndexedStakeScripts :: Map ScriptHash (Script era, Script era)
  Index over the stake script hashes in Script pairs

Instances1Show

(Era era, Show (Script era), Crypto c) => Show (KeySpace c era)Defined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Generator.Core

pattern

pattern KeySpace :: ScriptClass era => [(GenesisKeyPair c, AllIssuerKeys c GenesisDelegate)] -> [AllIssuerKeys c GenesisDelegate] -> [AllIssuerKeys c StakePool] -> KeyPairs -> [(Script era, Script era)] -> KeySpace c era

#

newtypenewtype NatNonce

#

Constructors

NatNonce Natural

valuefindPayKeyPairAddr

:: Addr
-> Map (KeyHash Payment) (KeyPair Payment)
-> KeyPair Payment

#

Find first matching key pair for address. Returns the matching key pair where the first element of the pair matched the hash in addr.

valuefindPayKeyPairCred

:: Credential kr
-> Map (KeyHash kr) (KeyPair kr)
-> KeyPair kr

#

Find first matching key pair for a credential. Returns the matching key pair where the first element of the pair matched the hash in addr.

valuefindPayScriptFromCred

:: Credential Witness
-> Map ScriptHash (Script era, Script era)
-> (Script era, Script era)

#

Find matching multisig scripts for a credential.

valuefindStakeScriptFromCred

:: Credential Witness
-> Map ScriptHash (Script era, Script era)
-> (Script era, Script era)

#

Find first matching script for a credential.

valuefindPayScriptFromAddr

:: Addr
-> Map ScriptHash (Script era, Script era)
-> (Script era, Script era)

#

Find first matching multisig script for an address.

valuegenBool :: Gen Bool

#

valuegenCoinList :: Integer -> Integer -> Int -> Gen [Coin]

#

Generates a list of Coin values of length between lower and upper and with values between minCoin and maxCoin.

valuegenInteger :: Integer -> Integer -> Gen Integer

#

valuegenNatural :: Natural -> Natural -> Gen Natural

#

Generator for a natural number between lower and upper

valuegenWord64 :: Word64 -> Word64 -> Gen Word64

#

Generator for a Word64 between lower and upper

valuegenTxOut :: EraTxOut era => Gen (Value era) -> [Addr] -> Gen [TxOut era]

#

Generates a list of coins for the given Addr and produced a TxOut for each Addr

Note: we need to keep the initial utxo coin sizes large enough so that when we simulate sequences of transactions, we have enough funds available to include certificates that require deposits.

valuegenesisCoins :: TxId -> [TxOut era] -> UTxO era

#

Creates the UTxO for a new ledger with the specified genesis TxId and transaction outputs.

valueincreasingProbabilityAt :: Gen a -> (a, a) -> Gen a

#

Generate values the given distribution in 90% of the cases, and values at the bounds of the range in 10% of the cases.

This can be used to generate enough extreme values. The exponential and linear distributions provided by hedgehog will generate a small percentage of these (0-1%).

valuepickStakeKey :: KeyPairs -> Gen (VKey Staking)

#

Select one random verification staking key from list of pairs of KeyPair.

valuemkAddr :: (MakeCredential p Payment, MakeStakeReference s) => p -> s -> Addr

#

methodmkCredential :: c -> Credential r

#

valuemkBlock

:: (Crypto c, EraBlockBody era, Signable (VRF c) Seed, Signable (KES c) (BHBody c))
=> HashHeader
-> AllIssuerKeys c r
-> [Tx TopTx era]
-> SlotNo
-> BlockNo
-> Nonce
-> Word
-> Word
-> OCert c
-> Block (BHeader c) era

#

valuemkBlockFakeVRF

:: (Crypto c, EraBlockBody era, Signable (VRF c) (WithResult Seed), Signable (KES c) (BHBody c))
=> HashHeader
-> AllIssuerKeys c r
-> [Tx TopTx era]
-> SlotNo
-> BlockNo
-> Nonce
-> NatNonce
-> UnitInterval
-> Word
-> Word
-> OCert c
-> Block (BHeader c) era

#

valuemkOCert :: Crypto c => AllIssuerKeys c r -> Word64 -> KESPeriod -> OCert c

#

valuegetKESPeriodRenewalNo :: AllIssuerKeys h r -> KESPeriod -> Integer

#

Takes a sequence of KES hot keys and checks to see whether there is one whose range contains the current KES period. If so, return its index in the list of hot keys.

valuetooLateInEpoch :: SlotNo -> Bool

#

True if the given slot is within the last `2 * stabilityWindow` slots of the current epoch.

datadata RawSeed

#