cardano-ledger-conway-1.19.0.0: Cardano ledger with an updated on-chain governance system.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Conway.Governance

Synopsis

Documentation

class (EraPParams era, Eq (GovState era), Show (GovState era), NoThunks (GovState era), NFData (GovState era), EncCBOR (GovState era), DecCBOR (GovState era), DecShareCBOR (GovState era), ToCBOR (GovState era), FromCBOR (GovState era), Default (GovState era), ToJSON (GovState era)) ⇒ EraGov era where Source #

Associated Types

type GovState era = (r ∷ Type) | r → era Source #

Methods

emptyGovStateGovState era Source #

Construct empty governance state

getProposedPPUpdatesGovState era → Maybe (ProposedPPUpdates era) Source #

Returns Nothing for all eras starting with Conway, otherwise returns proposed pparams updates

curPParamsGovStateLLens' (GovState era) (PParams era) Source #

Lens for accessing current protocol parameters

prevPParamsGovStateLLens' (GovState era) (PParams era) Source #

Lens for accessing the previous protocol parameters

futurePParamsGovStateLLens' (GovState era) (FuturePParams era) Source #

Lens for accessing the future protocol parameters.

This lens will produce DefinitePParamsUpdate whenever we are absolutely sure that the new PParams will be updated. Which means there will be no chance of a DefinitePParamsUpdate value until we are past the point of no return, which is 2 stability windows before the end of the epoch. This lens is mostly intended for ledger usage and nextEpochUpdatedPParams should be used instead whenever definite results are desired.

obligationGovStateGovState era → Obligations Source #

data EnactState era Source #

Constructors

EnactState 

Fields

Instances

