cardano-ledger-conway-1.17.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.17.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 (EraCrypto era)) 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 #

Constructors

RatifyState 

Fields

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.17.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 (EraCrypto era)))) :*: 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.17.0.0-inplace" 'False) (C1 ('MetaCons "RatifyEnv" 'PrefixI 'True) (((S1 ('MetaSel ('Just "reStakeDistr") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking (EraCrypto era)) (CompactForm Coin))) :*: S1 ('MetaSel ('Just "reStakePoolDistr") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PoolDistr (EraCrypto era)))) :*: (S1 ('MetaSel ('Just "reDRepDistr") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (DRep (EraCrypto era)) (CompactForm Coin))) :*: S1 ('MetaSel ('Just "reDRepState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'DRepRole (EraCrypto era)) (DRepState (EraCrypto era)))))) :*: ((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 (EraCrypto era)) (DRep (EraCrypto era)))) :*: S1 ('MetaSel ('Just "rePoolParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era))))))))

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.17.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.17.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.17.0.0-inplace" 'False) (C1 ('MetaCons "Committee" 'PrefixI 'True) (S1 ('MetaSel ('Just "committeeMembers") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'ColdCommitteeRole (EraCrypto era)) 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.17.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 (EraCrypto era)))))) :+: (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 (EraCrypto era)) Coin)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (ScriptHash (EraCrypto era))))))) :+: ((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 (EraCrypto era))))) :*: (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'ColdCommitteeRole (EraCrypto era)) 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
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

c ~ EraCrypto era ⇒ HasOKey (GovActionId c) (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.17.0.0-inplace" 'False) (C1 ('MetaCons "GovActionState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "gasId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GovActionId (EraCrypto era))) :*: (S1 ('MetaSel ('Just "gasCommitteeVotes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'HotCommitteeRole (EraCrypto era)) Vote)) :*: S1 ('MetaSel ('Just "gasDRepVotes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'DRepRole (EraCrypto era)) Vote)))) :*: ((S1 ('MetaSel ('Just "gasStakePoolVotes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool (EraCrypto era)) 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.17.0.0-inplace" 'True) (C1 ('MetaCons "GovActionIx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unGovActionIx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))

data GovActionId c Source #

Constructors

GovActionId 

Fields

Instances

Instances details
Crypto c ⇒ ToJSON (GovActionId c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Crypto c ⇒ ToJSONKey (GovActionId c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Generic (GovActionId c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep (GovActionId c) ∷ TypeType Source #

Methods

fromGovActionId c → Rep (GovActionId c) x Source #

toRep (GovActionId c) x → GovActionId c Source #

Show (GovActionId c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Crypto c ⇒ DecCBOR (GovActionId c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Crypto c ⇒ EncCBOR (GovActionId c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBORGovActionId c → Encoding Source #

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

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

Crypto c ⇒ NFData (GovActionId c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfGovActionId c → () Source #

Eq (GovActionId c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Ord (GovActionId c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

NoThunks (GovActionId c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

c ~ EraCrypto era ⇒ HasOKey (GovActionId c) (GovActionState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (GovActionId c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (GovActionId c) = D1 ('MetaData "GovActionId" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.17.0.0-inplace" 'False) (C1 ('MetaCons "GovActionId" 'PrefixI 'True) (S1 ('MetaSel ('Just "gaidTxId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxId c)) :*: 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.17.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.17.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 c Source #

Instances

Instances details
Crypto c ⇒ ToJSON (Voter c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Crypto c ⇒ ToJSONKey (Voter c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Generic (Voter c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep (Voter c) ∷ TypeType Source #

Methods

fromVoter c → Rep (Voter c) x Source #

toRep (Voter c) x → Voter c Source #

Show (Voter c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

showsPrecIntVoter c → ShowS Source #

showVoter c → String Source #

showList ∷ [Voter c] → ShowS Source #

Crypto c ⇒ DecCBOR (Voter c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

decCBORDecoder s (Voter c) Source #

dropCBORProxy (Voter c) → Decoder s () Source #

labelProxy (Voter c) → Text Source #

Crypto c ⇒ EncCBOR (Voter c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBORVoter c → Encoding Source #

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

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

NFData (Voter c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfVoter c → () Source #

Eq (Voter c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

(==)Voter c → Voter c → Bool Source #

(/=)Voter c → Voter c → Bool Source #

Ord (Voter c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

compareVoter c → Voter c → Ordering Source #

(<)Voter c → Voter c → Bool Source #

(<=)Voter c → Voter c → Bool Source #

(>)Voter c → Voter c → Bool Source #

(>=)Voter c → Voter c → Bool Source #

maxVoter c → Voter c → Voter c Source #

minVoter c → Voter c → Voter c Source #

NoThunks (Voter c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

c ~ EraCrypto era ⇒ Indexable (Voter c) (VotingProcedures era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (Voter c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

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

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.17.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 

Fields

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 #

Crypto (EraCrypto era) ⇒ 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.17.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 (EraCrypto era))))))

newtype VotingProcedures era Source #

Instances

Instances details
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

c ~ EraCrypto era ⇒ Indexable (Voter c) (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.17.0.0-inplace" 'True) (C1 ('MetaCons "VotingProcedures" 'PrefixI 'True) (S1 ('MetaSel ('Just "unVotingProcedures") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Voter (EraCrypto era)) (Map (GovActionId (EraCrypto era)) (VotingProcedure era))))))

foldlVotingProcedures Source #

Arguments

∷ (c → Voter (EraCrypto era) → GovActionId (EraCrypto era) → VotingProcedure era → c)

Accumulating function

→ c

Initial accumulator

VotingProcedures era

Procedures to fold over

→ c 

foldrVotingProcedures Source #

Arguments

∷ (Voter (EraCrypto era) → GovActionId (EraCrypto era) → VotingProcedure 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.17.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 (EraCrypto era)))) :*: (S1 ('MetaSel ('Just "pProcGovAction") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GovAction era)) :*: S1 ('MetaSel ('Just "pProcAnchor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Anchor (EraCrypto era))))))

data Anchor c Source #

Constructors

Anchor 

Instances

Instances details
Crypto c ⇒ FromJSON (Anchor c) 
Instance details

Defined in Cardano.Ledger.BaseTypes

Crypto c ⇒ ToJSON (Anchor c) 
Instance details

Defined in Cardano.Ledger.BaseTypes

Generic (Anchor c) 
Instance details

Defined in Cardano.Ledger.BaseTypes

Associated Types

type Rep (Anchor c) ∷ TypeType Source #

Methods

fromAnchor c → Rep (Anchor c) x Source #

toRep (Anchor c) x → Anchor c Source #

Show (Anchor c) 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

showsPrecIntAnchor c → ShowS Source #

showAnchor c → String Source #

showList ∷ [Anchor c] → ShowS Source #

Crypto c ⇒ DecCBOR (Anchor c) 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

decCBORDecoder s (Anchor c) Source #

dropCBORProxy (Anchor c) → Decoder s () Source #

labelProxy (Anchor c) → Text Source #

Crypto c ⇒ EncCBOR (Anchor c) 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

encCBORAnchor c → Encoding Source #

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

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

Crypto c ⇒ Default (Anchor c) 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

defAnchor c Source #

Crypto c ⇒ NFData (Anchor c) 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

rnfAnchor c → () Source #

Eq (Anchor c) 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

(==)Anchor c → Anchor c → Bool Source #

(/=)Anchor c → Anchor c → Bool Source #

Ord (Anchor c) 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

compareAnchor c → Anchor c → Ordering Source #

(<)Anchor c → Anchor c → Bool Source #

(<=)Anchor c → Anchor c → Bool Source #

(>)Anchor c → Anchor c → Bool Source #

(>=)Anchor c → Anchor c → Bool Source #

maxAnchor c → Anchor c → Anchor c Source #

minAnchor c → Anchor c → Anchor c Source #

NoThunks (Anchor c) 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep (Anchor c) 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep (Anchor c) = D1 ('MetaData "Anchor" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.15.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 c 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.17.0.0-inplace" 'False) (C1 ('MetaCons "Constitution" 'PrefixI 'True) (S1 ('MetaSel ('Just "constitutionAnchor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Anchor (EraCrypto era))) :*: S1 ('MetaSel ('Just "constitutionScript") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (ScriptHash (EraCrypto era))))))

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.17.0.0-inplace" 'False) (C1 ('MetaCons "Proposals" 'PrefixI 'True) (S1 ('MetaSel ('Just "pProps") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (OMap (GovActionId (EraCrypto era)) (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 (EraCrypto era)) (GovActionState era) → m (Proposals era) Source #

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

unsafeMkProposalsHasCallStackGovRelation StrictMaybe era → OMap (GovActionId (EraCrypto era)) (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.17.0.0-inplace" 'True) (C1 ('MetaCons "GovPurposeId" 'PrefixI 'True) (S1 ('MetaSel ('Just "unGovPurposeId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GovActionId (EraCrypto era)))))

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.17.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.17.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