| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Constrained.Conway.Gov
Description
Specs necessary to generate, environment, state, and signal for the GOV rule
Synopsis
- succVersionOrCurrent ∷ ProtVer → Version
- govEnvSpec ∷ Specification (GovEnv ConwayEra)
- govProposalsSpec ∷ GovEnv ConwayEra → Specification (Proposals ConwayEra)
- proposalsSpec ∷ Term EpochNo → Term Version → Term (StrictMaybe ScriptHash) → Term (CertState ConwayEra) → Specification (Proposals ConwayEra)
- allGASInTree ∷ IsPred p ⇒ (Term (GovActionState ConwayEra) → p) → Specification (ProposalTree ConwayEra)
- allGASAndChildInTree ∷ IsPred p ⇒ Term (ProposalTree ConwayEra) → (Term (GovActionState ConwayEra) → Term (GovActionState ConwayEra) → p) → Pred
- wellFormedChildren ∷ Term (ProposalTree ConwayEra) → Pred
- withPrevActId ∷ Term (GovActionState ConwayEra) → (Term (StrictMaybe GovActionId) → Pred) → Pred
- onHardFork ∷ IsPred p ⇒ Term (GovActionState ConwayEra) → (Term (StrictMaybe (GovPurposeId 'HardForkPurpose)) → Term ProtVer → p) → Pred
- govProceduresSpec ∷ GovEnv ConwayEra → Proposals ConwayEra → Specification (GovSignal ConwayEra)
- wfGovAction ∷ GovEnv ConwayEra → Proposals ConwayEra → Term (GovAction ConwayEra) → Pred
- wfPParamsUpdateSpec ∷ Specification (PParamsUpdate ConwayEra)
Documentation
succVersionOrCurrent ∷ ProtVer → Version Source #
Return succVersion of the major version, capped at maxBound
proposalsSpec ∷ Term EpochNo → Term Version → 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 #
withPrevActId ∷ Term (GovActionState ConwayEra) → (Term (StrictMaybe GovActionId) → Pred) → Pred Source #
onHardFork ∷ IsPred p ⇒ Term (GovActionState ConwayEra) → (Term (StrictMaybe (GovPurposeId 'HardForkPurpose)) → Term ProtVer → p) → Pred Source #