| Safe Haskell | Safe-Inferred |
|---|---|
| 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
- coreNodeKeys ∷ Constants → [(KeyPair 'Genesis, AllIssuerKeys MockCrypto 'GenesisDelegate)]
- keySpace ∷ ∀ era. EraGen era ⇒ Constants → KeySpace era
- genEnv ∷ ∀ era. EraGen era ⇒ Proxy era → Constants → GenEnv era
- genesisDelegs0 ∷ Constants → Map (KeyHash 'Genesis) GenDelegPair
- someKeyPairs ∷ Constants → (Int, Int) → Gen KeyPairs
- keyPairs ∷ Constants → KeyPairs
- scriptSpace ∷ ∀ era. EraScript era ⇒ [TwoPhase3ArgInfo era] → [TwoPhase2ArgInfo era] → ScriptSpace era
Documentation
keySpace ∷ ∀ era. EraGen era ⇒ Constants → KeySpace era Source #
Example keyspace for use in generators
genEnv ∷ ∀ era. EraGen era ⇒ Proxy era → Constants → GenEnv 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 ∷ ∀ era. EraScript era ⇒ [TwoPhase3ArgInfo era] → [TwoPhase2ArgInfo era] → ScriptSpace era Source #
An Example Script space for use in Trace generators