| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Shelley.Generator.Presets
Description
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.
Synopsis
- genCoreNodeKeys ∷ Crypto c ⇒ Constants → Gen [(KeyPair 'GenesisRole, AllIssuerKeys c 'GenesisDelegate)]
- genIssuerKeys ∷ ∀ c (r ∷ KeyRole). Crypto c ⇒ Constants → Gen (AllIssuerKeys c r)
- coreNodeKeys ∷ Crypto c ⇒ Constants → [(KeyPair 'GenesisRole, AllIssuerKeys c 'GenesisDelegate)]
- keySpace ∷ (EraGen era, Crypto c) ⇒ Constants → KeySpace c era
- genEnv ∷ (EraGen era, Crypto c) ⇒ Proxy era → Constants → GenEnv c era
- genesisDelegs0 ∷ Constants → Map (KeyHash 'GenesisRole) GenDelegPair
- someKeyPairs ∷ Constants → (Int, Int) → Gen KeyPairs
- keyPairs ∷ Constants → KeyPairs
- scriptSpace ∷ EraScript era ⇒ [TwoPhase3ArgInfo era] → [TwoPhase2ArgInfo era] → ScriptSpace era
Documentation
genCoreNodeKeys ∷ Crypto c ⇒ Constants → Gen [(KeyPair 'GenesisRole, AllIssuerKeys c 'GenesisDelegate)] Source #
genIssuerKeys ∷ ∀ c (r ∷ KeyRole). Crypto c ⇒ Constants → Gen (AllIssuerKeys c r) Source #
coreNodeKeys ∷ Crypto c ⇒ Constants → [(KeyPair 'GenesisRole, AllIssuerKeys c 'GenesisDelegate)] Source #
keySpace ∷ (EraGen era, Crypto c) ⇒ Constants → KeySpace c era Source #
Example keyspace for use in generators
genEnv ∷ (EraGen era, Crypto c) ⇒ Proxy era → Constants → GenEnv c era Source #
Example generator environment, consisting of default constants and an corresponding keyspace.
someKeyPairs ∷ Constants → (Int, Int) → Gen KeyPairs Source #
Select between _lower_ and _upper_ keys from keyPairs
keyPairs ∷ Constants → KeyPairs Source #
Constant list of KeyPairs intended to be used in the generators.
scriptSpace ∷ EraScript era ⇒ [TwoPhase3ArgInfo era] → [TwoPhase2ArgInfo era] → ScriptSpace era Source #
An Example Script space for use in Trace generators