cardano-ledger-api-1.11.0.0: Public API for the cardano ledger codebase
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Api.Governance

Synopsis

Documentation

emptyGovStateEraGov era ⇒ GovState era Source #

Construct empty governance state

getProposedPPUpdatesEraGov era ⇒ GovState era → Maybe (ProposedPPUpdates era) Source #

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

curPParamsGovStateLEraGov era ⇒ Lens' (GovState era) (PParams era) Source #

Lens for accessing current protocol parameters

prevPParamsGovStateLEraGov era ⇒ Lens' (GovState era) (PParams era) Source #

Lens for accessing the previous protocol parameters

futurePParamsGovStateLEraGov era ⇒ Lens' (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.

Shelley

data ShelleyGovState era Source #

Constructors

ShelleyGovState 

Fields

Instances

Instances details
EraPParams era ⇒ ToJSON (ShelleyGovState era) 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

Generic (ShelleyGovState era) 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

Associated Types

type Rep (ShelleyGovState era) ∷ TypeType Source #

(Show (PParamsUpdate era), Show (PParams era)) ⇒ Show (ShelleyGovState era) 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

(Era era, DecCBOR (PParamsUpdate era), DecCBOR (PParams era)) ⇒ FromCBOR (ShelleyGovState era) 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

(Era era, EncCBOR (PParamsUpdate era), EncCBOR (PParams era)) ⇒ ToCBOR (ShelleyGovState era) 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

Methods

toCBORShelleyGovState era → Encoding Source #

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

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

(Era era, DecCBOR (PParamsUpdate era), DecCBOR (PParams era)) ⇒ DecCBOR (ShelleyGovState era) 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

(Era era, DecCBOR (PParamsUpdate era), DecCBOR (PParams era)) ⇒ DecShareCBOR (ShelleyGovState era) 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

Associated Types

type Share (ShelleyGovState era) Source #

(Era era, EncCBOR (PParamsUpdate era), EncCBOR (PParams era)) ⇒ EncCBOR (ShelleyGovState era) 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

Methods

encCBORShelleyGovState era → Encoding Source #

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

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

EraPParams era ⇒ Default (ShelleyGovState era) 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

Methods

defShelleyGovState era Source #

(NFData (PParamsUpdate era), NFData (PParams era)) ⇒ NFData (ShelleyGovState era) 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

Methods

rnfShelleyGovState era → () Source #

(Eq (PParamsUpdate era), Eq (PParams era)) ⇒ Eq (ShelleyGovState era) 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

(NoThunks (PParamsUpdate era), NoThunks (PParams era)) ⇒ NoThunks (ShelleyGovState era) 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

type TranslationError AllegraEra ShelleyGovState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AlonzoEra ShelleyGovState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError BabbageEra ShelleyGovState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError MaryEra ShelleyGovState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type Rep (ShelleyGovState era) 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

