Documentation

TranslateEra AlonzoEra ShelleyGovState

Associated Types

type TranslationError AllegraEra ShelleyGovState
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra ShelleyGovState = Void

Methods

translateEra ∷ TranslationContext AllegraEra → ShelleyGovState (PreviousEra AllegraEra) → Except (TranslationError AllegraEra ShelleyGovState) (ShelleyGovState AllegraEra) Source #

Instance details

TranslateEra BabbageEra ShelleyGovState

Associated Types

type TranslationError AlonzoEra ShelleyGovState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra ShelleyGovState = Void

Methods

translateEra ∷ TranslationContext AlonzoEra → ShelleyGovState (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra ShelleyGovState) (ShelleyGovState AlonzoEra) Source #

Instance details

TranslateEra MaryEra ShelleyGovState

Associated Types

type TranslationError BabbageEra ShelleyGovState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra ShelleyGovState = Void

Methods

translateEra ∷ TranslationContext BabbageEra → ShelleyGovState (PreviousEra BabbageEra) → Except (TranslationError BabbageEra ShelleyGovState) (ShelleyGovState BabbageEra) Source #

Instance details

Associated Types

type TranslationError MaryEra ShelleyGovState
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra ShelleyGovState = Void

Methods

translateEra ∷ TranslationContext MaryEra → ShelleyGovState (PreviousEra MaryEra) → Except (TranslationError MaryEra ShelleyGovState) (ShelleyGovState MaryEra) Source #

EraPParams era ⇒ ToJSON (ShelleyGovState era)

Instance details

Methods

toJSON ∷ ShelleyGovState era → Value Source #

toEncoding ∷ ShelleyGovState era → Encoding Source #

toJSONList ∷ [ShelleyGovState era] → Value Source #

toEncodingList ∷ [ShelleyGovState era] → Encoding Source #

omitField ∷ ShelleyGovState era → Bool Source #

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

Instance details

Methods

fromCBOR ∷ Decoder s (ShelleyGovState era) Source #

label ∷ Proxy (ShelleyGovState era) → Text Source #

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

Instance details

Methods

toCBOR ∷ ShelleyGovState 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

Methods

decCBOR ∷ Decoder s (ShelleyGovState era) Source #

dropCBOR ∷ Proxy (ShelleyGovState era) → Decoder s () Source #

label ∷ Proxy (ShelleyGovState era) → Text Source #

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

Instance details

Associated Types

type Share (ShelleyGovState era)
Instance details Defined in Cardano.Ledger.Shelley.Governance type Share (ShelleyGovState era) = (Interns (Credential 'Staking), Interns (KeyHash 'StakePool), Interns (Credential 'DRepRole), Interns (Credential 'HotCommitteeRole))

Methods

getShare ∷ ShelleyGovState era → Share (ShelleyGovState era) Source #

decShareCBOR ∷ Share (ShelleyGovState era) → Decoder s (ShelleyGovState era) Source #

decSharePlusCBOR ∷ StateT (Share (ShelleyGovState era)) (Decoder s) (ShelleyGovState era) Source #

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

Instance details

Methods

encCBOR ∷ ShelleyGovState era → Encoding Source #

EraPParams era ⇒ ToKeyValuePairs (ShelleyGovState era)

Instance details

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ ShelleyGovState era → [kv] Source #

EraPParams era ⇒ Default (ShelleyGovState era)

Instance details

Methods

def ∷ ShelleyGovState era Source #

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

Instance details

Methods

rnf ∷ ShelleyGovState era → () #

Generic (ShelleyGovState era)

Instance details

Associated Types

type Rep (ShelleyGovState era)

Instance details

type Rep (ShelleyGovState era) = D1 ('MetaData "ShelleyGovState" "Cardano.Ledger.Shelley.Governance" "cardano-ledger-shelley-1.18.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))))))

Methods

from ∷ ShelleyGovState era → Rep (ShelleyGovState era) x #

to ∷ Rep (ShelleyGovState era) x → ShelleyGovState era #

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

Instance details

Methods

showsPrec ∷ Int → ShelleyGovState era → ShowS #

show ∷ ShelleyGovState era → String #

showList ∷ [ShelleyGovState era] → ShowS #

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

Instance details

Methods

(==) ∷ ShelleyGovState era → ShelleyGovState era → Bool #

(/=) ∷ ShelleyGovState era → ShelleyGovState era → Bool #

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

Instance details

Methods

noThunks ∷ Context → ShelleyGovState era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ShelleyGovState era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ShelleyGovState era) → String Source #

type TranslationError AllegraEra ShelleyGovState

Instance details

type TranslationError AllegraEra ShelleyGovState = Void

type TranslationError AlonzoEra ShelleyGovState

Instance details

type TranslationError AlonzoEra ShelleyGovState = Void

type TranslationError BabbageEra ShelleyGovState

Instance details

type TranslationError BabbageEra ShelleyGovState = Void

type TranslationError MaryEra ShelleyGovState

Instance details

type TranslationError MaryEra ShelleyGovState = Void

type Share (ShelleyGovState era)

type Rep (ShelleyGovState era)

Instance details

TranslateEra AllegraEra ProposedPPUpdates

