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.Gov

Description

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

Documentation

govEnvSpec ∷ Specification (GovEnv ConwayEra) Source #

govProposalsSpec ∷ GovEnv ConwayEra → Specification (Proposals ConwayEra) Source #

proposalsSpec ∷ Term EpochNo → Term (StrictMaybe ScriptHash) → Term (CertState ConwayEra) → Specification (Proposals ConwayEra) Source #

allGASInTree ∷ IsPred p ⇒ (Term (GovActionState ConwayEra) → p) → Specification (ProposalTree ConwayEra) Source #

allGASAndChildInTree ∷ IsPred p ⇒ Term (ProposalTree ConwayEra) → (Term (GovActionState ConwayEra) → Term (GovActionState ConwayEra) → p) → Pred Source #

wellFormedChildren ∷ Term (ProposalTree ConwayEra) → Pred Source #

withPrevActId ∷ Term (GovActionState ConwayEra) → (Term (StrictMaybe GovActionId) → Pred) → Pred Source #

onHardFork ∷ IsPred p ⇒ Term (GovActionState ConwayEra) → (Term (StrictMaybe (GovPurposeId 'HardForkPurpose ConwayEra)) → Term ProtVer → p) → Pred Source #

govProceduresSpec ∷ GovEnv ConwayEra → Proposals ConwayEra → Specification (GovSignal ConwayEra) Source #

wfGovAction ∷ GovEnv ConwayEra → Proposals ConwayEra → Term (GovAction ConwayEra) → Pred Source #

wfPParamsUpdateSpec ∷ Specification (PParamsUpdate ConwayEra) Source #