cardano-ledger-shelley-test-1.5.1.0: Test helpers from cardano-ledger-shelley exposed to other packages
Safe HaskellSafe-Inferred
LanguageHaskell2010

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

Documentation

keySpace ∷ ∀ era. EraGen era ⇒ ConstantsKeySpace era Source #

Example keyspace for use in generators

genEnv ∷ ∀ era. EraGen era ⇒ Proxy era → ConstantsGenEnv era Source #

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

someKeyPairsCrypto c ⇒ Constants → (Int, Int) → Gen (KeyPairs c) Source #

Select between _lower_ and _upper_ keys from keyPairs

keyPairsCrypto c ⇒ ConstantsKeyPairs 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