Modulecardano-ledger-conway-1.23.0.0

Cardano.Ledger.Conway.Governance

30 types
4 classes
120 values

Packagecardano-ledger-conway-1.23.0.0
Exports154
LicenceApache-2.0

valueauthorizedElectedHotCommitteeCredentials

valuecgsCommitteeL

:: Functor f
=> StrictMaybe (Committee era) -> f (StrictMaybe (Committee era))
-> ConwayGovState era
-> f (ConwayGovState era)

valuecgsConstitutionL

:: Functor f
=> Constitution era -> f (Constitution era)
-> ConwayGovState era
-> f (ConwayGovState era)

valuecgsCurPParamsL

:: Functor f
=> PParams era -> f (PParams era)
-> ConwayGovState era
-> f (ConwayGovState era)

valuecgsDRepPulsingStateL

:: Functor f
=> DRepPulsingState era -> f (DRepPulsingState era)
-> ConwayGovState era
-> f (ConwayGovState era)

valuecgsFuturePParamsL

:: Functor f
=> FuturePParams era -> f (FuturePParams era)
-> ConwayGovState era
-> f (ConwayGovState era)

valuecgsPrevPParamsL

:: Functor f
=> PParams era -> f (PParams era)
-> ConwayGovState era
-> f (ConwayGovState era)

valuecgsProposalsL

:: Functor f
=> Proposals era -> f (Proposals era)
-> ConwayGovState era
-> f (ConwayGovState era)

value

conwayGovStateDRepDistrG :: (ConwayEraAccounts era, EraStake era) => SimpleGetter (ConwayGovState era) (Map DRep (CompactForm Coin))

valuedefaultStakePoolVote

:: ConwayEraAccounts era
=> KeyHash StakePool
-> Map (KeyHash StakePool) StakePoolState
-> Accounts era
-> DefaultVote

valueepochStateDRepPulsingStateL :: ConwayEraGov era => Lens' (EpochState era) (DRepPulsingState era)

valueforceDRepPulsingState

:: ConwayEraGov era
=> NewEpochState era
-> NewEpochState era

valuegetRatifyState

:: (ConwayEraAccounts era, EraStake era)
=> ConwayGovState era
-> RatifyState era

valuegovStatePrevGovActionIds

valuemkEnactState :: ConwayEraGov era => GovState era -> EnactState era

valuenewEpochStateDRepPulsingStateL :: ConwayEraGov era => Lens' (NewEpochState era) (DRepPulsingState era)

valuepredictFuturePParams

:: (ConwayEraAccounts era, EraStake era)
=> ConwayGovState era
-> ConwayGovState era

valuesetCompleteDRepPulsingState

:: ConwayEraGov era
=> PulsingSnapshot era
-> RatifyState era
-> EpochState era
-> EpochState era

valuesetFreshDRepPulsingState

:: (GovState era ~ ConwayGovState era, Monad m, RunConwayRatify era, ConwayEraGov era, ConwayEraCertState era)
=> EpochNo
-> PoolDistr
-> EpochState era
-> ReaderT Globals m (EpochState era)

valuecompleteDRepPulsingState

:: (EraStake era, ConwayEraAccounts era)
=> DRepPulsingState era
-> DRepPulsingState era

valuecomputeDRepDistr

:: (EraStake era, ConwayEraAccounts era)
=> InstantStake era
-> Map (Credential DRepRole) DRepState
-> Map (Credential Staking) (CompactForm Coin)
-> PoolDistr
-> Map DRep (CompactForm Coin)
-> Map (Credential Staking) (AccountState era)
-> (Map DRep (CompactForm Coin), PoolDistr)

valueextractDRepPulsingState

:: (EraStake era, ConwayEraAccounts era)
=> DRepPulsingState era
-> RatifyState era

valuefinishDRepPulser

:: (EraStake era, ConwayEraAccounts era)
=> DRepPulsingState era
-> (PulsingSnapshot era, RatifyState era)

value

psDRepDistrG :: (EraStake era, ConwayEraAccounts era) => SimpleGetter (DRepPulsingState era) (Map DRep (CompactForm Coin))

valuepsDRepDistrL

:: Functor f
=> Map DRep (CompactForm Coin) -> f (Map DRep (CompactForm Coin))
-> PulsingSnapshot era
-> f (PulsingSnapshot era)

valuepsDRepStateL

:: Functor f
=> Map (Credential DRepRole) DRepState -> f (Map (Credential DRepRole) DRepState)
-> PulsingSnapshot era
-> f (PulsingSnapshot era)

valuepsPoolDistrL

:: Functor f
=> Map (KeyHash StakePool) (CompactForm Coin) -> f (Map (KeyHash StakePool) (CompactForm Coin))
-> PulsingSnapshot era
-> f (PulsingSnapshot era)

valuepsProposalsL

:: Functor f
=> StrictSeq (GovActionState era) -> f (StrictSeq (GovActionState era))
-> PulsingSnapshot era
-> f (PulsingSnapshot era)

valuepulseDRepPulsingState

:: (EraStake era, ConwayEraAccounts era)
=> DRepPulsingState era
-> DRepPulsingState era

valueactionPriority :: GovAction era -> Int

valueensCommitteeL

:: Functor f
=> StrictMaybe (Committee era) -> f (StrictMaybe (Committee era))
-> EnactState era
-> f (EnactState era)

valueensConstitutionL

:: Functor f
=> Constitution era -> f (Constitution era)
-> EnactState era
-> f (EnactState era)

valueensCurPParamsL

:: Functor f
=> PParams era -> f (PParams era)
-> EnactState era
-> f (EnactState era)

valueensPrevCommitteeL

:: Functor f
=> StrictMaybe (GovPurposeId 'CommitteePurpose) -> f (StrictMaybe (GovPurposeId 'CommitteePurpose))
-> EnactState era
-> f (EnactState era)

valueensPrevConstitutionL

:: Functor f
=> StrictMaybe (GovPurposeId 'ConstitutionPurpose) -> f (StrictMaybe (GovPurposeId 'ConstitutionPurpose))
-> EnactState era
-> f (EnactState era)

valueensPrevGovActionIdsL

:: Functor f
=> GovRelation StrictMaybe -> f (GovRelation StrictMaybe)
-> EnactState era
-> f (EnactState era)

valueensPrevHardForkL

:: Functor f
=> StrictMaybe (GovPurposeId 'HardForkPurpose) -> f (StrictMaybe (GovPurposeId 'HardForkPurpose))
-> EnactState era
-> f (EnactState era)

valueensPrevPParamUpdateL

:: Functor f
=> StrictMaybe (GovPurposeId 'PParamUpdatePurpose) -> f (StrictMaybe (GovPurposeId 'PParamUpdatePurpose))
-> EnactState era
-> f (EnactState era)

valueensPrevPParamsL

:: Functor f
=> PParams era -> f (PParams era)
-> EnactState era
-> f (EnactState era)

valueensProtVerL :: EraPParams era => Lens' (EnactState era) ProtVer

valueensTreasuryL

:: Functor f
=> Coin -> f Coin
-> EnactState era
-> f (EnactState era)

valueensWithdrawalsL

:: Functor f
=> Map (Credential Staking) Coin -> f (Map (Credential Staking) Coin)
-> EnactState era
-> f (EnactState era)

