Cardano.Ledger.Dijkstra.Governance
Contents
Methods
constitutionGovStateL ∷ Lens' (GovState DijkstraEra) (Constitution DijkstraEra) Source #
proposalsGovStateL ∷ Lens' (GovState DijkstraEra) (Proposals DijkstraEra) Source #
drepPulsingStateGovStateL ∷ Lens' (GovState DijkstraEra) (DRepPulsingState DijkstraEra) Source #
committeeGovStateL ∷ Lens' (GovState DijkstraEra) (StrictMaybe (Committee DijkstraEra)) Source #
Associated Types
type GovState DijkstraEra = (r ∷ Type) Source #
emptyGovState ∷ GovState DijkstraEra Source #
curPParamsGovStateL ∷ Lens' (GovState DijkstraEra) (PParams DijkstraEra) Source #
prevPParamsGovStateL ∷ Lens' (GovState DijkstraEra) (PParams DijkstraEra) Source #
futurePParamsGovStateL ∷ Lens' (GovState DijkstraEra) (FuturePParams DijkstraEra) Source #
obligationGovState ∷ GovState DijkstraEra → Obligations Source #