| 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 ∷ Crypto c ⇒ Constants → [(KeyPair 'Genesis c, AllIssuerKeys c 'GenesisDelegate)]
- keySpace ∷ ∀ era. EraGen era ⇒ Constants → KeySpace era
- genEnv ∷ ∀ era. EraGen era ⇒ Proxy era → Constants → GenEnv era
- genesisDelegs0 ∷ Crypto c ⇒ Constants → Map (KeyHash 'Genesis c) (GenDelegPair c)
- someKeyPairs ∷ Crypto c ⇒ Constants → (Int, Int) → Gen (KeyPairs c)
- keyPairs ∷ Crypto c ⇒ Constants → KeyPairs c
- scriptSpace ∷ ∀ era. EraScript era ⇒ [TwoPhase3ArgInfo era] → [TwoPhase2ArgInfo era] → ScriptSpace era
Documentation
coreNodeKeys ∷ Crypto c ⇒ Constants → [(KeyPair 'Genesis c, AllIssuerKeys c 'GenesisDelegate)] Source #
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.
genesisDelegs0 ∷ Crypto c ⇒ Constants → Map (KeyHash 'Genesis c) (GenDelegPair c) Source #
someKeyPairs ∷ Crypto c ⇒ Constants → (Int, Int) → Gen (KeyPairs c) Source #
Select between _lower_ and _upper_ keys from keyPairs
keyPairs ∷ Crypto c ⇒ Constants → KeyPairs c 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