| 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 StandardCrypto)) Source #
govProposalsSpec ∷ IsConwayUniv fn ⇒ GovEnv (ConwayEra StandardCrypto) → Specification fn (Proposals (ConwayEra StandardCrypto)) Source #
proposalsSpec ∷ IsConwayUniv fn ⇒ Term fn EpochNo → Term fn (StrictMaybe (ScriptHash StandardCrypto)) → CertState Conway → Specification fn (Proposals Conway) Source #
allGASInTree ∷ (IsConwayUniv fn, IsPred p fn) ⇒ (Term fn (GovActionState (ConwayEra StandardCrypto)) → p) → Specification fn (ProposalTree (ConwayEra StandardCrypto)) Source #
allGASAndChildInTree ∷ (IsConwayUniv fn, IsPred p fn) ⇒ Term fn (ProposalTree (ConwayEra StandardCrypto)) → (Term fn (GovActionState (ConwayEra StandardCrypto)) → Term fn (GovActionState (ConwayEra StandardCrypto)) → p) → Pred fn Source #
wellFormedChildren ∷ IsConwayUniv fn ⇒ Term fn (ProposalTree (ConwayEra StandardCrypto)) → Pred fn Source #
withPrevActId ∷ IsConwayUniv fn ⇒ Term fn (GovActionState (ConwayEra StandardCrypto)) → (Term fn (StrictMaybe (GovActionId StandardCrypto)) → Pred fn) → Pred fn Source #
onHardFork ∷ (IsConwayUniv fn, IsPred p fn) ⇒ Term fn (GovActionState (ConwayEra StandardCrypto)) → (Term fn (StrictMaybe (GovPurposeId 'HardForkPurpose (ConwayEra StandardCrypto))) → Term fn ProtVer → p) → Pred fn Source #
govProceduresSpec ∷ IsConwayUniv fn ⇒ GovEnv (ConwayEra StandardCrypto) → Proposals (ConwayEra StandardCrypto) → Specification fn (GovSignal (ConwayEra StandardCrypto)) Source #
wfGovAction ∷ IsConwayUniv fn ⇒ GovEnv (ConwayEra StandardCrypto) → Proposals (ConwayEra StandardCrypto) → Term fn (GovAction (ConwayEra StandardCrypto)) → Pred fn Source #
wfPParamsUpdateSpec ∷ ∀ fn. IsConwayUniv fn ⇒ Specification fn (PParamsUpdate Conway) Source #