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

Cardano.Ledger.Conway.Governance.Procedures

Synopsis

Documentation

newtype VotingProcedures era Source #

Instances

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Generic (VotingProcedures era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep (VotingProcedures era) ∷ TypeType Source #

Show (VotingProcedures era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBORVotingProcedures era → Encoding Source #

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

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

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfVotingProcedures era → () Source #

Eq (VotingProcedures era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

NoThunks (VotingProcedures era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (VotingProcedures era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

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

Constructors

VotingProcedure 

Fields

Instances

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Generic (VotingProcedure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep (VotingProcedure era) ∷ TypeType Source #

Show (VotingProcedure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBORVotingProcedure era → Encoding Source #

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

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

Crypto (EraCrypto era) ⇒ NFData (VotingProcedure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfVotingProcedure era → () Source #

Eq (VotingProcedure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

NoThunks (VotingProcedure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (VotingProcedure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

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

foldlVotingProcedures Source #

Arguments

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

Accumulating function

→ c

Initial accumulator

VotingProcedures era

Procedures to fold over

→ c 

foldrVotingProcedures Source #

Arguments

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

Accumulating function

→ c

Initial accumulator

VotingProcedures era

Procedures to fold over

→ c 

data ProposalProcedure era Source #

Instances

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Generic (ProposalProcedure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep (ProposalProcedure era) ∷ TypeType Source #

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBORProposalProcedure era → Encoding Source #

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

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

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfProposalProcedure era → () Source #

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (ProposalProcedure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

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

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

data Vote Source #

Constructors

VoteNo 
VoteYes 
Abstain 

Instances

Instances details
ToJSON Vote Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Bounded Vote Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Enum Vote Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Generic Vote Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep VoteTypeType Source #

Methods

fromVoteRep Vote x Source #

toRep Vote x → Vote Source #

Show Vote Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

showsPrecIntVoteShowS Source #

showVoteString Source #

showList ∷ [Vote] → ShowS Source #

DecCBOR Vote Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

EncCBOR Vote Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBORVoteEncoding Source #

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

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

NFData Vote Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfVote → () Source #

Eq Vote Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

(==)VoteVoteBool Source #

(/=)VoteVoteBool Source #

Ord Vote Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

compareVoteVoteOrdering Source #

(<)VoteVoteBool Source #

(<=)VoteVoteBool Source #

(>)VoteVoteBool Source #

(>=)VoteVoteBool Source #

maxVoteVoteVote Source #

minVoteVoteVote Source #

NoThunks Vote Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep Vote Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

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

data Voter c Source #

Instances

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Generic (Voter c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep (Voter c) ∷ TypeType Source #

Methods

fromVoter c → Rep (Voter c) x Source #

toRep (Voter c) x → Voter c Source #

Show (Voter c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

showsPrecIntVoter c → ShowS Source #

showVoter c → String Source #

showList ∷ [Voter c] → ShowS Source #

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

decCBORDecoder s (Voter c) Source #

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

labelProxy (Voter c) → Text Source #

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBORVoter c → Encoding Source #

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

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

NFData (Voter c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfVoter c → () Source #

Eq (Voter c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

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

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

Ord (Voter c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

compareVoter c → Voter c → Ordering Source #

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

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

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

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

maxVoter c → Voter c → Voter c Source #

minVoter c → Voter c → Voter c Source #

NoThunks (Voter c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (Voter c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

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

Constructors

Committee 

Fields

Instances

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Generic (Committee era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep (Committee era) ∷ TypeType Source #

Methods

fromCommittee era → Rep (Committee era) x Source #

toRep (Committee era) x → Committee era Source #

Show (Committee era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

showsPrecIntCommittee era → ShowS Source #

showCommittee era → String Source #

showList ∷ [Committee era] → ShowS Source #

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

decCBORDecoder s (Committee era) Source #

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

labelProxy (Committee era) → Text Source #

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBORCommittee era → Encoding Source #

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

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

Default (Committee era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

defCommittee era Source #

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfCommittee era → () Source #

Eq (Committee era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

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

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

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (Committee era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (Committee era) = D1 ('MetaData "Committee" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.16.0.1-inplace" 'False) (C1 ('MetaCons "Committee" 'PrefixI 'True) (S1 ('MetaSel ('Just "committeeMembers") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'ColdCommitteeRole (EraCrypto era)) EpochNo)) :*: S1 ('MetaSel ('Just "committeeThreshold") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval)))

data GovAction era Source #

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

Constructors

ParameterChange 

Fields

HardForkInitiation 

Fields

TreasuryWithdrawals 

Fields

NoConfidence 

Fields

UpdateCommittee 

Fields

NewConstitution 

Fields

InfoAction 

Instances

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Generic (GovAction era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep (GovAction era) ∷ TypeType Source #

Methods

fromGovAction era → Rep (GovAction era) x Source #

toRep (GovAction era) x → GovAction era Source #

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

showsPrecIntGovAction era → ShowS Source #

showGovAction era → String Source #

showList ∷ [GovAction era] → ShowS Source #

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

decCBORDecoder s (GovAction era) Source #

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

labelProxy (GovAction era) → Text Source #

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBORGovAction era → Encoding Source #

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

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

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfGovAction era → () Source #

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

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

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

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

compareGovAction era → GovAction era → Ordering Source #

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

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

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

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

maxGovAction era → GovAction era → GovAction era Source #

minGovAction era → GovAction era → GovAction era Source #

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (GovAction era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Generic (GovActionId c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep (GovActionId c) ∷ TypeType Source #

Methods

fromGovActionId c → Rep (GovActionId c) x Source #

toRep (GovActionId c) x → GovActionId c Source #

Show (GovActionId c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBORGovActionId c → Encoding Source #

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

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

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfGovActionId c → () Source #

Eq (GovActionId c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Ord (GovActionId c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

NoThunks (GovActionId c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (GovActionId c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (GovActionId c) = D1 ('MetaData "GovActionId" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.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 'DecidedStrict) (Rec0 GovActionIx)))

newtype GovActionIx Source #

Constructors

GovActionIx 

Fields

Instances

Instances details
ToJSON GovActionIx Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Generic GovActionIx Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep GovActionIxTypeType Source #

Show GovActionIx Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

DecCBOR GovActionIx Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

EncCBOR GovActionIx Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBORGovActionIxEncoding Source #

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

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

NFData GovActionIx Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfGovActionIx → () Source #

Eq GovActionIx Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Ord GovActionIx Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

NoThunks GovActionIx Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep GovActionIx Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

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

newtype GovPurposeId (p ∷ GovActionPurpose) era Source #

Constructors

GovPurposeId 

Instances

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

Defined in Cardano.Ledger.Conway.Governance.Proposals

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Generic (GovPurposeId p era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep (GovPurposeId p era) ∷ TypeType Source #

Methods

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

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

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

showsPrecIntGovPurposeId p era → ShowS Source #

showGovPurposeId p era → String Source #

showList ∷ [GovPurposeId p era] → ShowS Source #

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

decCBORDecoder s (GovPurposeId p era) Source #

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

labelProxy (GovPurposeId p era) → Text Source #

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBORGovPurposeId p era → Encoding Source #

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

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

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfGovPurposeId p era → () Source #

Eq (GovPurposeId p era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

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

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

Ord (GovPurposeId p era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

compareGovPurposeId p era → GovPurposeId p era → Ordering Source #

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

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

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

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

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

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

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (GovPurposeId p era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

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

data GovActionPurpose Source #

Instances

Instances details
Generic GovActionPurpose Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep GovActionPurposeTypeType Source #

Show GovActionPurpose Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Eq GovActionPurpose Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep GovActionPurpose Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep GovActionPurpose = D1 ('MetaData "GovActionPurpose" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.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) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

memptyGovRelation f era Source #

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

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

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

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

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

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

Generic (GovRelation f era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep (GovRelation f era) ∷ TypeType Source #

Methods

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

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

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

showsPrecIntGovRelation f era → ShowS Source #

showGovRelation f era → String Source #

showList ∷ [GovRelation f era] → ShowS Source #

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

decCBORDecoder s (GovRelation f era) Source #

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

labelProxy (GovRelation f era) → Text Source #

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBORGovRelation f era → Encoding Source #

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

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

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

defGovRelation f era Source #

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfGovRelation f era → () Source #

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

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

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

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (GovRelation f era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (GovRelation f era) = D1 ('MetaData "GovRelation" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.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. (∀ f. Lens' (GovRelation f era) (f (GovPurposeId p era))) → StrictMaybe (GovPurposeId p era) → GovPurposeId p era → a)

Function that will be applied to a lens and a parent

→ a 

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

data GovActionState era Source #

Instances

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Generic (GovActionState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep (GovActionState era) ∷ TypeType Source #

Methods

fromGovActionState era → Rep (GovActionState era) x Source #

toRep (GovActionState era) x → GovActionState era Source #

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Share (GovActionState era) Source #

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBORGovActionState era → Encoding Source #

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

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

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfGovActionState era → () Source #

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (GovActionState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Share (GovActionState era) = ()

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

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

data Constitution era Source #

Instances

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Generic (Constitution era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Associated Types

type Rep (Constitution era) ∷ TypeType Source #

Methods

fromConstitution era → Rep (Constitution era) x Source #

toRep (Constitution era) x → Constitution era Source #

Show (Constitution era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

toCBORConstitution era → Encoding Source #

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

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

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

encCBORConstitution era → Encoding Source #

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

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

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

defConstitution era Source #

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

rnfConstitution era → () Source #

Eq (Constitution era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

Methods

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

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

Ord (Constitution era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

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

Defined in Cardano.Ledger.Conway.Governance.Procedures

type Rep (Constitution era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Procedures

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