valueisCommitteeVotingAllowed

:: ConwayEraPParams era
=> EpochNo
-> CommitteeState era
-> GovAction era
-> Bool

valueisDRepVotingAllowed :: ConwayEraPParams era => GovAction era -> Bool

valueisStakePoolVotingAllowed :: ConwayEraPParams era => GovAction era -> Bool

valuepparamsUpdateThreshold

valueratifySignalL

:: Functor f
=> StrictSeq (GovActionState era) -> f (StrictSeq (GovActionState era))
-> RatifySignal era
-> f (RatifySignal era)

valuereCommitteeStateL

:: Functor f
=> CommitteeState era -> f (CommitteeState era)
-> RatifyEnv era
-> f (RatifyEnv era)

valuereCurrentEpochL

:: Functor f
=> EpochNo -> f EpochNo
-> RatifyEnv era
-> f (RatifyEnv era)

valuereDRepDistrL

:: Functor f
=> Map DRep (CompactForm Coin) -> f (Map DRep (CompactForm Coin))
-> RatifyEnv era
-> f (RatifyEnv era)

valuereDRepStateL

:: Functor f
=> Map (Credential DRepRole) DRepState -> f (Map (Credential DRepRole) DRepState)
-> RatifyEnv era
-> f (RatifyEnv era)

valuereorderActions

:: StrictSeq (GovActionState era)
-> StrictSeq (GovActionState era)

valuersDelayedL

:: Functor f
=> Bool -> f Bool
-> RatifyState era
-> f (RatifyState era)

valuersEnactStateL

:: Functor f
=> EnactState era -> f (EnactState era)
-> RatifyState era
-> f (RatifyState era)

valuersEnactedL

:: Functor f
=> Seq (GovActionState era) -> f (Seq (GovActionState era))
-> RatifyState era
-> f (RatifyState era)

valuersExpiredL

:: Functor f
=> Set GovActionId -> f (Set GovActionId)
-> RatifyState era
-> f (RatifyState era)

valuevotingCommitteeThreshold

valuevotingDRepThreshold

valuevotingStakePoolThreshold

valuecommitteeMembersL

:: Functor f
=> Map (Credential ColdCommitteeRole) EpochNo -> f (Map (Credential ColdCommitteeRole) EpochNo)
-> Committee era
-> f (Committee era)

valuecommitteeThresholdL

:: Functor f
=> UnitInterval -> f UnitInterval
-> Committee era
-> f (Committee era)

valueconstitutionAnchorL

:: Functor f
=> Anchor -> f Anchor
-> Constitution era
-> f (Constitution era)

valueconstitutionGuardrailsScriptHashL

:: Functor f
=> StrictMaybe ScriptHash -> f (StrictMaybe ScriptHash)
-> Constitution era
-> f (Constitution era)

valueconstitutionScriptL

:: Functor f
=> StrictMaybe ScriptHash -> f (StrictMaybe ScriptHash)
-> Constitution era
-> f (Constitution era)

Deprecated. In favor of constitutionGuardrailsScriptHashL

valuefoldlVotingProcedures

:: c -> Voter -> GovActionId -> VotingProcedure era -> c
-> c
-> VotingProcedures era
-> c

valuefoldrVotingProcedures

:: Voter -> GovActionId -> VotingProcedure era -> c -> c
-> c
-> VotingProcedures era
-> c

valuegasAction :: GovActionState era -> GovAction era

valuegasActionL

:: Functor f
=> GovAction era -> f (GovAction era)
-> GovActionState era
-> f (GovActionState era)

valuegasCommitteeVotesL

:: Functor f
=> Map (Credential HotCommitteeRole) Vote -> f (Map (Credential HotCommitteeRole) Vote)
-> GovActionState era
-> f (GovActionState era)

valuegasDRepVotesL

:: Functor f
=> Map (Credential DRepRole) Vote -> f (Map (Credential DRepRole) Vote)
-> GovActionState era
-> f (GovActionState era)

valuegasDeposit :: GovActionState era -> Coin

valuegasDepositL

:: Functor f
=> Coin -> f Coin
-> GovActionState era
-> f (GovActionState era)

valuegasExpiresAfterL

:: Functor f
=> EpochNo -> f EpochNo
-> GovActionState era
-> f (GovActionState era)

valuegasIdL

:: Functor f
=> GovActionId -> f GovActionId
-> GovActionState era
-> f (GovActionState era)

valuegasProposalProcedureL

:: Functor f
=> ProposalProcedure era -> f (ProposalProcedure era)
-> GovActionState era
-> f (GovActionState era)

valuegasProposedInL

:: Functor f
=> EpochNo -> f EpochNo
-> GovActionState era
-> f (GovActionState era)

valuegasReturnAddr :: GovActionState era -> AccountAddress

valuegasReturnAddrL

:: Functor f
=> AccountAddress -> f AccountAddress
-> GovActionState era
-> f (GovActionState era)

valuegasStakePoolVotesL

:: Functor f
=> Map (KeyHash StakePool) Vote -> f (Map (KeyHash StakePool) Vote)
-> GovActionState era
-> f (GovActionState era)

valuegovActionIdToText :: GovActionId -> Text

valuegrCommitteeL

:: Functor f2
=> f1 (GovPurposeId 'CommitteePurpose) -> f2 (f1 (GovPurposeId 'CommitteePurpose))
-> GovRelation f1
-> f2 (GovRelation f1)

valuegrConstitutionL

:: Functor f2
=> f1 (GovPurposeId 'ConstitutionPurpose) -> f2 (f1 (GovPurposeId 'ConstitutionPurpose))
-> GovRelation f1
-> f2 (GovRelation f1)

valuegrHardForkL

:: Functor f2
=> f1 (GovPurposeId 'HardForkPurpose) -> f2 (f1 (GovPurposeId 'HardForkPurpose))
-> GovRelation f1
-> f2 (GovRelation f1)

valuegrPParamUpdateL

:: Functor f2
=> f1 (GovPurposeId 'PParamUpdatePurpose) -> f2 (f1 (GovPurposeId 'PParamUpdatePurpose))
-> GovRelation f1
-> f2 (GovRelation f1)

valuehoistGovRelation :: (forall a. f a -> g a) -> GovRelation f -> GovRelation g

valueindexedGovProps

:: Seq (ProposalProcedure era)
-> Seq (GovActionIx, ProposalProcedure era)

valueisGovActionWithPurpose :: ToGovActionPurpose p => GovAction era -> Bool

valuepProcAnchorL

:: Functor f
=> Anchor -> f Anchor
-> ProposalProcedure era
-> f (ProposalProcedure era)

valuepProcDepositL

:: Functor f
=> Coin -> f Coin
-> ProposalProcedure era
-> f (ProposalProcedure era)

valuepProcGovActionL

:: Functor f
=> GovAction era -> f (GovAction era)
-> ProposalProcedure era
-> f (ProposalProcedure era)

valuepProcReturnAddrL

valueshowGovActionType :: GovAction era -> String

valuewithGovActionParent

:: GovActionState era
-> a
-> forall (p :: GovActionPurpose). (forall (f1 :: Type -> Type) (f2 :: Type -> Type). Functor f2 => (f1 (GovPurposeId p) -> f2 (f1 (GovPurposeId p))) -> GovRelation f1 -> f2 (GovRelation f1)) -> StrictMaybe (GovPurposeId p) -> GovPurposeId p -> a
-> a