type Rep (ShelleyGovState era) = D1 ('MetaData "ShelleyGovState" "Cardano.Ledger.Shelley.Governance" "cardano-ledger-shelley-1.16.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyGovState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "sgsCurProposals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ProposedPPUpdates era)) :*: S1 ('MetaSel ('Just "sgsFutureProposals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ProposedPPUpdates era))) :*: (S1 ('MetaSel ('Just "sgsCurPParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)) :*: (S1 ('MetaSel ('Just "sgsPrevPParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)) :*: S1 ('MetaSel ('Just "sgsFuturePParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (FuturePParams era))))))
type Share (ShelleyGovState era) 
Instance details

Defined in Cardano.Ledger.Shelley.Governance

type Share (ShelleyGovState era) = ()

newtype ProposedPPUpdates era Source #

Update operation for protocol parameters structure PParams

Instances

Instances details
EraPParams era ⇒ ToJSON (ProposedPPUpdates era) 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Monoid (ProposedPPUpdates era) 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Semigroup (ProposedPPUpdates era) 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Generic (ProposedPPUpdates era) 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Associated Types

type Rep (ProposedPPUpdates era) ∷ TypeType Source #

Show (PParamsUpdate era) ⇒ Show (ProposedPPUpdates era) 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

(Era era, FromCBOR (PParamsUpdate era)) ⇒ FromCBOR (ProposedPPUpdates era) 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

(Era era, ToCBOR (PParamsUpdate era)) ⇒ ToCBOR (ProposedPPUpdates era) 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Methods

toCBORProposedPPUpdates era → Encoding Source #

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

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

(Era era, DecCBOR (PParamsUpdate era)) ⇒ DecCBOR (ProposedPPUpdates era) 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

(Era era, EncCBOR (PParamsUpdate era)) ⇒ EncCBOR (ProposedPPUpdates era) 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Methods

encCBORProposedPPUpdates era → Encoding Source #

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

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

NFData (PParamsUpdate era) ⇒ NFData (ProposedPPUpdates era) 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Methods

rnfProposedPPUpdates era → () Source #

Eq (PParamsUpdate era) ⇒ Eq (ProposedPPUpdates era) 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

NoThunks (PParamsUpdate era) ⇒ NoThunks (ProposedPPUpdates era) 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

type TranslationError AllegraEra ProposedPPUpdates 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AlonzoEra ProposedPPUpdates 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError BabbageEra ProposedPPUpdates 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError MaryEra ProposedPPUpdates 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type Rep (ProposedPPUpdates era) 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

type Rep (ProposedPPUpdates era) = D1 ('MetaData "ProposedPPUpdates" "Cardano.Ledger.Shelley.PParams" "cardano-ledger-shelley-1.16.0.0-inplace" 'True) (C1 ('MetaCons "ProposedPPUpdates" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (KeyHash 'Genesis) (PParamsUpdate era)))))

Conway

Governance Procedures

data VotingProcedure era Source #

Constructors

VotingProcedure 

Instances

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Generic (VotingProcedure era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep (VotingProcedure era) ∷ TypeType Source #

Show (VotingProcedure era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Era era ⇒ DecCBOR (VotingProcedure era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Era era ⇒ EncCBOR (VotingProcedure era) 
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) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfVotingProcedure era → () Source #

Eq (VotingProcedure era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

NoThunks (VotingProcedure era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (VotingProcedure era) 
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) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

EraPParams era ⇒ ToJSON (VotingProcedures era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Generic (VotingProcedures era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep (VotingProcedures era) ∷ TypeType Source #

Show (VotingProcedures era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Era era ⇒ DecCBOR (VotingProcedures era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Era era ⇒ EncCBOR (VotingProcedures era) 
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) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfVotingProcedures era → () Source #

Eq (VotingProcedures era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

NoThunks (VotingProcedures era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (VotingProcedures era) 
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))))))

data ProposalProcedure era Source #

Instances

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Generic (ProposalProcedure era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep (ProposalProcedure era) ∷ TypeType Source #

EraPParams era ⇒ Show (ProposalProcedure era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

EraPParams era ⇒ DecCBOR (ProposalProcedure era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

EraPParams era ⇒ EncCBOR (ProposalProcedure era) 
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) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfProposalProcedure era → () Source #

EraPParams era ⇒ Eq (ProposalProcedure era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

EraPParams era ⇒ Ord (ProposalProcedure era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

EraPParams era ⇒ NoThunks (ProposalProcedure era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (ProposalProcedure era) 
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))))

Constitution

data Constitution era Source #

Instances

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Era era ⇒ ToJSON (Constitution era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Generic (Constitution era) 
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) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Era era ⇒ FromCBOR (Constitution era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Era era ⇒ ToCBOR (Constitution era) 
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) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Era era ⇒ EncCBOR (Constitution era) 
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) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

defConstitution era Source #

Era era ⇒ NFData (Constitution era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfConstitution era → () Source #

Eq (Constitution era) 
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) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Era era ⇒ NoThunks (Constitution era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (Constitution era) 
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))))

Governance State

data ConwayGovState era Source #

Conway governance state

Constructors

ConwayGovState 

Fields

Instances

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

Defined in Cardano.Ledger.Conway.Governance

Generic (ConwayGovState era) 
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) 
Instance details

Defined in Cardano.Ledger.Conway.Governance

EraPParams era ⇒ FromCBOR (ConwayGovState era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance

EraPParams era ⇒ ToCBOR (ConwayGovState era) 
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) 
Instance details

Defined in Cardano.Ledger.Conway.Governance

EraPParams era ⇒ DecShareCBOR (ConwayGovState era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance

Associated Types

type Share (ConwayGovState era) Source #

EraPParams era ⇒ EncCBOR (ConwayGovState era) 
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) 
Instance details

Defined in Cardano.Ledger.Conway.Governance

Methods

defConwayGovState era Source #

EraPParams era ⇒ NFData (ConwayGovState era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance

Methods

rnfConwayGovState era → () Source #

EraPParams era ⇒ Eq (ConwayGovState era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance

EraPParams era ⇒ NoThunks (ConwayGovState era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance

type Rep (ConwayGovState era) 
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) 
Instance details

Defined in Cardano.Ledger.Conway.Governance

type Share (ConwayGovState 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) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Generic (RatifyState era) 
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) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

EraPParams era ⇒ DecCBOR (RatifyState era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

EraPParams era ⇒ DecShareCBOR (RatifyState era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Associated Types

type Share (RatifyState era) Source #

EraPParams era ⇒ EncCBOR (RatifyState era) 
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) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

defRatifyState era Source #

EraPParams era ⇒ NFData (RatifyState era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

rnfRatifyState era → () Source #

EraPParams era ⇒ Eq (RatifyState era) 
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) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

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

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

Methods

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

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

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

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

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

type Rep (RatifyState era) 
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) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

type Share (RatifyState era) = ()

data EnactState era Source #

Constructors

EnactState 

Fields

Instances

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

Defined in Cardano.Ledger.Conway.Governance.Internal

Generic (EnactState era) 
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) 
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) 
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) 
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) 
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) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Associated Types

