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



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.



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 ⇒ ConstantsIntIntGen (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