| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Constrained.Conway.Gov
Description
Specs necessary to generate, environment, state, and signal for the GOV rule
Documentation
govEnvSpec ∷ IsConwayUniv fn ⇒ Specification fn (GovEnv ConwayEra) Source #
govProposalsSpec ∷ IsConwayUniv fn ⇒ GovEnv ConwayEra → Specification fn (Proposals ConwayEra) Source #
proposalsSpec ∷ IsConwayUniv fn ⇒ Term fn EpochNo → Term fn (StrictMaybe ScriptHash) → Term fn (CertState ConwayEra) → Specification fn (Proposals ConwayEra) Source #
allGASInTree ∷ (IsConwayUniv fn, IsPred p fn) ⇒ (Term fn (GovActionState ConwayEra) → p) → Specification fn (ProposalTree ConwayEra) Source #
allGASAndChildInTree ∷ (IsConwayUniv fn, IsPred p fn) ⇒ Term fn (ProposalTree ConwayEra) → (Term fn (GovActionState ConwayEra) → Term fn (GovActionState ConwayEra) → p) → Pred fn Source #
wellFormedChildren ∷ IsConwayUniv fn ⇒ Term fn (ProposalTree ConwayEra) → Pred fn Source #
withPrevActId ∷ IsConwayUniv fn ⇒ Term fn (GovActionState ConwayEra) → (Term fn (StrictMaybe GovActionId) → Pred fn) → Pred fn Source #
onHardFork ∷ (IsConwayUniv fn, IsPred p fn) ⇒ Term fn (GovActionState ConwayEra) → (Term fn (StrictMaybe (GovPurposeId 'HardForkPurpose ConwayEra)) → Term fn ProtVer → p) → Pred fn Source #
govProceduresSpec ∷ IsConwayUniv fn ⇒ GovEnv ConwayEra → Proposals ConwayEra → Specification fn (GovSignal ConwayEra) Source #
wfGovAction ∷ IsConwayUniv fn ⇒ GovEnv ConwayEra → Proposals ConwayEra → Term fn (GovAction ConwayEra) → Pred fn Source #
wfPParamsUpdateSpec ∷ ∀ fn. IsConwayUniv fn ⇒ Specification fn (PParamsUpdate ConwayEra) Source #