cardano-ledger-test-9.9.9.9: Testing harness, tests and benchmarks for Shelley style cardano ledgers
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Constrained.Conway.Deleg

Description

Specs necessary to generate, environment, state, and signal for the DELEG rule

Synopsis

Documentation

witnessedKeyHashPoolParamMapSpecEra era ⇒ WitUniv era → Specification (Map (KeyHash StakePool) PoolParams) Source #

The DState needs a witnessed set of delegations to be usefull. Use this Spec to obtain a random one