type Share (EnactState era) Source #

EraPParams era ⇒ EncCBOR (EnactState era) 
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) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

defEnactState era Source #

EraPParams era ⇒ NFData (EnactState era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

rnfEnactState era → () Source #

(Era era, Eq (PParams era)) ⇒ Eq (EnactState era) 
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) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

type Rep (EnactState era) 
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) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

type Share (EnactState era) = ()

data Voter Source #

Instances

Instances details
ToJSON Voter 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

ToJSONKey Voter 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Generic Voter 
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 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

DecCBOR Voter 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

EncCBOR Voter 
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 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfVoter → () Source #

Eq Voter 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

(==)VoterVoterBool Source #

(/=)VoterVoterBool Source #

Ord Voter 
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 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Indexable Voter (VotingProcedures era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep Voter 
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 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Bounded Vote 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Enum Vote 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Generic Vote 
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 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

showsPrecIntVoteShowS Source #

showVoteString Source #

showList ∷ [Vote] → ShowS Source #

DecCBOR Vote 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

EncCBOR Vote 
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 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfVote → () Source #

Eq Vote 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

(==)VoteVoteBool Source #

(/=)VoteVoteBool Source #

Ord Vote 
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 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep Vote 
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)))

Governance Action

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) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Generic (GovAction era) 
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) 
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) 
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) 
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) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfGovAction era → () Source #

EraPParams era ⇒ Eq (GovAction era) 
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) 
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) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (GovAction era) 
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 GovActionId Source #

Constructors

GovActionId 

Instances

Instances details
ToJSON GovActionId 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

ToJSONKey GovActionId 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Generic GovActionId 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep GovActionIdTypeType Source #

Show GovActionId 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

DecCBOR GovActionId 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

EncCBOR GovActionId 
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 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfGovActionId → () Source #

Eq GovActionId 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Ord GovActionId 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

NoThunks GovActionId 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

HasOKey GovActionId (GovActionState era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep GovActionId 
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 'DecidedUnpack) (Rec0 GovActionIx)))

newtype GovActionIx Source #

Constructors

GovActionIx 

Fields

Instances

Instances details
ToJSON GovActionIx 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Generic GovActionIx 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep GovActionIxTypeType Source #

Show GovActionIx 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

DecCBOR GovActionIx 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

EncCBOR GovActionIx 
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 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfGovActionIx → () Source #

Eq GovActionIx 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Ord GovActionIx 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

NoThunks GovActionIx 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep GovActionIx 
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 GovActionState era Source #

Instances

Instances details
HasOKey GovActionId (GovActionState era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

EraPParams era ⇒ ToJSON (GovActionState era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Generic (GovActionState era) 
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) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

EraPParams era ⇒ DecCBOR (GovActionState era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

EraPParams era ⇒ DecShareCBOR (GovActionState era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Share (GovActionState era) Source #

EraPParams era ⇒ EncCBOR (GovActionState era) 
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) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfGovActionState era → () Source #

EraPParams era ⇒ Eq (GovActionState era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

EraPParams era ⇒ Ord (GovActionState era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

EraPParams era ⇒ NoThunks (GovActionState era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (GovActionState era) 
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 'DecidedUnpack) (Rec0 EpochNo) :*: S1 ('MetaSel ('Just "gasExpiresAfter") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 EpochNo)))))
type Share (GovActionState era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Share (GovActionState era) = ()

data GovActionPurpose Source #

Instances

Instances details
Generic GovActionPurpose 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep GovActionPurposeTypeType Source #

Show GovActionPurpose 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Eq GovActionPurpose 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep GovActionPurpose 
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 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) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

(∀ (p ∷ GovActionPurpose). Monoid (f (GovPurposeId p era))) ⇒ Monoid (GovRelation f era) 
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) 
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) 
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) 
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) 
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) 
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) 
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) 
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) 
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) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (GovRelation f era) 
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 ∷ GovActionPurpose). (∀ (f ∷ TypeType). 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.

newtype GovPurposeId (p ∷ GovActionPurpose) era Source #

Constructors

GovPurposeId 

Instances

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

Defined in Cardano.Ledger.Conway.Governance.Proposals

Era era ⇒ ToJSON (GovPurposeId p era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Era era ⇒ ToJSONKey (GovPurposeId p era) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Generic (GovPurposeId p era) 
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) 
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) 
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) 
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) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfGovPurposeId p era → () Source #

Eq (GovPurposeId p era) 
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) 
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) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (GovPurposeId p era) 
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)))

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))))