Modulecardano-ledger-shelley-test-1.9.0.0Haskell2010

Test.Cardano.Ledger.Shelley.Generator.Presets

Pre-generated items to use in traces.

Functions in this module make specific assumptions about the sets of keys involved, and thus cannot be used as generic generators.

valuegenCoreNodeKeys

valuegenIssuerKeys :: Crypto c => Constants -> Gen (AllIssuerKeys c r)

valuecoreNodeKeys

valuekeySpace :: (EraGen era, Crypto c) => Constants -> KeySpace c era

Example keyspace for use in generators

valuegenEnv :: (EraGen era, Crypto c) => Proxy era -> Constants -> GenEnv c era

Example generator environment, consisting of default constants and an corresponding keyspace.

valuegenesisDelegs0 :: Constants -> Map (KeyHash GenesisRole) GenDelegPair

valuesomeKeyPairs :: Constants -> (Int, Int) -> Gen KeyPairs

Select between _lower_ and _upper_ keys from keyPairs

valuekeyPairs :: Constants -> KeyPairs

Constant list of KeyPairs intended to be used in the generators.

valuescriptSpace

An Example Script space for use in Trace generators