Instances details
EraPParams era ⇒ ToJSON (EnactState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Generic (EnactState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Associated Types

type Rep (EnactState era) ∷ TypeType Source #

Methods

fromEnactState era → Rep (EnactState era) x Source #

toRep (EnactState era) x → EnactState era Source #

(Era era, Show (PParams era)) ⇒ Show (EnactState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

showsPrecIntEnactState era → ShowS Source #

showEnactState era → String Source #

showList ∷ [EnactState era] → ShowS Source #

EraPParams era ⇒ FromCBOR (EnactState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

fromCBORDecoder s (EnactState era) Source #

labelProxy (EnactState era) → Text Source #

EraPParams era ⇒ ToCBOR (EnactState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

toCBOREnactState era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (EnactState era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [EnactState era] → Size Source #

EraPParams era ⇒ DecCBOR (EnactState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

decCBORDecoder s (EnactState era) Source #

dropCBORProxy (EnactState era) → Decoder s () Source #

labelProxy (EnactState era) → Text Source #

EraPParams era ⇒ DecShareCBOR (EnactState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Associated Types

type Share (EnactState era) Source #

EraPParams era ⇒ EncCBOR (EnactState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

encCBOREnactState era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (EnactState era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [EnactState era] → Size Source #

EraPParams era ⇒ Default (EnactState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

defEnactState era Source #

EraPParams era ⇒ NFData (EnactState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

rnfEnactState era → () Source #

(Era era, Eq (PParams era)) ⇒ Eq (EnactState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

(==)EnactState era → EnactState era → Bool Source #

(/=)EnactState era → EnactState era → Bool Source #

EraPParams era ⇒ NoThunks (EnactState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

type Rep (EnactState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

type Rep (EnactState era) = D1 ('MetaData "EnactState" "Cardano.Ledger.Conway.Governance.Internal" "cardano-ledger-conway-1.19.0.0-inplace" '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 era))))))
type Share (EnactState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

type Share (EnactState era) = ()

data RatifyState era Source #

RatifyState stores information about what will happen to the active governance actions at the next epoch boundary.

Constructors

RatifyState 

Fields

  • rsEnactState ∷ !(EnactState era)

    This is the currently active EnactState. It contains all the changes that were applied to it at the last epoch boundary by all the proposals that were enacted.

  • rsEnacted ∷ !(Seq (GovActionState era))

    Governance actions that are going to be enacted at the next epoch boundary.

  • rsExpired ∷ !(Set GovActionId)

    Governance actions that are going to be removed at the next epoch boundary, either due to expiring or because they would become invalid after another governance action gets enacted or expired before it

  • rsDelayed ∷ !Bool

    This flag is set to true if one of the proposals that was ratified at the last epoch boundary was a delaying action. This means that no other proposals will be ratified this epoch and each active proposal that has not become invalid will have its expiry date extended by one epoch.

    This flag is reset at each epoch boundary before the RATIFY rule gets called, but it might immediately be set to True again after the RATIFY rule has finished execution.

Instances

Instances details
EraPParams era ⇒ ToJSON (RatifyState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Generic (RatifyState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Associated Types

type Rep (RatifyState era) ∷ TypeType Source #

Methods

fromRatifyState era → Rep (RatifyState era) x Source #

toRep (RatifyState era) x → RatifyState era Source #

EraPParams era ⇒ Show (RatifyState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

EraPParams era ⇒ DecCBOR (RatifyState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

EraPParams era ⇒ DecShareCBOR (RatifyState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Associated Types

type Share (RatifyState era) Source #

EraPParams era ⇒ EncCBOR (RatifyState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

encCBORRatifyState era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (RatifyState era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [RatifyState era] → Size Source #

EraPParams era ⇒ Default (RatifyState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

defRatifyState era Source #

EraPParams era ⇒ NFData (RatifyState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

rnfRatifyState era → () Source #

EraPParams era ⇒ Eq (RatifyState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

(==)RatifyState era → RatifyState era → Bool Source #

(/=)RatifyState era → RatifyState era → Bool Source #

EraPParams era ⇒ NoThunks (RatifyState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

EraPParams era ⇒ NFData (DRepPulser era Identity (RatifyState era)) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

Methods

rnfDRepPulser era Identity (RatifyState era) → () Source #

EraPParams era ⇒ Eq (DRepPulser era Identity (RatifyState era)) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

EraPParams era ⇒ NoThunks (DRepPulser era Identity (RatifyState era)) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

type Rep (RatifyState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

type Rep (RatifyState era) = D1 ('MetaData "RatifyState" "Cardano.Ledger.Conway.Governance.Internal" "cardano-ledger-conway-1.19.0.0-inplace" '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))))
type Share (RatifyState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

type Share (RatifyState era) = ()

data RatifyEnv era Source #

Instances

Instances details
Generic (RatifyEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Associated Types

type Rep (RatifyEnv era) ∷ TypeType Source #

Methods

fromRatifyEnv era → Rep (RatifyEnv era) x Source #

toRep (RatifyEnv era) x → RatifyEnv era Source #

Show (RatifyEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

showsPrecIntRatifyEnv era → ShowS Source #

showRatifyEnv era → String Source #

showList ∷ [RatifyEnv era] → ShowS Source #

Era era ⇒ DecCBOR (RatifyEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

decCBORDecoder s (RatifyEnv era) Source #

dropCBORProxy (RatifyEnv era) → Decoder s () Source #

labelProxy (RatifyEnv era) → Text Source #

Era era ⇒ EncCBOR (RatifyEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

encCBORRatifyEnv era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (RatifyEnv era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [RatifyEnv era] → Size Source #

Default (RatifyEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

defRatifyEnv era Source #

Era era ⇒ NFData (RatifyEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

rnfRatifyEnv era → () Source #

Eq (RatifyEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

(==)RatifyEnv era → RatifyEnv era → Bool Source #

(/=)RatifyEnv era → RatifyEnv era → Bool Source #

Typeable era ⇒ NoThunks (RatifyEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

type Rep (RatifyEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

type Rep (RatifyEnv era) = D1 ('MetaData "RatifyEnv" "Cardano.Ledger.Conway.Governance.Internal" "cardano-ledger-conway-1.19.0.0-inplace" 'False) (C1 ('MetaCons "RatifyEnv" 'PrefixI 'True) (((S1 ('MetaSel ('Just "reStakeDistr") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking) (CompactForm Coin))) :*: S1 ('MetaSel ('Just "reStakePoolDistr") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PoolDistr)) :*: (S1 ('MetaSel ('Just "reDRepDistr") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map DRep (CompactForm Coin))) :*: S1 ('MetaSel ('Just "reDRepState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'DRepRole) DRepState)))) :*: ((S1 ('MetaSel ('Just "reCurrentEpoch") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo) :*: S1 ('MetaSel ('Just "reCommitteeState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CommitteeState era))) :*: (S1 ('MetaSel ('Just "reDelegatees") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking) DRep)) :*: S1 ('MetaSel ('Just "rePoolParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool) PoolParams))))))

newtype RatifySignal era Source #

Constructors

RatifySignal 

Instances

Instances details
Generic (RatifySignal era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Associated Types

type Rep (RatifySignal era) ∷ TypeType Source #

Methods

fromRatifySignal era → Rep (RatifySignal era) x Source #

toRep (RatifySignal era) x → RatifySignal era Source #

EraPParams era ⇒ Show (RatifySignal era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

EraPParams era ⇒ DecCBOR (RatifySignal era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

EraPParams era ⇒ EncCBOR (RatifySignal era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

encCBORRatifySignal era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (RatifySignal era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [RatifySignal era] → Size Source #

EraPParams era ⇒ NFData (RatifySignal era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

rnfRatifySignal era → () Source #

EraPParams era ⇒ Eq (RatifySignal era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

(==)RatifySignal era → RatifySignal era → Bool Source #

(/=)RatifySignal era → RatifySignal era → Bool Source #

type Rep (RatifySignal era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

type Rep (RatifySignal era) = D1 ('MetaData "RatifySignal" "Cardano.Ledger.Conway.Governance.Internal" "cardano-ledger-conway-1.19.0.0-inplace" 'True) (C1 ('MetaCons "RatifySignal" 'PrefixI 'True) (S1 ('MetaSel ('Just "unRatifySignal") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictSeq (GovActionState era)))))

data ConwayGovState era Source #

Conway governance state

Constructors

ConwayGovState 

Fields

Instances

Instances details
EraPParams era ⇒ ToJSON (ConwayGovState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance

Generic (ConwayGovState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance

Associated Types

type Rep (ConwayGovState era) ∷ TypeType Source #

Methods

fromConwayGovState era → Rep (ConwayGovState era) x Source #

toRep (ConwayGovState era) x → ConwayGovState era Source #

EraPParams era ⇒ Show (ConwayGovState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance

EraPParams era ⇒ FromCBOR (ConwayGovState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance

EraPParams era ⇒ ToCBOR (ConwayGovState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance

Methods

toCBORConwayGovState era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ConwayGovState era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ConwayGovState era] → Size Source #

EraPParams era ⇒ DecCBOR (ConwayGovState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance

EraPParams era ⇒ DecShareCBOR (ConwayGovState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance

Associated Types

type Share (ConwayGovState era) Source #

EraPParams era ⇒ EncCBOR (ConwayGovState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance

Methods

encCBORConwayGovState era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ConwayGovState era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ConwayGovState era] → Size Source #

EraPParams era ⇒ Default (ConwayGovState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance

Methods

defConwayGovState era Source #

EraPParams era ⇒ NFData (ConwayGovState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance

Methods

rnfConwayGovState era → () Source #

EraPParams era ⇒ Eq (ConwayGovState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance

EraPParams era ⇒ NoThunks (ConwayGovState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance

type Rep (ConwayGovState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance

type Rep (ConwayGovState era) = D1 ('MetaData "ConwayGovState" "Cardano.Ledger.Conway.Governance" "cardano-ledger-conway-1.19.0.0-inplace" '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))))))
type Share (ConwayGovState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance

type Share (ConwayGovState era) = ()

predictFuturePParamsConwayGovState era → ConwayGovState era Source #

This function updates the thunk, which will contain new PParams once evaluated or Nothing when there was no update. At the same time if we already know the future of PParams, then it will act as an identity function.

data Committee era Source #

Constructors

Committee 

Fields

Instances

Instances details
Era era ⇒ FromJSON (Committee era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

EraPParams era ⇒ ToJSON (Committee era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Generic (Committee era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep (Committee era) ∷ TypeType Source #

Methods

fromCommittee era → Rep (Committee era) x Source #

toRep (Committee era) x → Committee era Source #

Show (Committee era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

showsPrecIntCommittee era → ShowS Source #

showCommittee era → String Source #

showList ∷ [Committee era] → ShowS Source #

Era era ⇒ DecCBOR (Committee era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

decCBORDecoder s (Committee era) Source #

dropCBORProxy (Committee era) → Decoder s () Source #

labelProxy (Committee era) → Text Source #

Era era ⇒ EncCBOR (Committee era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBORCommittee era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (Committee era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Committee era] → Size Source #

Default (Committee era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

defCommittee era Source #

Era era ⇒ NFData (Committee era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfCommittee era → () Source #

Eq (Committee era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

(==)Committee era → Committee era → Bool Source #

(/=)Committee era → Committee era → Bool Source #

Era era ⇒ NoThunks (Committee era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (Committee era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (Committee era) = D1 ('MetaData "Committee" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.19.0.0-inplace" '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)))

data GovAction era Source #

Note that the previous governance action id is only optional for the very first governance action of the same purpose.

Constructors

ParameterChange 

Fields

HardForkInitiation 

Fields

TreasuryWithdrawals 

Fields

NoConfidence 

Fields

UpdateCommittee 

Fields

NewConstitution 

Fields

InfoAction 

Instances

Instances details
EraPParams era ⇒ ToJSON (GovAction era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Generic (GovAction era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep (GovAction era) ∷ TypeType Source #

Methods

fromGovAction era → Rep (GovAction era) x Source #

toRep (GovAction era) x → GovAction era Source #

EraPParams era ⇒ Show (GovAction era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

showsPrecIntGovAction era → ShowS Source #

showGovAction era → String Source #

showList ∷ [GovAction era] → ShowS Source #

EraPParams era ⇒ DecCBOR (GovAction era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

decCBORDecoder s (GovAction era) Source #

dropCBORProxy (GovAction era) → Decoder s () Source #

labelProxy (GovAction era) → Text Source #

EraPParams era ⇒ EncCBOR (GovAction era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBORGovAction era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (GovAction era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [GovAction era] → Size Source #

EraPParams era ⇒ NFData (GovAction era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfGovAction era → () Source #

EraPParams era ⇒ Eq (GovAction era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

(==)GovAction era → GovAction era → Bool Source #

(/=)GovAction era → GovAction era → Bool Source #

EraPParams era ⇒ Ord (GovAction era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

compareGovAction era → GovAction era → Ordering Source #

(<)GovAction era → GovAction era → Bool Source #

(<=)GovAction era → GovAction era → Bool Source #

(>)GovAction era → GovAction era → Bool Source #

(>=)GovAction era → GovAction era → Bool Source #

maxGovAction era → GovAction era → GovAction era Source #

minGovAction era → GovAction era → GovAction era Source #

EraPParams era ⇒ NoThunks (GovAction era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (GovAction era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (GovAction era) = D1 ('MetaData "GovAction" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.19.0.0-inplace" 'False) ((C1 ('MetaCons "ParameterChange" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (GovPurposeId 'PParamUpdatePurpose era))) :*: (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParamsUpdate era)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe ScriptHash)))) :+: (C1 ('MetaCons "HardForkInitiation" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (GovPurposeId 'HardForkPurpose era))) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ProtVer)) :+: C1 ('MetaCons "TreasuryWithdrawals" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map RewardAccount Coin)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe ScriptHash))))) :+: ((C1 ('MetaCons "NoConfidence" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (GovPurposeId 'CommitteePurpose era)))) :+: C1 ('MetaCons "UpdateCommittee" 'PrefixI 'False) ((S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (GovPurposeId 'CommitteePurpose era))) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (Credential 'ColdCommitteeRole)))) :*: (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'ColdCommitteeRole) EpochNo)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval)))) :+: (C1 ('MetaCons "NewConstitution" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (GovPurposeId 'ConstitutionPurpose era))) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Constitution era))) :+: C1 ('MetaCons "InfoAction" 'PrefixI 'False) (U1TypeType))))

data GovActionState era Source #

Instances

Instances details
HasOKey GovActionId (GovActionState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

EraPParams era ⇒ ToJSON (GovActionState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Generic (GovActionState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep (GovActionState era) ∷ TypeType Source #

Methods

fromGovActionState era → Rep (GovActionState era) x Source #

toRep (GovActionState era) x → GovActionState era Source #

EraPParams era ⇒ Show (GovActionState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

EraPParams era ⇒ DecCBOR (GovActionState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

EraPParams era ⇒ DecShareCBOR (GovActionState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Share (GovActionState era) Source #

EraPParams era ⇒ EncCBOR (GovActionState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBORGovActionState era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (GovActionState era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [GovActionState era] → Size Source #

EraPParams era ⇒ NFData (GovActionState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfGovActionState era → () Source #

EraPParams era ⇒ Eq (GovActionState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

EraPParams era ⇒ Ord (GovActionState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

EraPParams era ⇒ NoThunks (GovActionState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (GovActionState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (GovActionState era) = D1 ('MetaData "GovActionState" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.19.0.0-inplace" '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 'DecidedStrict) (Rec0 EpochNo) :*: S1 ('MetaSel ('Just "gasExpiresAfter") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo)))))
type Share (GovActionState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Share (GovActionState era) = ()

newtype GovActionIx Source #

Constructors

GovActionIx 

Fields

Instances

Instances details
ToJSON GovActionIx Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Generic GovActionIx Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep GovActionIxTypeType Source #

Show GovActionIx Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

DecCBOR GovActionIx Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

EncCBOR GovActionIx Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBORGovActionIxEncoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy GovActionIxSize Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [GovActionIx] → Size Source #

NFData GovActionIx Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfGovActionIx → () Source #

Eq GovActionIx Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Ord GovActionIx Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

NoThunks GovActionIx Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep GovActionIx Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep GovActionIx = D1 ('MetaData "GovActionIx" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.19.0.0-inplace" 'True) (C1 ('MetaCons "GovActionIx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unGovActionIx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))

data GovActionId Source #

Constructors

GovActionId 

Instances

Instances details
ToJSON GovActionId Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

ToJSONKey GovActionId Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Generic GovActionId Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep GovActionIdTypeType Source #

Show GovActionId Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

DecCBOR GovActionId Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

EncCBOR GovActionId Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBORGovActionIdEncoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy GovActionIdSize Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [GovActionId] → Size Source #

NFData GovActionId Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfGovActionId → () Source #

Eq GovActionId Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Ord GovActionId Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

NoThunks GovActionId Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

HasOKey GovActionId (GovActionState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep GovActionId Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep GovActionId = D1 ('MetaData "GovActionId" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.19.0.0-inplace" 'False) (C1 ('MetaCons "GovActionId" 'PrefixI 'True) (S1 ('MetaSel ('Just "gaidTxId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId) :*: S1 ('MetaSel ('Just "gaidGovActionIx") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 GovActionIx)))

data GovActionPurpose Source #

Instances

Instances details
Generic GovActionPurpose Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep GovActionPurposeTypeType Source #

Show GovActionPurpose Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Eq GovActionPurpose Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep GovActionPurpose Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep GovActionPurpose = D1 ('MetaData "GovActionPurpose" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.19.0.0-inplace" 'False) ((C1 ('MetaCons "PParamUpdatePurpose" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "HardForkPurpose" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "CommitteePurpose" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "ConstitutionPurpose" 'PrefixI 'False) (U1TypeType)))

data DRepPulsingState era Source #

Instances

Instances details
Generic (DRepPulsingState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

Associated Types

type Rep (DRepPulsingState era) ∷ TypeType Source #

EraPParams era ⇒ Show (DRepPulsingState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

EraPParams era ⇒ DecCBOR (DRepPulsingState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

EraPParams era ⇒ DecShareCBOR (DRepPulsingState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

Associated Types

type Share (DRepPulsingState era) Source #

EraPParams era ⇒ EncCBOR (DRepPulsingState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

Methods

encCBORDRepPulsingState era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (DRepPulsingState era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [DRepPulsingState era] → Size Source #

EraPParams era ⇒ NFData (DRepPulsingState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

Methods

rnfDRepPulsingState era → () Source #

EraPParams era ⇒ Eq (DRepPulsingState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

EraPParams era ⇒ NoThunks (DRepPulsingState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

type Rep (DRepPulsingState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

type Rep (DRepPulsingState era) = D1 ('MetaData "DRepPulsingState" "Cardano.Ledger.Conway.Governance.DRepPulser" "cardano-ledger-conway-1.19.0.0-inplace" 'False) (C1 ('MetaCons "DRPulsing" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (DRepPulser era Identity (RatifyState era)))) :+: C1 ('MetaCons "DRComplete" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PulsingSnapshot era)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (RatifyState era))))
type Share (DRepPulsingState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

type Share (DRepPulsingState era) = ()

data DRepPulser era (m ∷ TypeType) ans where Source #

The type of a Pulser which uses computeDRepDistr as its underlying function. Note that we use two type equality (~) constraints to fix both the monad m and the ans type, to the context where we will use the type as a Pulser. The type DRepPulser must have m and ans as its last two parameters so we can make a Pulsable instance. We will always use this instantiation (DRepPulser era Identity (RatifyState era))

Constructors

DRepPulser 

Fields

Instances

Instances details
Pulsable (DRepPulser era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

Methods

done ∷ ∀ (m ∷ TypeType) ans. DRepPulser era m ans → Bool Source #

current ∷ ∀ (m ∷ TypeType) ans. DRepPulser era m ans → ans Source #

pulseMMonad m ⇒ DRepPulser era m ans → m (DRepPulser era m ans) Source #

completeMMonad m ⇒ DRepPulser era m ans → m ans Source #

(EraPParams era, Show ans) ⇒ Show (DRepPulser era m ans) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

Methods

showsPrecIntDRepPulser era m ans → ShowS Source #

showDRepPulser era m ans → String Source #

showList ∷ [DRepPulser era m ans] → ShowS Source #

EraPParams era ⇒ NFData (DRepPulser era Identity (RatifyState era)) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

Methods

rnfDRepPulser era Identity (RatifyState era) → () Source #

EraPParams era ⇒ Eq (DRepPulser era Identity (RatifyState era)) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

EraPParams era ⇒ NoThunks (DRepPulser era Identity (RatifyState era)) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

data Voter Source #

Instances

Instances details
ToJSON Voter Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

ToJSONKey Voter Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Generic Voter Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep VoterTypeType Source #

Methods

fromVoterRep Voter x Source #

toRep Voter x → Voter Source #

Show Voter Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

DecCBOR Voter Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

EncCBOR Voter Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBORVoterEncoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy VoterSize Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Voter] → Size Source #

NFData Voter Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfVoter → () Source #

Eq Voter Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

(==)VoterVoterBool Source #

(/=)VoterVoterBool Source #

Ord Voter Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

compareVoterVoterOrdering Source #

(<)VoterVoterBool Source #

(<=)VoterVoterBool Source #

(>)VoterVoterBool Source #

(>=)VoterVoterBool Source #

maxVoterVoterVoter Source #

minVoterVoterVoter Source #

NoThunks Voter Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Indexable Voter (VotingProcedures era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep Voter Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep Voter = D1 ('MetaData "Voter" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.19.0.0-inplace" 'False) (C1 ('MetaCons "CommitteeVoter" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'HotCommitteeRole))) :+: (C1 ('MetaCons "DRepVoter" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'DRepRole))) :+: C1 ('MetaCons "StakePoolVoter" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool)))))

data Vote Source #

Constructors

VoteNo 
VoteYes 
Abstain 

Instances

Instances details
ToJSON Vote Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Bounded Vote Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Enum Vote Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Generic Vote Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep VoteTypeType Source #

Methods

fromVoteRep Vote x Source #

toRep Vote x → Vote Source #

Show Vote Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

showsPrecIntVoteShowS Source #

showVoteString Source #

showList ∷ [Vote] → ShowS Source #

DecCBOR Vote Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

EncCBOR Vote Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBORVoteEncoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy VoteSize Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Vote] → Size Source #

NFData Vote Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfVote → () Source #

Eq Vote Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

(==)VoteVoteBool Source #

(/=)VoteVoteBool Source #

Ord Vote Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

compareVoteVoteOrdering Source #

(<)VoteVoteBool Source #

(<=)VoteVoteBool Source #

(>)VoteVoteBool Source #

(>=)VoteVoteBool Source #

maxVoteVoteVote Source #

minVoteVoteVote Source #

NoThunks Vote Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep Vote Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep Vote = D1 ('MetaData "Vote" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.19.0.0-inplace" 'False) (C1 ('MetaCons "VoteNo" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "VoteYes" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "Abstain" 'PrefixI 'False) (U1TypeType)))

data VotingProcedure era Source #

Constructors

VotingProcedure 

Instances

Instances details
EraPParams era ⇒ ToJSON (VotingProcedure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Generic (VotingProcedure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep (VotingProcedure era) ∷ TypeType Source #

Show (VotingProcedure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Era era ⇒ DecCBOR (VotingProcedure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Era era ⇒ EncCBOR (VotingProcedure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBORVotingProcedure era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (VotingProcedure era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [VotingProcedure era] → Size Source #

NFData (VotingProcedure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfVotingProcedure era → () Source #

Eq (VotingProcedure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

NoThunks (VotingProcedure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (VotingProcedure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (VotingProcedure era) = D1 ('MetaData "VotingProcedure" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.19.0.0-inplace" '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))))

newtype VotingProcedures era Source #

Instances

Instances details
Indexable Voter (VotingProcedures era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

EraPParams era ⇒ ToJSON (VotingProcedures era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Generic (VotingProcedures era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep (VotingProcedures era) ∷ TypeType Source #

Show (VotingProcedures era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Era era ⇒ DecCBOR (VotingProcedures era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Era era ⇒ EncCBOR (VotingProcedures era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBORVotingProcedures era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (VotingProcedures era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [VotingProcedures era] → Size Source #

Era era ⇒ NFData (VotingProcedures era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfVotingProcedures era → () Source #

Eq (VotingProcedures era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

NoThunks (VotingProcedures era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (VotingProcedures era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (VotingProcedures era) = D1 ('MetaData "VotingProcedures" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.19.0.0-inplace" 'True) (C1 ('MetaCons "VotingProcedures" 'PrefixI 'True) (S1 ('MetaSel ('Just "unVotingProcedures") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Voter (Map GovActionId (VotingProcedure era))))))

foldlVotingProcedures Source #

Arguments

∷ (c → VoterGovActionIdVotingProcedure era → c)

Accumulating function

→ c

Initial accumulator

VotingProcedures era

Procedures to fold over

→ c 

foldrVotingProcedures Source #

Arguments

∷ (VoterGovActionIdVotingProcedure era → c → c)

Accumulating function

→ c

Initial accumulator

VotingProcedures era

Procedures to fold over

→ c 

data ProposalProcedure era Source #

Instances

Instances details
EraPParams era ⇒ ToJSON (ProposalProcedure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Generic (ProposalProcedure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep (ProposalProcedure era) ∷ TypeType Source #

EraPParams era ⇒ Show (ProposalProcedure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

EraPParams era ⇒ DecCBOR (ProposalProcedure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

EraPParams era ⇒ EncCBOR (ProposalProcedure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBORProposalProcedure era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ProposalProcedure era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ProposalProcedure era] → Size Source #

EraPParams era ⇒ NFData (ProposalProcedure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfProposalProcedure era → () Source #

EraPParams era ⇒ Eq (ProposalProcedure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

EraPParams era ⇒ Ord (ProposalProcedure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

EraPParams era ⇒ NoThunks (ProposalProcedure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (ProposalProcedure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (ProposalProcedure era) = D1 ('MetaData "ProposalProcedure" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.19.0.0-inplace" 'False) (C1 ('MetaCons "ProposalProcedure" 'PrefixI 'True) ((S1 ('MetaSel ('Just "pProcDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Just "pProcReturnAddr") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 RewardAccount)) :*: (S1 ('MetaSel ('Just "pProcGovAction") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GovAction era)) :*: S1 ('MetaSel ('Just "pProcAnchor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Anchor))))

data Anchor Source #

Constructors

Anchor 

Instances

Instances details
FromJSON Anchor 
Instance details

Defined in Cardano.Ledger.BaseTypes

ToJSON Anchor 
Instance details

Defined in Cardano.Ledger.BaseTypes

Generic Anchor 
Instance details

Defined in Cardano.Ledger.BaseTypes

Associated Types

type Rep AnchorTypeType Source #

Methods

fromAnchorRep Anchor x Source #

toRep Anchor x → Anchor Source #

Show Anchor 
Instance details

Defined in Cardano.Ledger.BaseTypes

DecCBOR Anchor 
Instance details

Defined in Cardano.Ledger.BaseTypes

EncCBOR Anchor 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

encCBORAnchorEncoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy AnchorSize Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Anchor] → Size Source #

Default Anchor 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

defAnchor Source #

NFData Anchor 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

rnfAnchor → () Source #

Eq Anchor 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

(==)AnchorAnchorBool Source #

(/=)AnchorAnchorBool Source #

Ord Anchor 
Instance details

Defined in Cardano.Ledger.BaseTypes

NoThunks Anchor 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep Anchor 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep Anchor = D1 ('MetaData "Anchor" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.17.0.0-inplace" '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))))

indexedGovPropsSeq (ProposalProcedure era) → Seq (GovActionIx, ProposalProcedure era) Source #

Attaches indices to a sequence of proposal procedures. The indices grow from left to right.

data Constitution era Source #

Instances

Instances details
Era era ⇒ FromJSON (Constitution era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Era era ⇒ ToJSON (Constitution era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Generic (Constitution era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep (Constitution era) ∷ TypeType Source #

Methods

fromConstitution era → Rep (Constitution era) x Source #

toRep (Constitution era) x → Constitution era Source #

Show (Constitution era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Era era ⇒ FromCBOR (Constitution era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Era era ⇒ ToCBOR (Constitution era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

toCBORConstitution era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Constitution era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Constitution era] → Size Source #

Era era ⇒ DecCBOR (Constitution era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Era era ⇒ EncCBOR (Constitution era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBORConstitution era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (Constitution era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Constitution era] → Size Source #

Era era ⇒ Default (Constitution era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

defConstitution era Source #

Era era ⇒ NFData (Constitution era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfConstitution era → () Source #

Eq (Constitution era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

(==)Constitution era → Constitution era → Bool Source #

(/=)Constitution era → Constitution era → Bool Source #

Ord (Constitution era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Era era ⇒ NoThunks (Constitution era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (Constitution era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (Constitution era) = D1 ('MetaData "Constitution" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.19.0.0-inplace" 'False) (C1 ('MetaCons "Constitution" 'PrefixI 'True) (S1 ('MetaSel ('Just "constitutionAnchor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Anchor) :*: S1 ('MetaSel ('Just "constitutionScript") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe ScriptHash))))

data Proposals era Source #

Self-contained representation of all 4 proposals trees. This forest is made up of only action-ids for nodes - full GovActionStates are stored only once in the OMap. All functions in this module prefixed with the string proposals- operate on this data-type keeping it consistent.

NOTE: The correct way to think about this data-structure is similar to 4 of the following, one for each GovActionPurpose

  data Tree a = Node (StrictMaybe a) [Tree a]

but because this does not allow us to look-up a node's edges in predictable time, we use a map from nodes to their edges (parent and children) to capture the graph (PGraph). We also need to always know the roots of the 4 trees, and those we store in the PRoot

NOTE: At the end of an epoch boundary, we expect pRoots to be the same as the PrevGovActionIds from the EnactState

Instances

Instances details
EraPParams era ⇒ ToJSON (Proposals era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Generic (Proposals era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Associated Types

type Rep (Proposals era) ∷ TypeType Source #

Methods

fromProposals era → Rep (Proposals era) x Source #

toRep (Proposals era) x → Proposals era Source #

EraPParams era ⇒ Show (Proposals era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Methods

showsPrecIntProposals era → ShowS Source #

showProposals era → String Source #

showList ∷ [Proposals era] → ShowS Source #

EraPParams era ⇒ DecCBOR (Proposals era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Methods

decCBORDecoder s (Proposals era) Source #

dropCBORProxy (Proposals era) → Decoder s () Source #

labelProxy (Proposals era) → Text Source #

EraPParams era ⇒ DecShareCBOR (Proposals era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Associated Types

type Share (Proposals era) Source #

EraPParams era ⇒ EncCBOR (Proposals era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Methods

encCBORProposals era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (Proposals era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Proposals era] → Size Source #

Default (Proposals era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Methods

defProposals era Source #

EraPParams era ⇒ NFData (Proposals era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Methods

rnfProposals era → () Source #

EraPParams era ⇒ Eq (Proposals era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Methods

(==)Proposals era → Proposals era → Bool Source #

(/=)Proposals era → Proposals era → Bool Source #

EraPParams era ⇒ NoThunks (Proposals era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

type Rep (Proposals era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

type Rep (Proposals era) = D1 ('MetaData "Proposals" "Cardano.Ledger.Conway.Governance.Proposals" "cardano-ledger-conway-1.19.0.0-inplace" '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 era)) :*: S1 ('MetaSel ('Just "pGraph") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GovRelation PGraph era)))))
type Share (Proposals era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

type Share (Proposals era) = ()

mkProposals ∷ (EraPParams era, MonadFail m) ⇒ GovRelation StrictMaybe era → OMap GovActionId (GovActionState era) → m (Proposals era) Source #

Reconstruct the Proposals forest from an OMap of GovActionStates and the 4 roots (PrevGovActionIds)

unsafeMkProposals ∷ (HasCallStack, EraPParams era) ⇒ GovRelation StrictMaybe era → OMap GovActionId (GovActionState era) → Proposals era Source #

Reconstruct the Proposals forest from an OMap of GovActionStates and the 4 roots (PrevGovActionIds). This function can fail and may return a malformed Proposals if not given correct inputs.

WARNING: Should only be used for testing!

newtype GovPurposeId (p ∷ GovActionPurpose) era Source #

Constructors

GovPurposeId 

Instances

Instances details
Show (TreeMaybe (GovPurposeId p era)) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Era era ⇒ ToJSON (GovPurposeId p era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Era era ⇒ ToJSONKey (GovPurposeId p era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Generic (GovPurposeId p era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep (GovPurposeId p era) ∷ TypeType Source #

Methods

fromGovPurposeId p era → Rep (GovPurposeId p era) x Source #

toRep (GovPurposeId p era) x → GovPurposeId p era Source #

Era era ⇒ Show (GovPurposeId p era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

showsPrecIntGovPurposeId p era → ShowS Source #

showGovPurposeId p era → String Source #

showList ∷ [GovPurposeId p era] → ShowS Source #

(Era era, Typeable p) ⇒ DecCBOR (GovPurposeId p era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

decCBORDecoder s (GovPurposeId p era) Source #

dropCBORProxy (GovPurposeId p era) → Decoder s () Source #

labelProxy (GovPurposeId p era) → Text Source #

(Era era, Typeable p) ⇒ EncCBOR (GovPurposeId p era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBORGovPurposeId p era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (GovPurposeId p era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [GovPurposeId p era] → Size Source #

Era era ⇒ NFData (GovPurposeId p era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfGovPurposeId p era → () Source #

Eq (GovPurposeId p era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

(==)GovPurposeId p era → GovPurposeId p era → Bool Source #

(/=)GovPurposeId p era → GovPurposeId p era → Bool Source #

Ord (GovPurposeId p era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

compareGovPurposeId p era → GovPurposeId p era → Ordering Source #

(<)GovPurposeId p era → GovPurposeId p era → Bool Source #

(<=)GovPurposeId p era → GovPurposeId p era → Bool Source #

(>)GovPurposeId p era → GovPurposeId p era → Bool Source #

(>=)GovPurposeId p era → GovPurposeId p era → Bool Source #

maxGovPurposeId p era → GovPurposeId p era → GovPurposeId p era Source #

minGovPurposeId p era → GovPurposeId p era → GovPurposeId p era Source #

Era era ⇒ NoThunks (GovPurposeId p era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (GovPurposeId p era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (GovPurposeId p era) = D1 ('MetaData "GovPurposeId" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.19.0.0-inplace" 'True) (C1 ('MetaCons "GovPurposeId" 'PrefixI 'True) (S1 ('MetaSel ('Just "unGovPurposeId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GovActionId)))

data PRoot a Source #

The root of a single Proposals tree. prRoot is always expected to be equal to the respective PrevGovActionId at the end of every epoch boundary

Constructors

PRoot 

Fields

Instances

Instances details
Generic (PRoot a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Associated Types

type Rep (PRoot a) ∷ TypeType Source #

Methods

fromPRoot a → Rep (PRoot a) x Source #

toRep (PRoot a) x → PRoot a Source #

Show a ⇒ Show (PRoot a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Methods

showsPrecIntPRoot a → ShowS Source #

showPRoot a → String Source #

showList ∷ [PRoot a] → ShowS Source #

Default (PRoot a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Methods

defPRoot a Source #

NFData a ⇒ NFData (PRoot a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Methods

rnfPRoot a → () Source #

Eq a ⇒ Eq (PRoot a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Methods

(==)PRoot a → PRoot a → Bool Source #

(/=)PRoot a → PRoot a → Bool Source #

Ord a ⇒ Ord (PRoot a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Methods

comparePRoot a → PRoot a → Ordering Source #

(<)PRoot a → PRoot a → Bool Source #

(<=)PRoot a → PRoot a → Bool Source #

(>)PRoot a → PRoot a → Bool Source #

(>=)PRoot a → PRoot a → Bool Source #

maxPRoot a → PRoot a → PRoot a Source #

minPRoot a → PRoot a → PRoot a Source #

NoThunks a ⇒ NoThunks (PRoot a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

type Rep (PRoot a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

type Rep (PRoot a) = D1 ('MetaData "PRoot" "Cardano.Ledger.Conway.Governance.Proposals" "cardano-ledger-conway-1.19.0.0-inplace" '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))))

data PEdges a Source #

A non-root edges in a Proposals tree. peParent is expected to be a SNothing only at the begining when no governance actions has been enacted yet.

Constructors

PEdges 

Fields

Instances

Instances details
Generic (PEdges a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Associated Types

type Rep (PEdges a) ∷ TypeType Source #

Methods

fromPEdges a → Rep (PEdges a) x Source #

toRep (PEdges a) x → PEdges a Source #

Show a ⇒ Show (PEdges a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Methods

showsPrecIntPEdges a → ShowS Source #

showPEdges a → String Source #

showList ∷ [PEdges a] → ShowS Source #

Default (PEdges a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Methods

defPEdges a Source #

NFData a ⇒ NFData (PEdges a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Methods

rnfPEdges a → () Source #

Eq a ⇒ Eq (PEdges a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Methods

(==)PEdges a → PEdges a → Bool Source #

(/=)PEdges a → PEdges a → Bool Source #

Ord a ⇒ Ord (PEdges a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Methods

comparePEdges a → PEdges a → Ordering Source #

(<)PEdges a → PEdges a → Bool Source #

(<=)PEdges a → PEdges a → Bool Source #

(>)PEdges a → PEdges a → Bool Source #

(>=)PEdges a → PEdges a → Bool Source #

maxPEdges a → PEdges a → PEdges a Source #

minPEdges a → PEdges a → PEdges a Source #

NoThunks a ⇒ NoThunks (PEdges a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

type Rep (PEdges a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

type Rep (PEdges a) = D1 ('MetaData "PEdges" "Cardano.Ledger.Conway.Governance.Proposals" "cardano-ledger-conway-1.19.0.0-inplace" '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))))

newtype PGraph a Source #

A single proposal-tree. This map represents all the action-ids that form a tree.

Constructors

PGraph 

Fields

Instances

Instances details
Generic (PGraph a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Associated Types

type Rep (PGraph a) ∷ TypeType Source #

Methods

fromPGraph a → Rep (PGraph a) x Source #

toRep (PGraph a) x → PGraph a Source #

Show a ⇒ Show (PGraph a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Methods

showsPrecIntPGraph a → ShowS Source #

showPGraph a → String Source #

showList ∷ [PGraph a] → ShowS Source #

Default (PGraph a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Methods

defPGraph a Source #

NFData a ⇒ NFData (PGraph a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Methods

rnfPGraph a → () Source #

Eq a ⇒ Eq (PGraph a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Methods

(==)PGraph a → PGraph a → Bool Source #

(/=)PGraph a → PGraph a → Bool Source #

Ord a ⇒ Ord (PGraph a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Methods

comparePGraph a → PGraph a → Ordering Source #

(<)PGraph a → PGraph a → Bool Source #

(<=)PGraph a → PGraph a → Bool Source #

(>)PGraph a → PGraph a → Bool Source #

(>=)PGraph a → PGraph a → Bool Source #

maxPGraph a → PGraph a → PGraph a Source #

minPGraph a → PGraph a → PGraph a Source #

NoThunks a ⇒ NoThunks (PGraph a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

type Rep (PGraph a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

type Rep (PGraph a) = D1 ('MetaData "PGraph" "Cardano.Ledger.Conway.Governance.Proposals" "cardano-ledger-conway-1.19.0.0-inplace" 'True) (C1 ('MetaCons "PGraph" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPGraph") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map a (PEdges a)))))

data GovRelation (f ∷ TypeType) era Source #

Abstract data type for representing relationship of governance action with the same purpose

Instances

Instances details
(Era era, ∀ (p ∷ GovActionPurpose). ToJSON (f (GovPurposeId p era))) ⇒ ToJSON (GovRelation f era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

(∀ (p ∷ GovActionPurpose). Monoid (f (GovPurposeId p era))) ⇒ Monoid (GovRelation f era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

memptyGovRelation f era Source #

mappendGovRelation f era → GovRelation f era → GovRelation f era Source #

mconcat ∷ [GovRelation f era] → GovRelation f era Source #

(∀ (p ∷ GovActionPurpose). Semigroup (f (GovPurposeId p era))) ⇒ Semigroup (GovRelation f era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

(<>)GovRelation f era → GovRelation f era → GovRelation f era Source #

sconcatNonEmpty (GovRelation f era) → GovRelation f era Source #

stimesIntegral b ⇒ b → GovRelation f era → GovRelation f era Source #

Generic (GovRelation f era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep (GovRelation f era) ∷ TypeType Source #

Methods

fromGovRelation f era → Rep (GovRelation f era) x Source #

toRep (GovRelation f era) x → GovRelation f era Source #

(∀ (p ∷ GovActionPurpose). Show (f (GovPurposeId p era))) ⇒ Show (GovRelation f era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

showsPrecIntGovRelation f era → ShowS Source #

showGovRelation f era → String Source #

showList ∷ [GovRelation f era] → ShowS Source #

(Era era, Typeable f, ∀ (p ∷ GovActionPurpose). Typeable p ⇒ DecCBOR (f (GovPurposeId p era))) ⇒ DecCBOR (GovRelation f era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

decCBORDecoder s (GovRelation f era) Source #

dropCBORProxy (GovRelation f era) → Decoder s () Source #

labelProxy (GovRelation f era) → Text Source #

(Era era, Typeable f, ∀ (p ∷ GovActionPurpose). Typeable p ⇒ EncCBOR (f (GovPurposeId p era))) ⇒ EncCBOR (GovRelation f era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBORGovRelation f era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (GovRelation f era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [GovRelation f era] → Size Source #

(∀ (p ∷ GovActionPurpose). Default (f (GovPurposeId p era))) ⇒ Default (GovRelation f era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

defGovRelation f era Source #

(∀ (p ∷ GovActionPurpose). NFData (f (GovPurposeId p era))) ⇒ NFData (GovRelation f era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfGovRelation f era → () Source #

(∀ (p ∷ GovActionPurpose). Eq (f (GovPurposeId p era))) ⇒ Eq (GovRelation f era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

(==)GovRelation f era → GovRelation f era → Bool Source #

(/=)GovRelation f era → GovRelation f era → Bool Source #

(∀ (p ∷ GovActionPurpose). NoThunks (f (GovPurposeId p era))) ⇒ NoThunks (GovRelation f era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (GovRelation f era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (GovRelation f era) = D1 ('MetaData "GovRelation" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.19.0.0-inplace" 'False) (C1 ('MetaCons "GovRelation" 'PrefixI 'True) ((S1 ('MetaSel ('Just "grPParamUpdate") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f (GovPurposeId 'PParamUpdatePurpose era))) :*: S1 ('MetaSel ('Just "grHardFork") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f (GovPurposeId 'HardForkPurpose era)))) :*: (S1 ('MetaSel ('Just "grCommittee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f (GovPurposeId 'CommitteePurpose era))) :*: S1 ('MetaSel ('Just "grConstitution") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f (GovPurposeId 'ConstitutionPurpose era))))))

hoistGovRelation ∷ (∀ a. f a → g a) → GovRelation f era → GovRelation g era Source #

withGovActionParent Source #

Arguments

GovActionState era 
→ a

The result to be used for governance actions that can't have a parent

→ (∀ p. (∀ f. Lens' (GovRelation f era) (f (GovPurposeId p era))) → StrictMaybe (GovPurposeId p era) → GovPurposeId p era → a)

Function that will be applied to a lens and a parent

→ a 

Apply a function to a GovAction that can have a parent.

proposalsDepositsProposals era → Map (Credential 'Staking) (CompactForm Coin) Source #

Get a mapping from the reward-account staking credentials to deposits of all proposals.

proposalsAddAction ∷ ∀ era. (EraPParams era, HasCallStack) ⇒ GovActionState era → Proposals era → Maybe (Proposals era) Source #

Add a single GovActionState to the Proposals forest. The tree to which it is added is picked according to its GovActionPurpose. Returns Nothing when the operation cannot succeed.

proposalsRemoveWithDescendantsEraPParams era ⇒ Set GovActionIdProposals era → (Proposals era, Map GovActionId (GovActionState era)) Source #

Remove the set of given action-ids with their descendants from the Proposals forest. Cannot be used for removing enacted GovActionIds (i.e. roots)

proposalsAddVoteVoterVoteGovActionIdProposals era → Proposals era Source #

Add a vote to an existing GovActionState. This is a no-op if the provided GovActionId does not already exist

proposalsApplyEnactment ∷ ∀ era. EraPParams era ⇒ Seq (GovActionState era) → Set GovActionIdProposals era → (Proposals era, Map GovActionId (GovActionState era), Map GovActionId (GovActionState era), Map GovActionId (GovActionState era)) Source #

For use in the EPOCH rule. Apply the result of extractDRepPulsingState to the Proposals forest, so that: i. all the expired action-ids and their descendants are removed, and ii. the sequence of enacted action-ids is promoted to the root, removing competing/sibling action-ids and their descendants at each step

proposalsWithPurpose ∷ ∀ p era. ToGovActionPurpose p ⇒ (∀ f. Lens' (GovRelation f era) (f (GovPurposeId p era))) → Proposals era → Map (GovPurposeId p era) (GovActionState era) Source #

forceDRepPulsingStateConwayEraGov era ⇒ NewEpochState era → NewEpochState era Source #

Force computation of DRep stake distribution and figure out the next enact state. This operation is useful in cases when access to new EnactState or DRep stake distribution is needed more than once. It is safe to call this function at any point. Whenever pulser is already in computed state this will be a noop.

computeDRepDistrMap (Credential 'Staking) (CompactForm Coin) → Map (Credential 'DRepRole) DRepStateMap (Credential 'Staking) (CompactForm Coin) → PoolDistrMap DRep (CompactForm Coin) → Map (Credential 'Staking) UMElem → (Map DRep (CompactForm Coin), PoolDistr) Source #

We iterate over a pulse-sized chunk of the UMap.

For each staking credential in the chunk that has delegated to a DRep, add the stake distribution, rewards, and proposal deposits for that credential to the DRep distribution, if the DRep is a DRepCredential (also, AlwaysAbstain or AlwaysNoConfidence) and a member of the registered DReps. If the DRepCredential is not a member of the registered DReps, ignore and skip that DRep.

For each staking credential in the chunk that has delegated to an SPO, add only the proposal deposits for that credential to the stake pool distribution, since the rewards and stake are already added to it by the SNAP rule.

Give or take, this operation has roughly O (a * (log(b) + log(c) + log(d) + log(e) + log(f))) complexity, where, (a) is the size of the chunk of the UMap, which is the pulse-size, iterate over (b) is the size of the StakeDistr, lookup (c) is the size of the DRepDistr, insertWith (d) is the size of the dpProposalDeposits, lookup (e) is the size of the registered DReps, lookup (f) is the size of the PoolDistr, insert

psDRepDistrGSimpleGetter (DRepPulsingState era) (Map DRep (CompactForm Coin)) Source #

This is potentially an expensive getter. Make sure not to use it in the first 80% of the epoch.

data PulsingSnapshot era Source #

A snapshot of information from the previous epoch stored inside the Pulser. After the pulser completes, but before the epoch turns, this information is store in the DRComplete constructor of the DRepPulsingState These are the values at the start of the current epoch. This allows the API To access these "previous" values, both during and after pulsing.

Instances

Instances details
EraPParams era ⇒ ToJSON (PulsingSnapshot era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

Generic (PulsingSnapshot era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

Associated Types

type Rep (PulsingSnapshot era) ∷ TypeType Source #

EraPParams era ⇒ Show (PulsingSnapshot era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

EraPParams era ⇒ FromCBOR (PulsingSnapshot era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

EraPParams era ⇒ ToCBOR (PulsingSnapshot era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

Methods

toCBORPulsingSnapshot era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (PulsingSnapshot era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PulsingSnapshot era] → Size Source #

EraPParams era ⇒ DecCBOR (PulsingSnapshot era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

EraPParams era ⇒ DecShareCBOR (PulsingSnapshot era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

Associated Types

type Share (PulsingSnapshot era) Source #

EraPParams era ⇒ EncCBOR (PulsingSnapshot era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

Methods

encCBORPulsingSnapshot era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (PulsingSnapshot era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [PulsingSnapshot era] → Size Source #

Default (PulsingSnapshot era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

Methods

defPulsingSnapshot era Source #

EraPParams era ⇒ NFData (PulsingSnapshot era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

Methods

rnfPulsingSnapshot era → () Source #

EraPParams era ⇒ Eq (PulsingSnapshot era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

EraPParams era ⇒ NoThunks (PulsingSnapshot era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

type Rep (PulsingSnapshot era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

type Rep (PulsingSnapshot era) = D1 ('MetaData "PulsingSnapshot" "Cardano.Ledger.Conway.Governance.DRepPulser" "cardano-ledger-conway-1.19.0.0-inplace" '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))))))
type Share (PulsingSnapshot era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

type Share (PulsingSnapshot era) = ()

setFreshDRepPulsingState ∷ (GovState era ~ ConwayGovState era, Monad m, RunConwayRatify era, ConwayEraGov era) ⇒ EpochNoPoolDistrEpochState era → ReaderT Globals m (EpochState era) Source #

Refresh the pulser in the EpochState using all the new data that is needed to compute the RatifyState when pulsing completes.

class (STS (ConwayRATIFY era), Signal (ConwayRATIFY era) ~ RatifySignal era, BaseM (ConwayRATIFY era) ~ Reader Globals, Environment (ConwayRATIFY era) ~ RatifyEnv era, State (ConwayRATIFY era) ~ RatifyState era, PredicateFailure (ConwayRATIFY era) ~ Void) ⇒ RunConwayRatify era where Source #

Minimal complete definition

Nothing

Methods

runConwayRatifyGlobalsRatifyEnv era → RatifyState era → RatifySignal era → RatifyState era Source #

data DefaultVote Source #

Default vote that will be used for Stake Pool.

Constructors

DefaultNo

Reward account is delegated to a DRepKeyHash, DRepScriptHash or undelegated: default vote is No.

DefaultAbstain

Reward account is delegated to DRepAlwaysAbstain: default vote is Abstain, except for HardForkInitiation actions.

DefaultNoConfidence

Reward account is delegated to DRepAlwaysNoConfidence: default vote is Yes in case of a NoConfidence action, otherwise No.

Instances

Instances details
Show DefaultVote Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance

Eq DefaultVote Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance

defaultStakePoolVote Source #

Arguments

KeyHash 'StakePool

Specify the key hash of the pool whose default vote should be returned.

Map (KeyHash 'StakePool) PoolParams

Registered Stake Pools

Map (Credential 'Staking) DRep

Delegations of staking credneitals to a DRep

DefaultVote 

Exported for testing

data TreeMaybe a Source #

Wraper type, which serves as a composition of Tree . StrictMaybe

Also its Show instance will print a nice tree structure.

Constructors

TreeMaybe 

Fields

Instances

Instances details
Show (TreeMaybe (GovPurposeId p era)) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Eq a ⇒ Eq (TreeMaybe a) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Proposals

Methods

(==)TreeMaybe a → TreeMaybe a → Bool Source #

(/=)TreeMaybe a → TreeMaybe a → Bool Source #

Orphan instances