valuefromPrevGovActionIds :: GovRelation StrictMaybe -> GovRelation PRoot

valuemkProposals

:: (EraPParams era, MonadFail m)
=> GovRelation StrictMaybe
-> OMap GovActionId (GovActionState era)
-> m (Proposals era)

valuepGraphL

:: Functor f
=> GovRelation PGraph -> f (GovRelation PGraph)
-> Proposals era
-> f (Proposals era)

valuepGraphNodesL

:: Functor f
=> Map a (PEdges a) -> f (Map a (PEdges a))
-> PGraph a
-> f (PGraph a)

valuepPropsL

:: Functor f
=> OMap GovActionId (GovActionState era) -> f (OMap GovActionId (GovActionState era))
-> Proposals era
-> f (Proposals era)

valuepRootsL

:: Functor f
=> GovRelation PRoot -> f (GovRelation PRoot)
-> Proposals era
-> f (Proposals era)

valuepeChildrenL :: Functor f => (Set a -> f (Set a)) -> PEdges a -> f (PEdges a)

valueprChildrenL :: Functor f => (Set a -> f (Set a)) -> PRoot a -> f (PRoot a)

valueprRootL

:: Functor f
=> StrictMaybe a -> f (StrictMaybe a)
-> PRoot a
-> f (PRoot a)

valueproposalsActions :: Proposals era -> StrictSeq (GovActionState era)

valueproposalsActionsMap :: Proposals era -> Map GovActionId (GovActionState era)

valueproposalsAddAction

:: (EraPParams era, HasCallStack)
=> GovActionState era
-> Proposals era
-> Maybe (Proposals era)

valueproposalsAddVote

:: Voter
-> Vote
-> GovActionId
-> Proposals era
-> Proposals era

valueproposalsApplyEnactment

:: EraPParams era
=> Seq (GovActionState era)
-> Set GovActionId
-> Proposals era
-> (Proposals era, Map GovActionId (GovActionState era), Map GovActionId (GovActionState era), Map GovActionId (GovActionState era))

valueproposalsDeposits

:: Proposals era
-> Map (Credential Staking) (CompactForm Coin)

valueproposalsIds :: Proposals era -> StrictSeq GovActionId

valueproposalsLookupId

:: GovActionId
-> Proposals era
-> Maybe (GovActionState era)

valueproposalsRemoveWithDescendants

:: EraPParams era
=> Set GovActionId
-> Proposals era
-> (Proposals era, Map GovActionId (GovActionState era))

valueproposalsSize :: Proposals era -> Int

valueproposalsWithPurpose

:: ToGovActionPurpose p
=> forall (f1 :: Type -> Type) (f2 :: Type -> Type). Functor f2 => (f1 (GovPurposeId p) -> f2 (f1 (GovPurposeId p))) -> GovRelation f1 -> f2 (GovRelation f1)
-> Proposals era
-> Map (GovPurposeId p) (GovActionState era)

valuetoGovRelationTree :: HasCallStack => Proposals era -> GovRelation TreeMaybe

valuetoGovRelationTreeEither

:: Proposals era
-> Either String (GovRelation TreeMaybe)

valuetoPrevGovActionIds :: GovRelation PRoot -> GovRelation StrictMaybe

valuetranslateProposals

:: (TranslateEra era GovActionState, TranslationError era GovActionState ~ Void)
=> TranslationContext era
-> Proposals (PreviousEra era)
-> Proposals era

valueunsafeMkProposals

:: (HasCallStack, EraPParams era)
=> GovRelation StrictMaybe
-> OMap GovActionId (GovActionState era)
-> Proposals era

valueepochStateRegDrepL :: ConwayEraCertState era => Lens' (EpochState era) (Map (Credential DRepRole) DRepState)

valueepochStateStakeDistrL

:: Functor f
=> ActiveStake -> f ActiveStake
-> EpochState era
-> f (EpochState era)

classclass (EraGov era, EraStake era, ConwayEraAccounts era) => ConwayEraGov era where

Methods

constitutionGovStateL :: Lens' (GovState era) (Constitution era)
proposalsGovStateL :: Lens' (GovState era) (Proposals era)
drepPulsingStateGovStateL :: Lens' (GovState era) (DRepPulsingState era)
committeeGovStateL :: Lens' (GovState era) (StrictMaybe (Committee era))

Instances1ConwayEraGov

ConwayEraGov ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance

datadata ConwayGovState era

Constructors

ConwayGovState
- cgsProposals :: !Proposals era
- cgsCommittee :: !StrictMaybe (Committee era)
- cgsConstitution :: !Constitution era
- cgsCurPParams :: !PParams era
- cgsPrevPParams :: !PParams era
- cgsFuturePParams :: !FuturePParams era
- cgsDRepPulsingState :: !DRepPulsingState era

Instances15Eq, Show, Generic, NFData, ToJSON, Default, …