type Rep (ShelleyGovState era) = D1 ('MetaData "ShelleyGovState" "Cardano.Ledger.Shelley.Governance" "cardano-ledger-shelley-1.18.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))))))

newtype ProposedPPUpdates era Source #

Update operation for protocol parameters structure PParams

Constructors

ProposedPPUpdates (Map (KeyHash 'GenesisRole) (PParamsUpdate era))

Instances

Instances details

Instance details

TranslateEra AlonzoEra ProposedPPUpdates

Associated Types

type TranslationError AllegraEra ProposedPPUpdates
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra ProposedPPUpdates = Void

Methods

translateEra ∷ TranslationContext AllegraEra → ProposedPPUpdates (PreviousEra AllegraEra) → Except (TranslationError AllegraEra ProposedPPUpdates) (ProposedPPUpdates AllegraEra) Source #

Instance details

TranslateEra BabbageEra ProposedPPUpdates

Associated Types

type TranslationError AlonzoEra ProposedPPUpdates
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra ProposedPPUpdates = Void

Methods

translateEra ∷ TranslationContext AlonzoEra → ProposedPPUpdates (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra ProposedPPUpdates) (ProposedPPUpdates AlonzoEra) Source #

Instance details

TranslateEra MaryEra ProposedPPUpdates

Associated Types

type TranslationError BabbageEra ProposedPPUpdates
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra ProposedPPUpdates = Void

Methods

translateEra ∷ TranslationContext BabbageEra → ProposedPPUpdates (PreviousEra BabbageEra) → Except (TranslationError BabbageEra ProposedPPUpdates) (ProposedPPUpdates BabbageEra) Source #

Instance details

Associated Types

type TranslationError MaryEra ProposedPPUpdates
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra ProposedPPUpdates = Void

Methods

translateEra ∷ TranslationContext MaryEra → ProposedPPUpdates (PreviousEra MaryEra) → Except (TranslationError MaryEra ProposedPPUpdates) (ProposedPPUpdates MaryEra) Source #

EraPParams era ⇒ ToJSON (ProposedPPUpdates era)

Instance details

Methods

toJSON ∷ ProposedPPUpdates era → Value Source #

toEncoding ∷ ProposedPPUpdates era → Encoding Source #

toJSONList ∷ [ProposedPPUpdates era] → Value Source #

toEncodingList ∷ [ProposedPPUpdates era] → Encoding Source #

omitField ∷ ProposedPPUpdates era → Bool Source #

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

Instance details

Methods

fromCBOR ∷ Decoder s (ProposedPPUpdates era) Source #

label ∷ Proxy (ProposedPPUpdates era) → Text Source #

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

Instance details

Methods

toCBOR ∷ ProposedPPUpdates 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

Methods

decCBOR ∷ Decoder s (ProposedPPUpdates era) Source #

dropCBOR ∷ Proxy (ProposedPPUpdates era) → Decoder s () Source #

label ∷ Proxy (ProposedPPUpdates era) → Text Source #

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

Instance details

Methods

encCBOR ∷ ProposedPPUpdates era → Encoding Source #

NFData (PParamsUpdate era) ⇒ NFData (ProposedPPUpdates era)

Instance details

Methods

rnf ∷ ProposedPPUpdates era → () #

Monoid (ProposedPPUpdates era)

Instance details

Methods

mempty ∷ ProposedPPUpdates era #

mappend ∷ ProposedPPUpdates era → ProposedPPUpdates era → ProposedPPUpdates era #

mconcat ∷ [ProposedPPUpdates era] → ProposedPPUpdates era #

Semigroup (ProposedPPUpdates era)

Instance details

Methods

(<>) ∷ ProposedPPUpdates era → ProposedPPUpdates era → ProposedPPUpdates era #

sconcat ∷ NonEmpty (ProposedPPUpdates era) → ProposedPPUpdates era #

stimes ∷ Integral b ⇒ b → ProposedPPUpdates era → ProposedPPUpdates era #

Generic (ProposedPPUpdates era)

Instance details

Associated Types

type Rep (ProposedPPUpdates era)

Instance details

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

Methods

from ∷ ProposedPPUpdates era → Rep (ProposedPPUpdates era) x #

to ∷ Rep (ProposedPPUpdates era) x → ProposedPPUpdates era #

Show (PParamsUpdate era) ⇒ Show (ProposedPPUpdates era)

Instance details

Methods

showsPrec ∷ Int → ProposedPPUpdates era → ShowS #

show ∷ ProposedPPUpdates era → String #

showList ∷ [ProposedPPUpdates era] → ShowS #

Eq (PParamsUpdate era) ⇒ Eq (ProposedPPUpdates era)

Instance details

Methods

(==) ∷ ProposedPPUpdates era → ProposedPPUpdates era → Bool #

(/=) ∷ ProposedPPUpdates era → ProposedPPUpdates era → Bool #

NoThunks (PParamsUpdate era) ⇒ NoThunks (ProposedPPUpdates era)

Instance details

Methods

noThunks ∷ Context → ProposedPPUpdates era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ProposedPPUpdates era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ProposedPPUpdates era) → String Source #

type TranslationError AllegraEra ProposedPPUpdates

Instance details

type TranslationError AllegraEra ProposedPPUpdates = Void

type TranslationError AlonzoEra ProposedPPUpdates

Instance details

type TranslationError AlonzoEra ProposedPPUpdates = Void

type TranslationError BabbageEra ProposedPPUpdates

Instance details

type TranslationError BabbageEra ProposedPPUpdates = Void

type TranslationError MaryEra ProposedPPUpdates

Instance details

type TranslationError MaryEra ProposedPPUpdates = Void

type Rep (ProposedPPUpdates era)

Instance details

TranslateEra DijkstraEra ProposalProcedure

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

emptyPPPUpdates ∷ ProposedPPUpdates era Source #

Conway

Governance Procedures

data VotingProcedure era Source #

Constructors

VotingProcedure
Fields vProcVote ∷ !Vote vProcAnchor ∷ !(StrictMaybe Anchor)

Instances

Instances details

EraPParams era ⇒ ToJSON (VotingProcedure era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

toJSON ∷ VotingProcedure era → Value Source #

toEncoding ∷ VotingProcedure era → Encoding Source #

toJSONList ∷ [VotingProcedure era] → Value Source #

toEncodingList ∷ [VotingProcedure era] → Encoding Source #

omitField ∷ VotingProcedure era → Bool Source #

Era era ⇒ DecCBOR (VotingProcedure era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

decCBOR ∷ Decoder s (VotingProcedure era) Source #

dropCBOR ∷ Proxy (VotingProcedure era) → Decoder s () Source #

label ∷ Proxy (VotingProcedure era) → Text Source #

Era era ⇒ EncCBOR (VotingProcedure era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBOR ∷ VotingProcedure era → Encoding Source #

EraPParams era ⇒ ToKeyValuePairs (VotingProcedure era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ VotingProcedure era → [kv] Source #

NFData (VotingProcedure era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnf ∷ VotingProcedure era → () #

Generic (VotingProcedure era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

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

Methods

from ∷ VotingProcedure era → Rep (VotingProcedure era) x #

to ∷ Rep (VotingProcedure era) x → VotingProcedure era #

Show (VotingProcedure era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

showsPrec ∷ Int → VotingProcedure era → ShowS #

show ∷ VotingProcedure era → String #

showList ∷ [VotingProcedure era] → ShowS #

Eq (VotingProcedure era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

(==) ∷ VotingProcedure era → VotingProcedure era → Bool #

(/=) ∷ VotingProcedure era → VotingProcedure era → Bool #

NoThunks (VotingProcedure era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

noThunks ∷ Context → VotingProcedure era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VotingProcedure era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (VotingProcedure era) → String Source #

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

Constructors

VotingProcedures
Fields unVotingProcedures ∷ Map Voter (Map GovActionId (VotingProcedure era))

Instances

Instances details

Indexable Voter (VotingProcedures era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

indexOf ∷ AsItem Word32 Voter → VotingProcedures era → StrictMaybe (AsIx Word32 Voter) Source #

fromIndex ∷ AsIx Word32 Voter → VotingProcedures era → StrictMaybe (AsIxItem Word32 Voter) Source #

EraPParams era ⇒ ToJSON (VotingProcedures era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

toJSON ∷ VotingProcedures era → Value Source #

toEncoding ∷ VotingProcedures era → Encoding Source #

toJSONList ∷ [VotingProcedures era] → Value Source #

toEncodingList ∷ [VotingProcedures era] → Encoding Source #

omitField ∷ VotingProcedures era → Bool Source #

Era era ⇒ DecCBOR (VotingProcedures era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

decCBOR ∷ Decoder s (VotingProcedures era) Source #

dropCBOR ∷ Proxy (VotingProcedures era) → Decoder s () Source #

label ∷ Proxy (VotingProcedures era) → Text Source #

Era era ⇒ EncCBOR (VotingProcedures era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBOR ∷ VotingProcedures era → Encoding Source #

Era era ⇒ NFData (VotingProcedures era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnf ∷ VotingProcedures era → () #

Generic (VotingProcedures era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

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

Methods

from ∷ VotingProcedures era → Rep (VotingProcedures era) x #

to ∷ Rep (VotingProcedures era) x → VotingProcedures era #

Show (VotingProcedures era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

showsPrec ∷ Int → VotingProcedures era → ShowS #

show ∷ VotingProcedures era → String #

showList ∷ [VotingProcedures era] → ShowS #

Eq (VotingProcedures era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

(==) ∷ VotingProcedures era → VotingProcedures era → Bool #

(/=) ∷ VotingProcedures era → VotingProcedures era → Bool #

NoThunks (VotingProcedures era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

noThunks ∷ Context → VotingProcedures era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → VotingProcedures era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (VotingProcedures era) → String Source #

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

Constructors

ProposalProcedure
Fields pProcDeposit ∷ !Coin pProcReturnAddr ∷ !RewardAccount pProcGovAction ∷ !(GovAction era) pProcAnchor ∷ !Anchor

Instances

Instances details

Instance details

Associated Types

type TranslationError DijkstraEra ProposalProcedure
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra ProposalProcedure = Void

Methods

translateEra ∷ TranslationContext DijkstraEra → ProposalProcedure (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra ProposalProcedure) (ProposalProcedure DijkstraEra) Source #

EraPParams era ⇒ ToJSON (ProposalProcedure era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

toJSON ∷ ProposalProcedure era → Value Source #

toEncoding ∷ ProposalProcedure era → Encoding Source #

toJSONList ∷ [ProposalProcedure era] → Value Source #

toEncodingList ∷ [ProposalProcedure era] → Encoding Source #

omitField ∷ ProposalProcedure era → Bool Source #

EraPParams era ⇒ DecCBOR (ProposalProcedure era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

decCBOR ∷ Decoder s (ProposalProcedure era) Source #

dropCBOR ∷ Proxy (ProposalProcedure era) → Decoder s () Source #

label ∷ Proxy (ProposalProcedure era) → Text Source #

EraPParams era ⇒ EncCBOR (ProposalProcedure era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBOR ∷ ProposalProcedure era → Encoding Source #

EraPParams era ⇒ ToKeyValuePairs (ProposalProcedure era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ ProposalProcedure era → [kv] Source #

EraPParams era ⇒ NFData (ProposalProcedure era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnf ∷ ProposalProcedure era → () #

Generic (ProposalProcedure era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

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

Methods

from ∷ ProposalProcedure era → Rep (ProposalProcedure era) x #

to ∷ Rep (ProposalProcedure era) x → ProposalProcedure era #

EraPParams era ⇒ Show (ProposalProcedure era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

showsPrec ∷ Int → ProposalProcedure era → ShowS #

show ∷ ProposalProcedure era → String #

showList ∷ [ProposalProcedure era] → ShowS #

EraPParams era ⇒ Eq (ProposalProcedure era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

(==) ∷ ProposalProcedure era → ProposalProcedure era → Bool #

(/=) ∷ ProposalProcedure era → ProposalProcedure era → Bool #

EraPParams era ⇒ Ord (ProposalProcedure era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

compare ∷ ProposalProcedure era → ProposalProcedure era → Ordering #

(<) ∷ ProposalProcedure era → ProposalProcedure era → Bool #

(<=) ∷ ProposalProcedure era → ProposalProcedure era → Bool #

(>) ∷ ProposalProcedure era → ProposalProcedure era → Bool #

(>=) ∷ ProposalProcedure era → ProposalProcedure era → Bool #

max ∷ ProposalProcedure era → ProposalProcedure era → ProposalProcedure era #

min ∷ ProposalProcedure era → ProposalProcedure era → ProposalProcedure era #

EraPParams era ⇒ NoThunks (ProposalProcedure era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

noThunks ∷ Context → ProposalProcedure era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ProposalProcedure era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ProposalProcedure era) → String Source #

type TranslationError DijkstraEra ProposalProcedure

Instance details

TranslateEra DijkstraEra ConwayGovState

type TranslationError DijkstraEra ProposalProcedure = Void

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

Constructors

Constitution
Fields constitutionAnchor ∷ !Anchor constitutionScript ∷ !(StrictMaybe ScriptHash)

Instances

Instances details

Era era ⇒ FromJSON (Constitution era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

parseJSON ∷ Value → Parser (Constitution era) Source #

parseJSONList ∷ Value → Parser [Constitution era] Source #

omittedField ∷ Maybe (Constitution era) Source #

ToJSON (Constitution era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

toJSON ∷ Constitution era → Value Source #

toEncoding ∷ Constitution era → Encoding Source #

toJSONList ∷ [Constitution era] → Value Source #

toEncodingList ∷ [Constitution era] → Encoding Source #

omitField ∷ Constitution era → Bool Source #

Era era ⇒ FromCBOR (Constitution era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

fromCBOR ∷ Decoder s (Constitution era) Source #

label ∷ Proxy (Constitution era) → Text Source #

Era era ⇒ ToCBOR (Constitution era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

toCBOR ∷ Constitution 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

Methods

decCBOR ∷ Decoder s (Constitution era) Source #

dropCBOR ∷ Proxy (Constitution era) → Decoder s () Source #

label ∷ Proxy (Constitution era) → Text Source #

Era era ⇒ EncCBOR (Constitution era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBOR ∷ Constitution era → Encoding Source #

ToKeyValuePairs (Constitution era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ Constitution era → [kv] Source #

Era era ⇒ Default (Constitution era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

def ∷ Constitution era Source #

Era era ⇒ NFData (Constitution era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnf ∷ Constitution era → () #

Generic (Constitution era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

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

Methods

from ∷ Constitution era → Rep (Constitution era) x #

to ∷ Rep (Constitution era) x → Constitution era #

Show (Constitution era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

showsPrec ∷ Int → Constitution era → ShowS #

show ∷ Constitution era → String #

showList ∷ [Constitution era] → ShowS #

Eq (Constitution era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

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

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

Ord (Constitution era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

compare ∷ Constitution era → Constitution era → Ordering #

(<) ∷ Constitution era → Constitution era → Bool #

(<=) ∷ Constitution era → Constitution era → Bool #

(>) ∷ Constitution era → Constitution era → Bool #

(>=) ∷ Constitution era → Constitution era → Bool #

max ∷ Constitution era → Constitution era → Constitution era #

min ∷ Constitution era → Constitution era → Constitution era #

Era era ⇒ NoThunks (Constitution era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

noThunks ∷ Context → Constitution era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Constitution era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Constitution era) → String Source #

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

constitutionAnchorL ∷ ∀ era f. Functor f ⇒ (Anchor → f Anchor) → Constitution era → f (Constitution era) Source #

constitutionScriptL ∷ ∀ era f. Functor f ⇒ (StrictMaybe ScriptHash → f (StrictMaybe ScriptHash)) → Constitution era → f (Constitution era) Source #

Governance State

data ConwayGovState era Source #

Conway governance state

Constructors

ConwayGovState

Fields

cgsProposals ∷ !(Proposals era)
cgsCommittee ∷ !(StrictMaybe (Committee era))
cgsConstitution ∷ !(Constitution era)
cgsCurPParams ∷ !(PParams era)
cgsPrevPParams ∷ !(PParams era)
cgsFuturePParams ∷ !(FuturePParams era)
cgsDRepPulsingState ∷ !(DRepPulsingState era)
The cgsDRepPulsingState field is a pulser that incrementally computes the stake distribution of the DReps over the Epoch following the close of voting at end of the previous Epoch. It assembles this with some of its other internal components into a (RatifyEnv era) when it completes, and then calls the RATIFY rule and eventually returns the updated RatifyState. The pulser is created at the Epoch boundary, but does no work until it is pulsed in the NEWEPOCH rule, whenever the system is NOT at the epoch boundary.

Instances

Instances details

Instance details

Associated Types

type TranslationError DijkstraEra ConwayGovState
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra ConwayGovState = Void

Methods

translateEra ∷ TranslationContext DijkstraEra → ConwayGovState (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra ConwayGovState) (ConwayGovState DijkstraEra) Source #

(ConwayEraAccounts era, EraPParams era, EraStake era) ⇒ ToJSON (ConwayGovState era)

Instance details

Methods

toJSON ∷ ConwayGovState era → Value Source #

toEncoding ∷ ConwayGovState era → Encoding Source #

toJSONList ∷ [ConwayGovState era] → Value Source #

toEncodingList ∷ [ConwayGovState era] → Encoding Source #

omitField ∷ ConwayGovState era → Bool Source #

EraPParams era ⇒ FromCBOR (ConwayGovState era)

Instance details

Methods

fromCBOR ∷ Decoder s (ConwayGovState era) Source #

label ∷ Proxy (ConwayGovState era) → Text Source #

(ConwayEraAccounts era, EraPParams era, EraStake era) ⇒ ToCBOR (ConwayGovState era)

Instance details

Methods

toCBOR ∷ ConwayGovState 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

Methods

decCBOR ∷ Decoder s (ConwayGovState era) Source #

dropCBOR ∷ Proxy (ConwayGovState era) → Decoder s () Source #

label ∷ Proxy (ConwayGovState era) → Text Source #

EraPParams era ⇒ DecShareCBOR (ConwayGovState era)

Instance details

Associated Types

type Share (ConwayGovState era)
Instance details Defined in Cardano.Ledger.Conway.Governance type Share (ConwayGovState era) = (Interns (Credential 'Staking), Interns (KeyHash 'StakePool), Interns (Credential 'DRepRole), Interns (Credential 'HotCommitteeRole))

Methods

getShare ∷ ConwayGovState era → Share (ConwayGovState era) Source #

decShareCBOR ∷ Share (ConwayGovState era) → Decoder s (ConwayGovState era) Source #

decSharePlusCBOR ∷ StateT (Share (ConwayGovState era)) (Decoder s) (ConwayGovState era) Source #

(ConwayEraAccounts era, EraPParams era, EraStake era) ⇒ EncCBOR (ConwayGovState era)

Instance details

Methods

encCBOR ∷ ConwayGovState era → Encoding Source #

(ConwayEraAccounts era, EraPParams era, EraStake era) ⇒ ToKeyValuePairs (ConwayGovState era)

Instance details

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ ConwayGovState era → [kv] Source #

EraPParams era ⇒ Default (ConwayGovState era)

Instance details

Methods

def ∷ ConwayGovState era Source #

(EraPParams era, NFData (InstantStake era), NFData (Accounts era)) ⇒ NFData (ConwayGovState era)

Instance details

Methods

rnf ∷ ConwayGovState era → () #

Generic (ConwayGovState era)

Instance details

Associated Types

type Rep (ConwayGovState era)

Instance details

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

Methods

from ∷ ConwayGovState era → Rep (ConwayGovState era) x #

to ∷ Rep (ConwayGovState era) x → ConwayGovState era #

(EraPParams era, ConwayEraAccounts era, EraStake era) ⇒ Show (ConwayGovState era)

Instance details

Methods

showsPrec ∷ Int → ConwayGovState era → ShowS #

show ∷ ConwayGovState era → String #

showList ∷ [ConwayGovState era] → ShowS #

(ConwayEraAccounts era, EraPParams era, EraStake era) ⇒ Eq (ConwayGovState era)

Instance details

Methods

(==) ∷ ConwayGovState era → ConwayGovState era → Bool #

(/=) ∷ ConwayGovState era → ConwayGovState era → Bool #

(EraPParams era, NoThunks (InstantStake era), NoThunks (Accounts era)) ⇒ NoThunks (ConwayGovState era)

Instance details

Methods

noThunks ∷ Context → ConwayGovState era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConwayGovState era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ConwayGovState era) → String Source #

type TranslationError DijkstraEra ConwayGovState

Instance details

type TranslationError DijkstraEra ConwayGovState = Void

type Share (ConwayGovState era)

type Rep (ConwayGovState era)

Instance details

TranslateEra DijkstraEra RatifyState

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

cgsProposalsL ∷ ∀ era f. Functor f ⇒ (Proposals era → f (Proposals era)) → ConwayGovState era → f (ConwayGovState era) Source #

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

Instance details

Associated Types

type TranslationError DijkstraEra RatifyState
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra RatifyState = Void

Methods

translateEra ∷ TranslationContext DijkstraEra → RatifyState (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra RatifyState) (RatifyState DijkstraEra) Source #

EraPParams era ⇒ ToJSON (RatifyState era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

toJSON ∷ RatifyState era → Value Source #

toEncoding ∷ RatifyState era → Encoding Source #

toJSONList ∷ [RatifyState era] → Value Source #

toEncodingList ∷ [RatifyState era] → Encoding Source #

omitField ∷ RatifyState era → Bool Source #

EraPParams era ⇒ DecCBOR (RatifyState era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

decCBOR ∷ Decoder s (RatifyState era) Source #

dropCBOR ∷ Proxy (RatifyState era) → Decoder s () Source #

label ∷ Proxy (RatifyState era) → Text Source #

EraPParams era ⇒ DecShareCBOR (RatifyState era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Associated Types

type Share (RatifyState era)
Instance details Defined in Cardano.Ledger.Conway.Governance.Internal type Share (RatifyState era) = (Interns (Credential 'Staking), Interns (KeyHash 'StakePool), Interns (Credential 'DRepRole), Interns (Credential 'HotCommitteeRole))

Methods

getShare ∷ RatifyState era → Share (RatifyState era) Source #

decShareCBOR ∷ Share (RatifyState era) → Decoder s (RatifyState era) Source #

decSharePlusCBOR ∷ StateT (Share (RatifyState era)) (Decoder s) (RatifyState era) Source #

EraPParams era ⇒ EncCBOR (RatifyState era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

encCBOR ∷ RatifyState era → Encoding Source #

EraPParams era ⇒ ToKeyValuePairs (RatifyState era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ RatifyState era → [kv] Source #

EraPParams era ⇒ Default (RatifyState era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

def ∷ RatifyState era Source #

EraPParams era ⇒ NFData (RatifyState era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

rnf ∷ RatifyState era → () #

Generic (RatifyState era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Associated Types

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

Methods

from ∷ RatifyState era → Rep (RatifyState era) x #

to ∷ Rep (RatifyState era) x → RatifyState era #

EraPParams era ⇒ Show (RatifyState era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

showsPrec ∷ Int → RatifyState era → ShowS #

show ∷ RatifyState era → String #

showList ∷ [RatifyState era] → ShowS #

EraPParams era ⇒ Eq (RatifyState era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

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

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

EraPParams era ⇒ NoThunks (RatifyState era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

noThunks ∷ Context → RatifyState era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → RatifyState era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (RatifyState era) → String Source #

(EraPParams era, NFData (InstantStake era), NFData (Accounts era)) ⇒ NFData (DRepPulser era Identity (RatifyState era))

Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

Methods

rnf ∷ DRepPulser era Identity (RatifyState era) → () #

(EraPParams era, EraStake era, ConwayEraAccounts era) ⇒ Eq (DRepPulser era Identity (RatifyState era))

Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

Methods

(==) ∷ DRepPulser era Identity (RatifyState era) → DRepPulser era Identity (RatifyState era) → Bool #

(/=) ∷ DRepPulser era Identity (RatifyState era) → DRepPulser era Identity (RatifyState era) → Bool #

(EraPParams era, NoThunks (InstantStake era), NoThunks (Accounts era)) ⇒ NoThunks (DRepPulser era Identity (RatifyState era))

Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

Methods

noThunks ∷ Context → DRepPulser era Identity (RatifyState era) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → DRepPulser era Identity (RatifyState era) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (DRepPulser era Identity (RatifyState era)) → String Source #

type TranslationError DijkstraEra RatifyState

Instance details

TranslateEra DijkstraEra EnactState

type TranslationError DijkstraEra RatifyState = Void

type Share (RatifyState era)

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

data EnactState era Source #

Constructors

EnactState
Fields ensCommittee ∷ !(StrictMaybe (Committee era)) Constitutional Committee ensConstitution ∷ !(Constitution era) Constitution ensCurPParams ∷ !(PParams era) ensPrevPParams ∷ !(PParams era) ensTreasury ∷ !Coin ensWithdrawals ∷ !(Map (Credential 'Staking) Coin) ensPrevGovActionIds ∷ !(GovRelation StrictMaybe) Last enacted GovAction Ids

Instances

Instances details

Instance details

Associated Types

type TranslationError DijkstraEra EnactState
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra EnactState = Void

Methods

translateEra ∷ TranslationContext DijkstraEra → EnactState (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra EnactState) (EnactState DijkstraEra) Source #

EraPParams era ⇒ ToJSON (EnactState era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

toJSON ∷ EnactState era → Value Source #

toEncoding ∷ EnactState era → Encoding Source #

toJSONList ∷ [EnactState era] → Value Source #

toEncodingList ∷ [EnactState era] → Encoding Source #

omitField ∷ EnactState era → Bool Source #

EraPParams era ⇒ FromCBOR (EnactState era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

fromCBOR ∷ Decoder s (EnactState era) Source #

label ∷ Proxy (EnactState era) → Text Source #

EraPParams era ⇒ ToCBOR (EnactState era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

toCBOR ∷ EnactState 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

decCBOR ∷ Decoder s (EnactState era) Source #

dropCBOR ∷ Proxy (EnactState era) → Decoder s () Source #

label ∷ Proxy (EnactState era) → Text Source #

EraPParams era ⇒ DecShareCBOR (EnactState era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Associated Types

type Share (EnactState era)
Instance details Defined in Cardano.Ledger.Conway.Governance.Internal type Share (EnactState era) = Interns (Credential 'Staking)

Methods

getShare ∷ EnactState era → Share (EnactState era) Source #

decShareCBOR ∷ Share (EnactState era) → Decoder s (EnactState era) Source #

decSharePlusCBOR ∷ StateT (Share (EnactState era)) (Decoder s) (EnactState era) Source #

EraPParams era ⇒ EncCBOR (EnactState era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

encCBOR ∷ EnactState era → Encoding Source #

EraPParams era ⇒ ToKeyValuePairs (EnactState era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ EnactState era → [kv] Source #

EraPParams era ⇒ Default (EnactState era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

def ∷ EnactState era Source #

EraPParams era ⇒ NFData (EnactState era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

rnf ∷ EnactState era → () #

Generic (EnactState era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Associated Types

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

Methods

from ∷ EnactState era → Rep (EnactState era) x #

to ∷ Rep (EnactState era) x → EnactState era #

(Era era, Show (PParams era)) ⇒ Show (EnactState era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

showsPrec ∷ Int → EnactState era → ShowS #

show ∷ EnactState era → String #

showList ∷ [EnactState era] → ShowS #

(Era era, Eq (PParams era)) ⇒ Eq (EnactState era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

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

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

EraPParams era ⇒ NoThunks (EnactState era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

noThunks ∷ Context → EnactState era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → EnactState era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (EnactState era) → String Source #

type TranslationError DijkstraEra EnactState

Instance details

TranslateEra DijkstraEra GovAction

type TranslationError DijkstraEra EnactState = Void

type Share (EnactState era)

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

data Voter Source #

Constructors

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

Instances

Instances details

ToJSON Voter

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

toJSON ∷ Voter → Value Source #

toEncoding ∷ Voter → Encoding Source #

toJSONList ∷ [Voter] → Value Source #

toEncodingList ∷ [Voter] → Encoding Source #

omitField ∷ Voter → Bool Source #

ToJSONKey Voter

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

toJSONKey ∷ ToJSONKeyFunction Voter Source #

toJSONKeyList ∷ ToJSONKeyFunction [Voter] Source #

DecCBOR Voter

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

decCBOR ∷ Decoder s Voter Source #

dropCBOR ∷ Proxy Voter → Decoder s () Source #

label ∷ Proxy Voter → Text Source #

EncCBOR Voter

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBOR ∷ Voter → Encoding Source #

NFData Voter

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnf ∷ Voter → () #

Generic Voter

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

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.21.0.0-inplace" 'False) (C1 ('MetaCons "CommitteeVoter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'HotCommitteeRole))) :+: (C1 ('MetaCons "DRepVoter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'DRepRole))) :+: C1 ('MetaCons "StakePoolVoter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool)))))

Methods

from ∷ Voter → Rep Voter x #

to ∷ Rep Voter x → Voter #

Show Voter

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

showsPrec ∷ Int → Voter → ShowS #

show ∷ Voter → String #

showList ∷ [Voter] → ShowS #

Eq Voter

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

(==) ∷ Voter → Voter → Bool #

(/=) ∷ Voter → Voter → Bool #

Ord Voter

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

compare ∷ Voter → Voter → Ordering #

(<) ∷ Voter → Voter → Bool #

(<=) ∷ Voter → Voter → Bool #

(>) ∷ Voter → Voter → Bool #

(>=) ∷ Voter → Voter → Bool #

max ∷ Voter → Voter → Voter #

min ∷ Voter → Voter → Voter #

NoThunks Voter

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

noThunks ∷ Context → Voter → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Voter → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy Voter → String Source #

Indexable Voter (VotingProcedures era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

indexOf ∷ AsItem Word32 Voter → VotingProcedures era → StrictMaybe (AsIx Word32 Voter) Source #

fromIndex ∷ AsIx Word32 Voter → VotingProcedures era → StrictMaybe (AsIxItem Word32 Voter) Source #

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.21.0.0-inplace" 'False) (C1 ('MetaCons "CommitteeVoter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'HotCommitteeRole))) :+: (C1 ('MetaCons "DRepVoter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'DRepRole))) :+: C1 ('MetaCons "StakePoolVoter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe 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

Methods

toJSON ∷ Vote → Value Source #

toEncoding ∷ Vote → Encoding Source #

toJSONList ∷ [Vote] → Value Source #

toEncodingList ∷ [Vote] → Encoding Source #

omitField ∷ Vote → Bool Source #

DecCBOR Vote

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

decCBOR ∷ Decoder s Vote Source #

dropCBOR ∷ Proxy Vote → Decoder s () Source #

label ∷ Proxy Vote → Text Source #

EncCBOR Vote

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBOR ∷ Vote → Encoding Source #

NFData Vote

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnf ∷ Vote → () #

Bounded Vote

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

minBound ∷ Vote #

maxBound ∷ Vote #

Enum Vote

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

succ ∷ Vote → Vote #

pred ∷ Vote → Vote #

toEnum ∷ Int → Vote #

fromEnum ∷ Vote → Int #

enumFrom ∷ Vote → [Vote] #

enumFromThen ∷ Vote → Vote → [Vote] #

enumFromTo ∷ Vote → Vote → [Vote] #

enumFromThenTo ∷ Vote → Vote → Vote → [Vote] #

Generic Vote

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

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.21.0.0-inplace" 'False) (C1 ('MetaCons "VoteNo" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "VoteYes" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Abstain" 'PrefixI 'False) (U1 ∷ Type → Type)))

Methods

from ∷ Vote → Rep Vote x #

to ∷ Rep Vote x → Vote #

Show Vote

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

showsPrec ∷ Int → Vote → ShowS #

show ∷ Vote → String #

showList ∷ [Vote] → ShowS #

Eq Vote

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

(==) ∷ Vote → Vote → Bool #

(/=) ∷ Vote → Vote → Bool #

Ord Vote

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

compare ∷ Vote → Vote → Ordering #

(<) ∷ Vote → Vote → Bool #

(<=) ∷ Vote → Vote → Bool #

(>) ∷ Vote → Vote → Bool #

(>=) ∷ Vote → Vote → Bool #

max ∷ Vote → Vote → Vote #

min ∷ Vote → Vote → Vote #

NoThunks Vote

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

noThunks ∷ Context → Vote → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Vote → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy Vote → String Source #

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.21.0.0-inplace" 'False) (C1 ('MetaCons "VoteNo" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "VoteYes" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Abstain" 'PrefixI 'False) (U1 ∷ Type → Type)))

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 !(StrictMaybe (GovPurposeId 'PParamUpdatePurpose)) Previous governance action id of `ParameterChange` type, which corresponds to `PParamUpdatePurpose`. !(PParamsUpdate era) Proposed changes to PParams !(StrictMaybe ScriptHash) Policy hash protection
HardForkInitiation
Fields !(StrictMaybe (GovPurposeId 'HardForkPurpose)) Previous governance action id of `HardForkInitiation` type, which corresponds to `HardForkPurpose` !ProtVer Proposed new protocol version
TreasuryWithdrawals
Fields !(Map RewardAccount Coin) Proposed treasury withdrawals !(StrictMaybe ScriptHash) Policy hash protection
NoConfidence
Fields !(StrictMaybe (GovPurposeId 'CommitteePurpose)) Previous governance action id of `NoConfidence` or `UpdateCommittee` type, which corresponds to `CommitteePurpose`
UpdateCommittee
Fields !(StrictMaybe (GovPurposeId 'CommitteePurpose)) Previous governance action id of `UpdateCommittee` or `NoConfidence` type, which corresponds to `CommitteePurpose` !(Set (Credential 'ColdCommitteeRole)) Constitutional Committe members to be removed !(Map (Credential 'ColdCommitteeRole) EpochNo) Constitutional committee members to be added !UnitInterval New Threshold
NewConstitution
Fields !(StrictMaybe (GovPurposeId 'ConstitutionPurpose)) Previous governance action id of `NewConstitution` type, which corresponds to `ConstitutionPurpose` !(Constitution era)
InfoAction

Instances

Instances details

Instance details

Associated Types

type TranslationError DijkstraEra GovAction
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra GovAction = Void

Methods

translateEra ∷ TranslationContext DijkstraEra → GovAction (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra GovAction) (GovAction DijkstraEra) Source #

EraPParams era ⇒ ToJSON (GovAction era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

toJSON ∷ GovAction era → Value Source #

toEncoding ∷ GovAction era → Encoding Source #

toJSONList ∷ [GovAction era] → Value Source #

toEncodingList ∷ [GovAction era] → Encoding Source #

omitField ∷ GovAction era → Bool Source #

EraPParams era ⇒ DecCBOR (GovAction era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

decCBOR ∷ Decoder s (GovAction era) Source #

dropCBOR ∷ Proxy (GovAction era) → Decoder s () Source #

label ∷ Proxy (GovAction era) → Text Source #

EraPParams era ⇒ EncCBOR (GovAction era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBOR ∷ GovAction era → Encoding Source #

EraPParams era ⇒ NFData (GovAction era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnf ∷ GovAction era → () #

Generic (GovAction era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep (GovAction era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

from ∷ GovAction era → Rep (GovAction era) x #

to ∷ Rep (GovAction era) x → GovAction era #

EraPParams era ⇒ Show (GovAction era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

showsPrec ∷ Int → GovAction era → ShowS #

show ∷ GovAction era → String #

showList ∷ [GovAction era] → ShowS #

EraPParams era ⇒ Eq (GovAction era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

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

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

EraPParams era ⇒ Ord (GovAction era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

compare ∷ GovAction era → GovAction era → Ordering #

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

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

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

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

max ∷ GovAction era → GovAction era → GovAction era #

min ∷ GovAction era → GovAction era → GovAction era #

EraPParams era ⇒ NoThunks (GovAction era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

noThunks ∷ Context → GovAction era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → GovAction era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (GovAction era) → String Source #

type TranslationError DijkstraEra GovAction

Instance details

ToKeyValuePairs GovActionId

type TranslationError DijkstraEra GovAction = Void

type Rep (GovAction era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

data GovActionId Source #

Constructors

GovActionId
Fields gaidTxId ∷ !TxId gaidGovActionIx ∷ !GovActionIx

Instances

Instances details

ToJSON GovActionId

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

toJSON ∷ GovActionId → Value Source #

toEncoding ∷ GovActionId → Encoding Source #

toJSONList ∷ [GovActionId] → Value Source #

toEncodingList ∷ [GovActionId] → Encoding Source #

omitField ∷ GovActionId → Bool Source #

ToJSONKey GovActionId

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

toJSONKey ∷ ToJSONKeyFunction GovActionId Source #

toJSONKeyList ∷ ToJSONKeyFunction [GovActionId] Source #

DecCBOR GovActionId

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

decCBOR ∷ Decoder s GovActionId Source #

dropCBOR ∷ Proxy GovActionId → Decoder s () Source #

label ∷ Proxy GovActionId → Text Source #

EncCBOR GovActionId

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBOR ∷ GovActionId → Encoding Source #

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ GovActionId → [kv] Source #

NFData GovActionId

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnf ∷ GovActionId → () #

Generic GovActionId

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

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

Methods

from ∷ GovActionId → Rep GovActionId x #

to ∷ Rep GovActionId x → GovActionId #

Show GovActionId

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

showsPrec ∷ Int → GovActionId → ShowS #

show ∷ GovActionId → String #

showList ∷ [GovActionId] → ShowS #

Eq GovActionId

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

(==) ∷ GovActionId → GovActionId → Bool #

(/=) ∷ GovActionId → GovActionId → Bool #

Ord GovActionId

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

compare ∷ GovActionId → GovActionId → Ordering #

(<) ∷ GovActionId → GovActionId → Bool #

(<=) ∷ GovActionId → GovActionId → Bool #

(>) ∷ GovActionId → GovActionId → Bool #

(>=) ∷ GovActionId → GovActionId → Bool #

max ∷ GovActionId → GovActionId → GovActionId #

min ∷ GovActionId → GovActionId → GovActionId #

NoThunks GovActionId

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

noThunks ∷ Context → GovActionId → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → GovActionId → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy GovActionId → String Source #

HasOKey GovActionId (GovActionState era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

toOKey ∷ GovActionState era → GovActionId Source #

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.21.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 unGovActionIx ∷ Word16

Instances

Instances details

ToJSON GovActionIx

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

toJSON ∷ GovActionIx → Value Source #

toEncoding ∷ GovActionIx → Encoding Source #

toJSONList ∷ [GovActionIx] → Value Source #

toEncodingList ∷ [GovActionIx] → Encoding Source #

omitField ∷ GovActionIx → Bool Source #

DecCBOR GovActionIx

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

decCBOR ∷ Decoder s GovActionIx Source #

dropCBOR ∷ Proxy GovActionIx → Decoder s () Source #

label ∷ Proxy GovActionIx → Text Source #

EncCBOR GovActionIx

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBOR ∷ GovActionIx → Encoding Source #

NFData GovActionIx

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnf ∷ GovActionIx → () #

Generic GovActionIx

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

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.21.0.0-inplace" 'True) (C1 ('MetaCons "GovActionIx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unGovActionIx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))

Methods

from ∷ GovActionIx → Rep GovActionIx x #

to ∷ Rep GovActionIx x → GovActionIx #

Show GovActionIx

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

showsPrec ∷ Int → GovActionIx → ShowS #

show ∷ GovActionIx → String #

showList ∷ [GovActionIx] → ShowS #

Eq GovActionIx

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

(==) ∷ GovActionIx → GovActionIx → Bool #

(/=) ∷ GovActionIx → GovActionIx → Bool #

Ord GovActionIx

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

compare ∷ GovActionIx → GovActionIx → Ordering #

(<) ∷ GovActionIx → GovActionIx → Bool #

(<=) ∷ GovActionIx → GovActionIx → Bool #

(>) ∷ GovActionIx → GovActionIx → Bool #

(>=) ∷ GovActionIx → GovActionIx → Bool #

max ∷ GovActionIx → GovActionIx → GovActionIx #

min ∷ GovActionIx → GovActionIx → GovActionIx #

NoThunks GovActionIx

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

noThunks ∷ Context → GovActionIx → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → GovActionIx → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy GovActionIx → String Source #

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.21.0.0-inplace" 'True) (C1 ('MetaCons "GovActionIx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unGovActionIx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))

data GovActionState era Source #

Constructors

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

Instances

Instances details

TranslateEra DijkstraEra GovActionState

Instance details

Associated Types

type TranslationError DijkstraEra GovActionState
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra GovActionState = Void

Methods

translateEra ∷ TranslationContext DijkstraEra → GovActionState (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra GovActionState) (GovActionState DijkstraEra) Source #

HasOKey GovActionId (GovActionState era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

toOKey ∷ GovActionState era → GovActionId Source #

EraPParams era ⇒ ToJSON (GovActionState era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

toJSON ∷ GovActionState era → Value Source #

toEncoding ∷ GovActionState era → Encoding Source #

toJSONList ∷ [GovActionState era] → Value Source #

toEncodingList ∷ [GovActionState era] → Encoding Source #

omitField ∷ GovActionState era → Bool Source #

EraPParams era ⇒ DecCBOR (GovActionState era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

decCBOR ∷ Decoder s (GovActionState era) Source #

dropCBOR ∷ Proxy (GovActionState era) → Decoder s () Source #

label ∷ Proxy (GovActionState era) → Text Source #

EraPParams era ⇒ DecShareCBOR (GovActionState era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Share (GovActionState era)
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures type Share (GovActionState era) = (Interns (Credential 'Staking), Interns (KeyHash 'StakePool), Interns (Credential 'DRepRole), Interns (Credential 'HotCommitteeRole))

Methods

getShare ∷ GovActionState era → Share (GovActionState era) Source #

decShareCBOR ∷ Share (GovActionState era) → Decoder s (GovActionState era) Source #

decSharePlusCBOR ∷ StateT (Share (GovActionState era)) (Decoder s) (GovActionState era) Source #

EraPParams era ⇒ EncCBOR (GovActionState era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBOR ∷ GovActionState era → Encoding Source #

EraPParams era ⇒ ToKeyValuePairs (GovActionState era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ GovActionState era → [kv] Source #

EraPParams era ⇒ NFData (GovActionState era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnf ∷ GovActionState era → () #

Generic (GovActionState era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

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

Methods

from ∷ GovActionState era → Rep (GovActionState era) x #

to ∷ Rep (GovActionState era) x → GovActionState era #

EraPParams era ⇒ Show (GovActionState era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

showsPrec ∷ Int → GovActionState era → ShowS #

show ∷ GovActionState era → String #

showList ∷ [GovActionState era] → ShowS #

EraPParams era ⇒ Eq (GovActionState era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

(==) ∷ GovActionState era → GovActionState era → Bool #

(/=) ∷ GovActionState era → GovActionState era → Bool #

EraPParams era ⇒ Ord (GovActionState era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

compare ∷ GovActionState era → GovActionState era → Ordering #

(<) ∷ GovActionState era → GovActionState era → Bool #

(<=) ∷ GovActionState era → GovActionState era → Bool #

(>) ∷ GovActionState era → GovActionState era → Bool #

(>=) ∷ GovActionState era → GovActionState era → Bool #

max ∷ GovActionState era → GovActionState era → GovActionState era #

min ∷ GovActionState era → GovActionState era → GovActionState era #

EraPParams era ⇒ NoThunks (GovActionState era)

Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

noThunks ∷ Context → GovActionState era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → GovActionState era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (GovActionState era) → String Source #

type TranslationError DijkstraEra GovActionState

Instance details