cardano-ledger-api-1.9.2.2: 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 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.12.2.1-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) = ()
type TranslationError (AllegraEra c) ShelleyGovState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AlonzoEra c) ShelleyGovState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (BabbageEra c) ShelleyGovState 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (MaryEra c) ShelleyGovState 
Instance details

Defined in Cardano.Ledger.Mary.Translation

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 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.12.2.1-inplace" 'True) (C1 ('MetaCons "ProposedPPUpdates" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (KeyHash 'Genesis (EraCrypto era)) (PParamsUpdate era)))))
type TranslationError (AllegraEra c) ProposedPPUpdates 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AlonzoEra c) ProposedPPUpdates 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError (BabbageEra c) ProposedPPUpdates 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (MaryEra c) ProposedPPUpdates 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Conway

Governance Procedures

data VotingProcedure era Source #

Constructors

VotingProcedure 

Fields

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 #

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

c ~ EraCrypto era ⇒ Indexable (Voter c) (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.16.0.1-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))))))

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

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

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.16.0.1-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 #

Constructors

RatifyState 

Fields

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

Defined in Cardano.Ledger.Conway.Governance.Internal

type Share (EnactState era) = ()

data Voter c Source #

Instances

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Crypto c ⇒ ToJSONKey (Voter c) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfVoter c → () Source #

Eq (Voter c) 
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) 
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) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (Voter c) 
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.16.0.1-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 
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.16.0.1-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.16.0.1-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 GovActionId c Source #

Constructors

GovActionId 

Fields

Instances

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Crypto c ⇒ ToJSONKey (GovActionId c) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Generic (GovActionId c) 
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) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Crypto c ⇒ DecCBOR (GovActionId c) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Crypto c ⇒ EncCBOR (GovActionId c) 
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) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfGovActionId c → () Source #

Eq (GovActionId c) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Ord (GovActionId c) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

NoThunks (GovActionId c) 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (GovActionId c) 
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.16.0.1-inplace" 'False) (C1 ('MetaCons "GovActionId" 'PrefixI 'True) (S1 ('MetaSel ('Just "gaidTxId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxId c)) :*: 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.16.0.1-inplace" 'True) (C1 ('MetaCons "GovActionIx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unGovActionIx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))

data GovActionState era Source #

Instances

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

c ~ EraCrypto era ⇒ HasOKey (GovActionId c) (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.16.0.1-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 '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.16.0.1-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.16.0.1-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.16.0.1-inplace" 'True) (C1 ('MetaCons "GovPurposeId" 'PrefixI 'True) (S1 ('MetaSel ('Just "unGovPurposeId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GovActionId (EraCrypto era)))))

Anchor

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