(ConwayEraAccounts era, EraPParams era, EraStake era) => Eq (ConwayGovState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance
(ConwayEraAccounts era, EraStake era, EraPParams era) => Show (ConwayGovState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance
Generic (ConwayGovState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance
(EraPParams era, NFData (InstantStake era), NFData (Accounts era)) => NFData (ConwayGovState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance
(ConwayEraAccounts era, EraPParams era, EraStake era) => ToJSON (ConwayGovState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance
EraPParams era => Default (ConwayGovState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance
(EraPParams era, NoThunks (InstantStake era), NoThunks (Accounts era)) => NoThunks (ConwayGovState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance
EraPParams era => FromCBOR (ConwayGovState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance
(ConwayEraAccounts era, EraPParams era, EraStake era) => ToCBOR (ConwayGovState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance
EraPParams era => DecCBOR (ConwayGovState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance
EraPParams era => DecShareCBOR (ConwayGovState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance
(ConwayEraAccounts era, EraPParams era, EraStake era) => EncCBOR (ConwayGovState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance
(ConwayEraAccounts era, EraPParams era, EraStake era) => ToKeyValuePairs (ConwayGovState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance
type Rep (ConwayGovState era) = D1 ('MetaData "ConwayGovState" "Cardano.Ledger.Conway.Governance" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (C1 ('MetaCons "ConwayGovState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "cgsProposals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Proposals era)) :*: (S1 ('MetaSel ('Just "cgsCommittee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (Committee era))) :*: S1 ('MetaSel ('Just "cgsConstitution") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Constitution era)))) :*: ((S1 ('MetaSel ('Just "cgsCurPParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)) :*: S1 ('MetaSel ('Just "cgsPrevPParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era))) :*: (S1 ('MetaSel ('Just "cgsFuturePParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (FuturePParams era)) :*: S1 ('MetaSel ('Just "cgsDRepPulsingState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (DRepPulsingState era))))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance
type Share (ConwayGovState era) = (Interns (Credential Staking), Interns (KeyHash StakePool), Interns (Credential DRepRole), Interns (Credential HotCommitteeRole))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance

datadata DefaultVote

DefaultNo DefaultAbstain DefaultNoConfidence

Instances5Eq, Show, ToJSON, DecCBOR, EncCBOR

Eq DefaultVoteDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance
Show DefaultVoteDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance
ToJSON DefaultVoteDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance
DecCBOR DefaultVoteDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance
EncCBOR DefaultVoteDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance

datadata DRepPulser era (m :: Type -> Type) ans where

Constructors

DRepPulser :: (ans ~ RatifyState era, m ~ Identity, RunConwayRatify era) => !Int -> !Accounts era -> !Int -> !InstantStake era -> PoolDistr -> !Map DRep (CompactForm Coin) -> !Map (Credential DRepRole) DRepState -> !EpochNo -> !CommitteeState era -> !EnactState era -> !StrictSeq (GovActionState era) -> !Map (Credential Staking) (CompactForm Coin) -> !Globals -> !Map (KeyHash StakePool) StakePoolState -> DRepPulser era m ans
- dpPulseSize :: !Int
- dpAccounts :: !Accounts era
- dpIndex :: !Int
- dpInstantStake :: !InstantStake era
- dpStakePoolDistr :: PoolDistr
- dpDRepDistr :: !Map DRep (CompactForm Coin)
- dpDRepState :: !Map (Credential DRepRole) DRepState
- dpCurrentEpoch :: !EpochNo
- dpCommitteeState :: !CommitteeState era
- dpEnactState :: !EnactState era
- dpProposals :: !StrictSeq (GovActionState era)
- dpProposalDeposits :: !Map (Credential Staking) (CompactForm Coin)
- dpGlobals :: !Globals
- dpStakePools :: !Map (KeyHash StakePool) StakePoolState

Instances5Pulsable, Eq, Show, NFData, NoThunks

(EraStake era, ConwayEraAccounts era) => Pulsable (DRepPulser era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
(EraPParams era, EraStake era, ConwayEraAccounts era) => Eq (DRepPulser era Identity (RatifyState era))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
(EraPParams era, Show (InstantStake era), Show (Accounts era), Show ans) => Show (DRepPulser era m ans)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
(EraPParams era, NFData (InstantStake era), NFData (Accounts era)) => NFData (DRepPulser era Identity (RatifyState era))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
(EraPParams era, NoThunks (InstantStake era), NoThunks (Accounts era)) => NoThunks (DRepPulser era Identity (RatifyState era))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser

datadata DRepPulsingState era

Constructors

DRPulsing !(DRepPulser era Identity (RatifyState era))
DRComplete !(PulsingSnapshot era) !(RatifyState era)

Instances10Eq, Show, Generic, NFData, NoThunks, DecCBOR, …

(ConwayEraAccounts era, EraStake era, EraPParams era) => Eq (DRepPulsingState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
(ConwayEraAccounts era, EraStake era, EraPParams era) => Show (DRepPulsingState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
Generic (DRepPulsingState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
(EraPParams era, NFData (InstantStake era), NFData (Accounts era)) => NFData (DRepPulsingState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
(EraPParams era, NoThunks (InstantStake era), NoThunks (Accounts era)) => NoThunks (DRepPulsingState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
EraPParams era => DecCBOR (DRepPulsingState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
EraPParams era => DecShareCBOR (DRepPulsingState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
(ConwayEraAccounts era, EraStake era, EraPParams era) => EncCBOR (DRepPulsingState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
type Rep (DRepPulsingState era) = D1 ('MetaData "DRepPulsingState" "Cardano.Ledger.Conway.Governance.DRepPulser" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (C1 ('MetaCons "DRPulsing" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (DRepPulser era Identity (RatifyState era)))) :+: C1 ('MetaCons "DRComplete" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PulsingSnapshot era)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (RatifyState era))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
type Share (DRepPulsingState era) = (Interns (Credential Staking), Interns (KeyHash StakePool), Interns (Credential DRepRole), Interns (Credential HotCommitteeRole))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser

datadata PulsingSnapshot era

Constructors

PulsingSnapshot
- psProposals :: !StrictSeq (GovActionState era)
- psDRepDistr :: !Map DRep (CompactForm Coin)
- psDRepState :: !Map (Credential DRepRole) DRepState
- psPoolDistr :: Map (KeyHash StakePool) (CompactForm Coin)

Instances13Eq, Show, Generic, NFData, ToJSON, Default, …

EraPParams era => Eq (PulsingSnapshot era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
EraPParams era => Show (PulsingSnapshot era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
Generic (PulsingSnapshot era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
EraPParams era => NFData (PulsingSnapshot era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
EraPParams era => ToJSON (PulsingSnapshot era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
Default (PulsingSnapshot era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
EraPParams era => NoThunks (PulsingSnapshot era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
EraPParams era => DecCBOR (PulsingSnapshot era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
EraPParams era => DecShareCBOR (PulsingSnapshot era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
EraPParams era => EncCBOR (PulsingSnapshot era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
EraPParams era => ToKeyValuePairs (PulsingSnapshot era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
type Rep (PulsingSnapshot era) = D1 ('MetaData "PulsingSnapshot" "Cardano.Ledger.Conway.Governance.DRepPulser" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (C1 ('MetaCons "PulsingSnapshot" 'PrefixI 'True) ((S1 ('MetaSel ('Just "psProposals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (GovActionState era))) :*: S1 ('MetaSel ('Just "psDRepDistr") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map DRep (CompactForm Coin)))) :*: (S1 ('MetaSel ('Just "psDRepState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential DRepRole) DRepState)) :*: S1 ('MetaSel ('Just "psPoolDistr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (KeyHash StakePool) (CompactForm Coin))))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
type Share (PulsingSnapshot era) = (Interns (Credential Staking), Interns (KeyHash StakePool), Interns (Credential DRepRole), Interns (Credential HotCommitteeRole))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser

class

class (STS (RATIFY era), Signal (RATIFY era) ~ RatifySignal era, BaseM (RATIFY era) ~ Reader Globals, Environment (RATIFY era) ~ RatifyEnv era, State (RATIFY era) ~ RatifyState era, PredicateFailure (RATIFY era) ~ Void) => RunConwayRatify era where

Methods

runConwayRatify :: Globals -> RatifyEnv era -> RatifyState era -> RatifySignal era -> RatifyState era

Instances1RunConwayRatify

RunConwayRatify ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway · orphan

datadata EnactState era

Constructors

EnactState
- ensCommittee :: !StrictMaybe (Committee era)
- ensConstitution :: !Constitution era
- ensCurPParams :: !PParams era
- ensPrevPParams :: !PParams era
- ensTreasury :: !Coin
- ensWithdrawals :: !Map (Credential Staking) Coin
- ensPrevGovActionIds :: !GovRelation StrictMaybe

Instances13Eq, Show, Generic, NFData, ToJSON, Default, …

(Era era, Eq (PParams era)) => Eq (EnactState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
(Era era, Show (PParams era)) => Show (EnactState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
Generic (EnactState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
EraPParams era => NFData (EnactState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
EraPParams era => ToJSON (EnactState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
EraPParams era => Default (EnactState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
EraPParams era => NoThunks (EnactState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
EraPParams era => DecCBOR (EnactState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
EraPParams era => DecShareCBOR (EnactState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
EraPParams era => EncCBOR (EnactState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
EraPParams era => ToKeyValuePairs (EnactState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
type Rep (EnactState era) = D1 ('MetaData "EnactState" "Cardano.Ledger.Conway.Governance.Internal" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (C1 ('MetaCons "EnactState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ensCommittee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (Committee era))) :*: (S1 ('MetaSel ('Just "ensConstitution") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Constitution era)) :*: S1 ('MetaSel ('Just "ensCurPParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)))) :*: ((S1 ('MetaSel ('Just "ensPrevPParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)) :*: S1 ('MetaSel ('Just "ensTreasury") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)) :*: (S1 ('MetaSel ('Just "ensWithdrawals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential Staking) Coin)) :*: S1 ('MetaSel ('Just "ensPrevGovActionIds") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GovRelation StrictMaybe))))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
type Share (EnactState era) = Interns (Credential Staking)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal

datadata RatifyEnv era

Constructors

RatifyEnv
- reInstantStake :: InstantStake era
- reStakePoolDistr :: PoolDistr
- reDRepDistr :: Map DRep (CompactForm Coin)
- reDRepState :: Map (Credential DRepRole) DRepState
- reCurrentEpoch :: EpochNo
- reCommitteeState :: CommitteeState era
- reAccounts :: Accounts era
- reStakePools :: Map (KeyHash StakePool) StakePoolState

Instances11CanGetInstantStake, CanSetInstantStake, Eq, Show, Generic, NFData, …

CanGetInstantStake RatifyEnvDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
CanSetInstantStake RatifyEnvDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
(Eq (InstantStake era), Eq (Accounts era)) => Eq (RatifyEnv era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
(Show (InstantStake era), Show (Accounts era)) => Show (RatifyEnv era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
Generic (RatifyEnv era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
(Era era, NFData (InstantStake era), NFData (Accounts era)) => NFData (RatifyEnv era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
(Default (InstantStake era), Default (Accounts era)) => Default (RatifyEnv era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
(Typeable era, NoThunks (InstantStake era), NoThunks (Accounts era)) => NoThunks (RatifyEnv era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
(Era era, DecCBOR (InstantStake era), DecCBOR (Accounts era)) => DecCBOR (RatifyEnv era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
(Era era, EncCBOR (InstantStake era), EncCBOR (Accounts era)) => EncCBOR (RatifyEnv era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
type Rep (RatifyEnv era) = D1 ('MetaData "RatifyEnv" "Cardano.Ledger.Conway.Governance.Internal" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (C1 ('MetaCons "RatifyEnv" 'PrefixI 'True) (((S1 ('MetaSel ('Just "reInstantStake") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (InstantStake era)) :*: S1 ('MetaSel ('Just "reStakePoolDistr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PoolDistr)) :*: (S1 ('MetaSel ('Just "reDRepDistr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map DRep (CompactForm Coin))) :*: S1 ('MetaSel ('Just "reDRepState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential DRepRole) DRepState)))) :*: ((S1 ('MetaSel ('Just "reCurrentEpoch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo) :*: S1 ('MetaSel ('Just "reCommitteeState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CommitteeState era))) :*: (S1 ('MetaSel ('Just "reAccounts") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Accounts era)) :*: S1 ('MetaSel ('Just "reStakePools") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (KeyHash StakePool) StakePoolState))))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal

newtypenewtype RatifySignal era

Constructors

RatifySignal
- unRatifySignal :: StrictSeq (GovActionState era)

Instances7Eq, Show, Generic, NFData, DecCBOR, EncCBOR, …

EraPParams era => Eq (RatifySignal era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
EraPParams era => Show (RatifySignal era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
Generic (RatifySignal era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
EraPParams era => NFData (RatifySignal era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
EraPParams era => DecCBOR (RatifySignal era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
EraPParams era => EncCBOR (RatifySignal era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
type Rep (RatifySignal era) = D1 ('MetaData "RatifySignal" "Cardano.Ledger.Conway.Governance.Internal" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'True) (C1 ('MetaCons "RatifySignal" 'PrefixI 'True) (S1 ('MetaSel ('Just "unRatifySignal") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictSeq (GovActionState era)))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal

datadata RatifyState era

Constructors

RatifyState
- rsEnactState :: !EnactState era
- rsEnacted :: !Seq (GovActionState era)
- rsExpired :: !Set GovActionId
- rsDelayed :: !Bool

Instances16Show, Generic, ToJSON, Default, DecCBOR, DecShareCBOR, …

EraPParams era => Eq (RatifyState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
EraPParams era => Show (RatifyState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
Generic (RatifyState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
EraPParams era => NFData (RatifyState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
EraPParams era => ToJSON (RatifyState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
EraPParams era => Default (RatifyState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
EraPParams era => NoThunks (RatifyState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
EraPParams era => DecCBOR (RatifyState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
EraPParams era => DecShareCBOR (RatifyState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
EraPParams era => EncCBOR (RatifyState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
EraPParams era => ToKeyValuePairs (RatifyState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
(EraPParams era, EraStake era, ConwayEraAccounts era) => Eq (DRepPulser era Identity (RatifyState era))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
(EraPParams era, NFData (InstantStake era), NFData (Accounts era)) => NFData (DRepPulser era Identity (RatifyState era))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
(EraPParams era, NoThunks (InstantStake era), NoThunks (Accounts era)) => NoThunks (DRepPulser era Identity (RatifyState era))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.DRepPulser
type Rep (RatifyState era) = D1 ('MetaData "RatifyState" "Cardano.Ledger.Conway.Governance.Internal" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (C1 ('MetaCons "RatifyState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "rsEnactState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (EnactState era)) :*: S1 ('MetaSel ('Just "rsEnacted") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Seq (GovActionState era)))) :*: (S1 ('MetaSel ('Just "rsExpired") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set GovActionId)) :*: S1 ('MetaSel ('Just "rsDelayed") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal
type Share (RatifyState era) = (Interns (Credential Staking), Interns (KeyHash StakePool), Interns (Credential DRepRole), Interns (Credential HotCommitteeRole))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Internal

datadata Committee era

Constructors

Committee
- committeeMembers :: !Map (Credential ColdCommitteeRole) EpochNo
- committeeThreshold :: !UnitInterval

Instances12Eq, Show, Generic, NFData, FromJSON, ToJSON, …

Eq (Committee era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Show (Committee era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Generic (Committee era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Era era => NFData (Committee era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Era era => FromJSON (Committee era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
ToJSON (Committee era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Default (Committee era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Era era => NoThunks (Committee era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Era era => DecCBOR (Committee era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Era era => EncCBOR (Committee era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
ToKeyValuePairs (Committee era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
type Rep (Committee era) = D1 ('MetaData "Committee" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (C1 ('MetaCons "Committee" 'PrefixI 'True) (S1 ('MetaSel ('Just "committeeMembers") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential ColdCommitteeRole) EpochNo)) :*: S1 ('MetaSel ('Just "committeeThreshold") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval)))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures

datadata Constitution era

Constructors

Constitution
- constitutionAnchor :: !Anchor
- constitutionGuardrailsScriptHash :: !StrictMaybe ScriptHash

Instances15Eq, Ord, Show, Generic, NFData, FromJSON, …

Eq (Constitution era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Ord (Constitution era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Show (Constitution era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Generic (Constitution era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Era era => NFData (Constitution era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Era era => FromJSON (Constitution era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
ToJSON (Constitution era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Era era => Default (Constitution era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Era era => NoThunks (Constitution era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Era era => FromCBOR (Constitution era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Era era => ToCBOR (Constitution era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Era era => DecCBOR (Constitution era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Era era => EncCBOR (Constitution era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
ToKeyValuePairs (Constitution era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
type Rep (Constitution era) = D1 ('MetaData "Constitution" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (C1 ('MetaCons "Constitution" 'PrefixI 'True) (S1 ('MetaSel ('Just "constitutionAnchor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Anchor) :*: S1 ('MetaSel ('Just "constitutionGuardrailsScriptHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe ScriptHash))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures

datadata GovAction era

Constructors

ParameterChange !(StrictMaybe (GovPurposeId 'PParamUpdatePurpose)) !(PParamsUpdate era) !(StrictMaybe ScriptHash)
HardForkInitiation !(StrictMaybe (GovPurposeId 'HardForkPurpose)) !ProtVer
TreasuryWithdrawals !(Map AccountAddress Coin) !(StrictMaybe ScriptHash)
NoConfidence !(StrictMaybe (GovPurposeId 'CommitteePurpose))
UpdateCommittee !(StrictMaybe (GovPurposeId 'CommitteePurpose)) !(Set (Credential ColdCommitteeRole)) !(Map (Credential ColdCommitteeRole) EpochNo) !UnitInterval
NewConstitution !(StrictMaybe (GovPurposeId 'ConstitutionPurpose)) !(Constitution era)
InfoAction

Instances10Eq, Ord, Show, Generic, NFData, ToJSON, …

EraPParams era => Eq (GovAction era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EraPParams era => Ord (GovAction era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EraPParams era => Show (GovAction era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Generic (GovAction era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EraPParams era => NFData (GovAction era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EraPParams era => ToJSON (GovAction era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EraPParams era => NoThunks (GovAction era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EraPParams era => DecCBOR (GovAction era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EraPParams era => EncCBOR (GovAction era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
type Rep (GovAction era) = D1 ('MetaData "GovAction" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) ((C1 ('MetaCons "ParameterChange" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (GovPurposeId 'PParamUpdatePurpose))) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParamsUpdate era)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe ScriptHash)))) :+: (C1 ('MetaCons "HardForkInitiation" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (GovPurposeId 'HardForkPurpose))) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ProtVer)) :+: C1 ('MetaCons "TreasuryWithdrawals" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map AccountAddress Coin)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe ScriptHash))))) :+: ((C1 ('MetaCons "NoConfidence" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (GovPurposeId 'CommitteePurpose)))) :+: C1 ('MetaCons "UpdateCommittee" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (GovPurposeId 'CommitteePurpose))) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (Credential ColdCommitteeRole)))) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential ColdCommitteeRole) EpochNo)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval)))) :+: (C1 ('MetaCons "NewConstitution" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (GovPurposeId 'ConstitutionPurpose))) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Constitution era))) :+: C1 ('MetaCons "InfoAction" 'PrefixI 'False) U1)))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures

datadata GovActionId

Constructors

GovActionId
- gaidTxId :: !TxId
- gaidGovActionIx :: !GovActionIx

Instances13Eq, Ord, Show, Generic, NFData, ToJSON, …

Eq GovActionIdDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Ord GovActionIdDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Show GovActionIdDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Generic GovActionIdDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
NFData GovActionIdDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
ToJSON GovActionIdDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
ToJSONKey GovActionIdDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
NoThunks GovActionIdDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
DecCBOR GovActionIdDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EncCBOR GovActionIdDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
ToKeyValuePairs GovActionIdDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
HasOKey GovActionId (GovActionState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
type Rep GovActionId = D1 ('MetaData "GovActionId" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (C1 ('MetaCons "GovActionId" 'PrefixI 'True) (S1 ('MetaSel ('Just "gaidTxId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId) :*: S1 ('MetaSel ('Just "gaidGovActionIx") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 GovActionIx)))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures

newtypenewtype GovActionIx

Constructors

GovActionIx
- unGovActionIx :: Word16

Instances10Eq, Ord, Show, Generic, NFData, ToJSON, …

Eq GovActionIxDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Ord GovActionIxDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Show GovActionIxDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Generic GovActionIxDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
NFData GovActionIxDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
ToJSON GovActionIxDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
NoThunks GovActionIxDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
DecCBOR GovActionIxDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EncCBOR GovActionIxDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
type Rep GovActionIx = D1 ('MetaData "GovActionIx" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'True) (C1 ('MetaCons "GovActionIx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unGovActionIx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures

datadata GovActionPurpose

PParamUpdatePurpose HardForkPurpose CommitteePurpose ConstitutionPurpose

Instances4Eq, Show, Generic, Rep

Eq GovActionPurposeDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Show GovActionPurposeDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Generic GovActionPurposeDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
type Rep GovActionPurpose = D1 ('MetaData "GovActionPurpose" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) ((C1 ('MetaCons "PParamUpdatePurpose" 'PrefixI 'False) U1 :+: C1 ('MetaCons "HardForkPurpose" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "CommitteePurpose" 'PrefixI 'False) U1 :+: C1 ('MetaCons "ConstitutionPurpose" 'PrefixI 'False) U1))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures

datadata GovActionState era

Constructors

GovActionState
- gasId :: !GovActionId
- gasCommitteeVotes :: !Map (Credential HotCommitteeRole) Vote
- gasDRepVotes :: !Map (Credential DRepRole) Vote
- gasStakePoolVotes :: !Map (KeyHash StakePool) Vote
- gasProposalProcedure :: !ProposalProcedure era
- gasProposedIn :: !EpochNo
- gasExpiresAfter :: !EpochNo

Instances14HasOKey, Eq, Ord, Show, Generic, NFData, …

HasOKey GovActionId (GovActionState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EraPParams era => Eq (GovActionState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EraPParams era => Ord (GovActionState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EraPParams era => Show (GovActionState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Generic (GovActionState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EraPParams era => NFData (GovActionState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EraPParams era => ToJSON (GovActionState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EraPParams era => NoThunks (GovActionState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EraPParams era => DecCBOR (GovActionState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EraPParams era => DecShareCBOR (GovActionState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EraPParams era => EncCBOR (GovActionState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EraPParams era => ToKeyValuePairs (GovActionState era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
type Rep (GovActionState era) = D1 ('MetaData "GovActionState" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (C1 ('MetaCons "GovActionState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "gasId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 GovActionId) :*: (S1 ('MetaSel ('Just "gasCommitteeVotes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential HotCommitteeRole) Vote)) :*: S1 ('MetaSel ('Just "gasDRepVotes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential DRepRole) Vote)))) :*: ((S1 ('MetaSel ('Just "gasStakePoolVotes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash StakePool) Vote)) :*: S1 ('MetaSel ('Just "gasProposalProcedure") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ProposalProcedure era))) :*: (S1 ('MetaSel ('Just "gasProposedIn") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 EpochNo) :*: S1 ('MetaSel ('Just "gasExpiresAfter") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 EpochNo)))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
type Share (GovActionState era) = (Interns (Credential Staking), Interns (KeyHash StakePool), Interns (Credential DRepRole), Interns (Credential HotCommitteeRole))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures

newtypenewtype GovPurposeId (p :: GovActionPurpose)

Constructors

GovPurposeId
- unGovPurposeId :: GovActionId

Instances12Eq, Ord, Show, Generic, NFData, ToJSON, …

Eq (GovPurposeId p)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Ord (GovPurposeId p)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Show (GovPurposeId p)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Show (TreeMaybe (GovPurposeId p))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Proposals
Generic (GovPurposeId p)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
NFData (GovPurposeId p)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
ToJSON (GovPurposeId p)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
ToJSONKey (GovPurposeId p)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
NoThunks (GovPurposeId p)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Typeable p => DecCBOR (GovPurposeId p)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EncCBOR (GovPurposeId p)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
type Rep (GovPurposeId p) = D1 ('MetaData "GovPurposeId" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'True) (C1 ('MetaCons "GovPurposeId" 'PrefixI 'True) (S1 ('MetaSel ('Just "unGovPurposeId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GovActionId)))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures

datadata GovRelation (f :: Type -> Type)

Constructors

GovRelation
- grPParamUpdate :: !f (GovPurposeId 'PParamUpdatePurpose)
- grHardFork :: !f (GovPurposeId 'HardForkPurpose)
- grCommittee :: !f (GovPurposeId 'CommitteePurpose)
- grConstitution :: !f (GovPurposeId 'ConstitutionPurpose)

Instances13Eq, Show, Generic, Semigroup, Monoid, NFData, …

(forall (p :: GovActionPurpose). Eq (f (GovPurposeId p))) => Eq (GovRelation f)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
(forall (p :: GovActionPurpose). Show (f (GovPurposeId p))) => Show (GovRelation f)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Generic (GovRelation f)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
(forall (p :: GovActionPurpose). Semigroup (f (GovPurposeId p))) => Semigroup (GovRelation f)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
(forall (p :: GovActionPurpose). Monoid (f (GovPurposeId p))) => Monoid (GovRelation f)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
(forall (p :: GovActionPurpose). NFData (f (GovPurposeId p))) => NFData (GovRelation f)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
(forall (p :: GovActionPurpose). ToJSON (f (GovPurposeId p))) => ToJSON (GovRelation f)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
(forall (p :: GovActionPurpose). Default (f (GovPurposeId p))) => Default (GovRelation f)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
(forall (p :: GovActionPurpose). NoThunks (f (GovPurposeId p))) => NoThunks (GovRelation f)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
(Typeable f, forall (p :: GovActionPurpose). Typeable p => DecCBOR (f (GovPurposeId p))) => DecCBOR (GovRelation f)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
(forall (p :: GovActionPurpose). Typeable p => EncCBOR (f (GovPurposeId p))) => EncCBOR (GovRelation f)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
(forall (p :: GovActionPurpose). ToJSON (f (GovPurposeId p))) => ToKeyValuePairs (GovRelation f)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
type Rep (GovRelation f) = D1 ('MetaData "GovRelation" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (C1 ('MetaCons "GovRelation" 'PrefixI 'True) ((S1 ('MetaSel ('Just "grPParamUpdate") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f (GovPurposeId 'PParamUpdatePurpose))) :*: S1 ('MetaSel ('Just "grHardFork") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f (GovPurposeId 'HardForkPurpose)))) :*: (S1 ('MetaSel ('Just "grCommittee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f (GovPurposeId 'CommitteePurpose))) :*: S1 ('MetaSel ('Just "grConstitution") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f (GovPurposeId 'ConstitutionPurpose))))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures

datadata ProposalProcedure era

Constructors

ProposalProcedure
- pProcDeposit :: !Coin
- pProcReturnAddr :: !AccountAddress
- pProcGovAction :: !GovAction era
- pProcAnchor :: !Anchor

Instances11Eq, Ord, Show, Generic, NFData, ToJSON, …

EraPParams era => Eq (ProposalProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EraPParams era => Ord (ProposalProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EraPParams era => Show (ProposalProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Generic (ProposalProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EraPParams era => NFData (ProposalProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EraPParams era => ToJSON (ProposalProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EraPParams era => NoThunks (ProposalProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EraPParams era => DecCBOR (ProposalProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EraPParams era => EncCBOR (ProposalProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EraPParams era => ToKeyValuePairs (ProposalProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
type Rep (ProposalProcedure era) = D1 ('MetaData "ProposalProcedure" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (C1 ('MetaCons "ProposalProcedure" 'PrefixI 'True) ((S1 ('MetaSel ('Just "pProcDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Just "pProcReturnAddr") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AccountAddress)) :*: (S1 ('MetaSel ('Just "pProcGovAction") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GovAction era)) :*: S1 ('MetaSel ('Just "pProcAnchor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Anchor))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures

classclass ToGovActionPurpose (p :: GovActionPurpose) where

Instances4ToGovActionPurpose

ToGovActionPurpose 'CommitteePurposeDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
ToGovActionPurpose 'ConstitutionPurposeDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
ToGovActionPurpose 'HardForkPurposeDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
ToGovActionPurpose 'PParamUpdatePurposeDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures

datadata Vote

VoteNo VoteYes Abstain

Instances12Bounded, Enum, Eq, Ord, Show, Generic, …

Bounded VoteDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Enum VoteDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Eq VoteDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Ord VoteDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Show VoteDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Generic VoteDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
NFData VoteDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
ToJSON VoteDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
NoThunks VoteDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
DecCBOR VoteDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EncCBOR VoteDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
type Rep Vote = D1 ('MetaData "Vote" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (C1 ('MetaCons "VoteNo" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "VoteYes" 'PrefixI 'False) U1 :+: C1 ('MetaCons "Abstain" 'PrefixI 'False) U1))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures

datadata Voter

Constructors

CommitteeVoter !(Credential HotCommitteeRole)
DRepVoter !(Credential DRepRole)
StakePoolVoter !(KeyHash StakePool)

Instances12Eq, Ord, Show, Generic, NFData, ToJSON, …

Eq VoterDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Ord VoterDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Show VoterDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Generic VoterDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
NFData VoterDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
ToJSON VoterDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
ToJSONKey VoterDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
NoThunks VoterDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
DecCBOR VoterDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EncCBOR VoterDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Indexable Voter (VotingProcedures era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
type Rep Voter = D1 ('MetaData "Voter" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (C1 ('MetaCons "CommitteeVoter" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential HotCommitteeRole))) :+: (C1 ('MetaCons "DRepVoter" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential DRepRole))) :+: C1 ('MetaCons "StakePoolVoter" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash StakePool)))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures

datadata VotingProcedure era

Constructors

VotingProcedure
- vProcVote :: !Vote
- vProcAnchor :: !StrictMaybe Anchor

Instances10Eq, Show, Generic, NFData, ToJSON, NoThunks, …

Eq (VotingProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Show (VotingProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Generic (VotingProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
NFData (VotingProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EraPParams era => ToJSON (VotingProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
NoThunks (VotingProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Era era => DecCBOR (VotingProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Era era => EncCBOR (VotingProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EraPParams era => ToKeyValuePairs (VotingProcedure era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
type Rep (VotingProcedure era) = D1 ('MetaData "VotingProcedure" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (C1 ('MetaCons "VotingProcedure" 'PrefixI 'True) (S1 ('MetaSel ('Just "vProcVote") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Vote) :*: S1 ('MetaSel ('Just "vProcAnchor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Anchor))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures

newtypenewtype VotingProcedures era

Constructors

VotingProcedures
- unVotingProcedures :: Map Voter (Map GovActionId (VotingProcedure era))

Instances10Indexable, Eq, Show, Generic, NFData, ToJSON, …

Indexable Voter (VotingProcedures era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Eq (VotingProcedures era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Show (VotingProcedures era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Generic (VotingProcedures era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Era era => NFData (VotingProcedures era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
EraPParams era => ToJSON (VotingProcedures era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
NoThunks (VotingProcedures era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Era era => DecCBOR (VotingProcedures era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
Era era => EncCBOR (VotingProcedures era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
type Rep (VotingProcedures era) = D1 ('MetaData "VotingProcedures" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'True) (C1 ('MetaCons "VotingProcedures" 'PrefixI 'True) (S1 ('MetaSel ('Just "unVotingProcedures") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Voter (Map GovActionId (VotingProcedure era))))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures

datadata PEdges a

Constructors

PEdges
- peParent :: !StrictMaybe a
- peChildren :: !Set a

Instances8Eq, Ord, Show, Generic, NFData, Default, …

Eq a => Eq (PEdges a)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Proposals
Ord a => Ord (PEdges a)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Proposals
Show a => Show (PEdges a)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Proposals
Generic (PEdges a)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Proposals
NFData a => NFData (PEdges a)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Proposals
Default (PEdges a)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Proposals
NoThunks a => NoThunks (PEdges a)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Proposals
type Rep (PEdges a) = D1 ('MetaData "PEdges" "Cardano.Ledger.Conway.Governance.Proposals" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (C1 ('MetaCons "PEdges" 'PrefixI 'True) (S1 ('MetaSel ('Just "peParent") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe a)) :*: S1 ('MetaSel ('Just "peChildren") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set a))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Proposals

newtypenewtype PGraph a

Constructors

PGraph
- unPGraph :: Map a (PEdges a)

Instances8Eq, Ord, Show, Generic, NFData, Default, …

Eq a => Eq (PGraph a)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Proposals
Ord a => Ord (PGraph a)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Proposals
Show a => Show (PGraph a)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Proposals
Generic (PGraph a)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Proposals
NFData a => NFData (PGraph a)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Proposals
Default (PGraph a)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Proposals
NoThunks a => NoThunks (PGraph a)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Proposals
type Rep (PGraph a) = D1 ('MetaData "PGraph" "Cardano.Ledger.Conway.Governance.Proposals" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'True) (C1 ('MetaCons "PGraph" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPGraph") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map a (PEdges a)))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Proposals

datadata PRoot a

Constructors

PRoot
- prRoot :: !StrictMaybe a
- prChildren :: !Set a

Instances8Eq, Ord, Show, Generic, NFData, Default, …

Eq a => Eq (PRoot a)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Proposals
Ord a => Ord (PRoot a)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Proposals
Show a => Show (PRoot a)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Proposals
Generic (PRoot a)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Proposals
NFData a => NFData (PRoot a)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Proposals
Default (PRoot a)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Proposals
NoThunks a => NoThunks (PRoot a)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Proposals
type Rep (PRoot a) = D1 ('MetaData "PRoot" "Cardano.Ledger.Conway.Governance.Proposals" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (C1 ('MetaCons "PRoot" 'PrefixI 'True) (S1 ('MetaSel ('Just "prRoot") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe a)) :*: S1 ('MetaSel ('Just "prChildren") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set a))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Proposals

datadata Proposals era

Instances12Eq, Show, Generic, NFData, ToJSON, Default, …

EraPParams era => Eq (Proposals era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Proposals
EraPParams era => Show (Proposals era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Proposals
Generic (Proposals era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Proposals
EraPParams era => NFData (Proposals era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Proposals
EraPParams era => ToJSON (Proposals era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Proposals
Default (Proposals era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Proposals
EraPParams era => NoThunks (Proposals era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Proposals
EraPParams era => DecCBOR (Proposals era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Proposals
EraPParams era => DecShareCBOR (Proposals era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Proposals
EraPParams era => EncCBOR (Proposals era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Proposals
type Rep (Proposals era) = D1 ('MetaData "Proposals" "Cardano.Ledger.Conway.Governance.Proposals" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (C1 ('MetaCons "Proposals" 'PrefixI 'True) (S1 ('MetaSel ('Just "pProps") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (OMap GovActionId (GovActionState era))) :*: (S1 ('MetaSel ('Just "pRoots") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GovRelation PRoot)) :*: S1 ('MetaSel ('Just "pGraph") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GovRelation PGraph)))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Proposals
type Share (Proposals era) = (Interns (Credential Staking), Interns (KeyHash StakePool), Interns (Credential DRepRole), Interns (Credential HotCommitteeRole))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Proposals

datadata TreeMaybe a

Constructors

TreeMaybe
- unTreeMaybe :: Tree (StrictMaybe a)

Instances2Eq, Show

Eq a => Eq (TreeMaybe a)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Proposals
Show (TreeMaybe (GovPurposeId p))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Proposals

datadata Anchor

Constructors

Anchor
- anchorUrl :: !Url
- anchorDataHash :: !SafeHash AnchorData

Instances13Eq, Ord, Show, Generic, NFData, FromJSON, …

Eq AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Ord AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Show AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Generic AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
NFData AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
FromJSON AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
ToJSON AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Default AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
NoThunks AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
DecCBOR AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
EncCBOR AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
ToKeyValuePairs AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
type Rep Anchor = D1 ('MetaData "Anchor" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'False) (C1 ('MetaCons "Anchor" 'PrefixI 'True) (S1 ('MetaSel ('Just "anchorUrl") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Url) :*: S1 ('MetaSel ('Just "anchorDataHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SafeHash AnchorData))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes

newtypenewtype AnchorData

Constructors

AnchorData ByteString

Instances3Eq, SafeToHash, HashAnnotated

Eq AnchorDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
SafeToHash AnchorDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
HashAnnotated AnchorData AnchorDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes

class

class (EraPParams era, Eq (GovState era), Show (GovState era), NoThunks (GovState era), NFData (GovState era), EncCBOR (GovState era), DecCBOR (GovState era), DecShareCBOR (GovState era), Share (GovState era) ~ (Interns (Credential Staking), Interns (KeyHash StakePool), Interns (Credential DRepRole), Interns (Credential HotCommitteeRole)), ToCBOR (GovState era), FromCBOR (GovState era), Default (GovState era), ToJSON (GovState era)) => EraGov era where

Associated types

type family GovState era

Methods

emptyGovState :: GovState era
curPParamsGovStateL :: Lens' (GovState era) (PParams era)
prevPParamsGovStateL :: Lens' (GovState era) (PParams era)
futurePParamsGovStateL :: Lens' (GovState era) (FuturePParams era)
obligationGovState :: GovState era -> Obligations

Instances6EraGov

EraGov AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.PParams · orphan
EraGov AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.PParams · orphan
EraGov BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.PParams · orphan
EraGov ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance · orphan
EraGov MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.PParams · orphan
EraGov ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance · orphan

Orphan instances

1 instance

EraGov ConwayEra