Define CDDL for the 'gov/committee' namespace #95
Description
data ConwayGovState era = ConwayGovState
{ cgsProposals :: !(Proposals era)
, cgsCommittee :: !(StrictMaybe (Committee era))
, cgsConstitution :: !(Constitution era)
, cgsCurPParams :: !(PParams era)
, cgsPrevPParams :: !(PParams era)
, cgsFuturePParams :: !(FuturePParams era)
, cgsDRepPulsingState :: !(DRepPulsingState era)
-- ^ The 'cgsDRepPulsingState' field is a pulser that incrementally computes the stake
-- distribution of the DReps over the Epoch following the close of voting at end of
-- the previous Epoch. It assembles this with some of its other internal components
-- into a (RatifyEnv era) when it completes, and then calls the RATIFY rule and
-- eventually returns the updated RatifyState. The pulser is created at the Epoch
-- boundary, but does no work until it is pulsed in the 'NEWEPOCH' rule, whenever the
-- system is NOT at the epoch boundary.
}
deriving (Generic, Show)
data Committee era = Committee
{ committeeMembers :: !(Map (Credential 'ColdCommitteeRole) EpochNo)
-- ^ Committee members with epoch number when each of them expires
, committeeThreshold :: !UnitInterval
-- ^ Threshold of the committee that is necessary for a successful vote
}
deriving (Eq, Show, Generic)
- gov/committee/v0
key: 0
value : Committee
type: Committee
Metadata
Metadata
Assignees
Labels
No labels