Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Conway.Governance.Procedures

Synopsis

data GovProcedures era = GovProcedures {
- gpVotingProcedures ∷ !(VotingProcedures era)
- gpProposalProcedures ∷ !(OSet (ProposalProcedure era))
}
newtype VotingProcedures era = VotingProcedures {
- unVotingProcedures ∷ Map (Voter (EraCrypto era)) (Map (GovActionId (EraCrypto era)) (VotingProcedure era))
}
data VotingProcedure era = VotingProcedure {
- vProcVote ∷ !Vote
- vProcAnchor ∷ !(StrictMaybe (Anchor (EraCrypto era)))
}
foldlVotingProcedures ∷ (c → Voter (EraCrypto era) → GovActionId (EraCrypto era) → VotingProcedure era → c) → c → VotingProcedures era → c
foldrVotingProcedures ∷ (Voter (EraCrypto era) → GovActionId (EraCrypto era) → VotingProcedure era → c → c) → c → VotingProcedures era → c
data ProposalProcedure era = ProposalProcedure {
- pProcDeposit ∷ !Coin
- pProcReturnAddr ∷ !(RewardAccount (EraCrypto era))
- pProcGovAction ∷ !(GovAction era)
- pProcAnchor ∷ !(Anchor (EraCrypto era))
}
data Anchor c = Anchor {
- anchorUrl ∷ !Url
- anchorDataHash ∷ !(SafeHash c AnchorData)
}
newtype AnchorData = AnchorData ByteString
data Vote
- = VoteNo
- | VoteYes
- | Abstain
data Voter c
- = CommitteeVoter !(Credential 'HotCommitteeRole c)
- | DRepVoter !(Credential 'DRepRole c)
- | StakePoolVoter !(KeyHash 'StakePool c)
data Committee era = Committee {
- committeeMembers ∷ !(Map (Credential 'ColdCommitteeRole (EraCrypto era)) EpochNo)
- committeeThreshold ∷ !UnitInterval
}
data GovAction era
- = ParameterChange !(StrictMaybe (GovPurposeId 'PParamUpdatePurpose era)) !(PParamsUpdate era) !(StrictMaybe (ScriptHash (EraCrypto era)))
- | HardForkInitiation !(StrictMaybe (GovPurposeId 'HardForkPurpose era)) !ProtVer
- | TreasuryWithdrawals !(Map (RewardAccount (EraCrypto era)) Coin) !(StrictMaybe (ScriptHash (EraCrypto era)))
- | NoConfidence !(StrictMaybe (GovPurposeId 'CommitteePurpose era))
- | UpdateCommittee !(StrictMaybe (GovPurposeId 'CommitteePurpose era)) !(Set (Credential 'ColdCommitteeRole (EraCrypto era))) !(Map (Credential 'ColdCommitteeRole (EraCrypto era)) EpochNo) !UnitInterval
- | NewConstitution !(StrictMaybe (GovPurposeId 'ConstitutionPurpose era)) !(Constitution era)
- | InfoAction
data GovActionId c = GovActionId {
- gaidTxId ∷ !(TxId c)
- gaidGovActionIx ∷ !GovActionIx
}
newtype GovActionIx = GovActionIx {
- unGovActionIx ∷ Word32
}
newtype GovPurposeId (p ∷ GovActionPurpose) era = GovPurposeId {
- unGovPurposeId ∷ GovActionId (EraCrypto era)
}
data GovActionPurpose
- = PParamUpdatePurpose
- | HardForkPurpose
- | CommitteePurpose
- | ConstitutionPurpose
data GovRelation (f ∷ Type → Type) era = GovRelation {
- grPParamUpdate ∷ !(f (GovPurposeId 'PParamUpdatePurpose era))
- grHardFork ∷ !(f (GovPurposeId 'HardForkPurpose era))
- grCommittee ∷ !(f (GovPurposeId 'CommitteePurpose era))
- grConstitution ∷ !(f (GovPurposeId 'ConstitutionPurpose era))
}
grPParamUpdateL ∷ Lens' (GovRelation f era) (f (GovPurposeId 'PParamUpdatePurpose era))
grHardForkL ∷ Lens' (GovRelation f era) (f (GovPurposeId 'HardForkPurpose era))
grCommitteeL ∷ Lens' (GovRelation f era) (f (GovPurposeId 'CommitteePurpose era))
grConstitutionL ∷ Lens' (GovRelation f era) (f (GovPurposeId 'ConstitutionPurpose era))
hoistGovRelation ∷ (∀ a. f a → g a) → GovRelation f era → GovRelation g era
withGovActionParent ∷ GovActionState era → a → (∀ p. (∀ f. Lens' (GovRelation f era) (f (GovPurposeId p era))) → StrictMaybe (GovPurposeId p era) → GovPurposeId p era → a) → a
data GovActionState era = GovActionState {
- gasId ∷ !(GovActionId (EraCrypto era))
- gasCommitteeVotes ∷ !(Map (Credential 'HotCommitteeRole (EraCrypto era)) Vote)
- gasDRepVotes ∷ !(Map (Credential 'DRepRole (EraCrypto era)) Vote)
- gasStakePoolVotes ∷ !(Map (KeyHash 'StakePool (EraCrypto era)) Vote)
- gasProposalProcedure ∷ !(ProposalProcedure era)
- gasProposedIn ∷ !EpochNo
- gasExpiresAfter ∷ !EpochNo
}
govActionIdToText ∷ GovActionId c → Text
indexedGovProps ∷ Seq (ProposalProcedure era) → Seq (GovActionIx, ProposalProcedure era)
data Constitution era = Constitution {
- constitutionAnchor ∷ !(Anchor (EraCrypto era))
- constitutionScript ∷ !(StrictMaybe (ScriptHash (EraCrypto era)))
}
constitutionAnchorL ∷ Lens' (Constitution era) (Anchor (EraCrypto era))
constitutionScriptL ∷ Lens' (Constitution era) (StrictMaybe (ScriptHash (EraCrypto era)))
pProcDepositL ∷ Lens' (ProposalProcedure era) Coin
pProcGovActionL ∷ Lens' (ProposalProcedure era) (GovAction era)
pProcReturnAddrL ∷ Lens' (ProposalProcedure era) (RewardAccount (EraCrypto era))
pProcAnchorL ∷ Lens' (ProposalProcedure era) (Anchor (EraCrypto era))
committeeMembersL ∷ Lens' (Committee era) (Map (Credential 'ColdCommitteeRole (EraCrypto era)) EpochNo)
committeeThresholdL ∷ Lens' (Committee era) UnitInterval
gasDRepVotesL ∷ Lens' (GovActionState era) (Map (Credential 'DRepRole (EraCrypto era)) Vote)
gasStakePoolVotesL ∷ Lens' (GovActionState era) (Map (KeyHash 'StakePool (EraCrypto era)) Vote)
gasCommitteeVotesL ∷ Lens' (GovActionState era) (Map (Credential 'HotCommitteeRole (EraCrypto era)) Vote)
gasExpiresAfterL ∷ Lens' (GovActionState era) EpochNo
gasProposalProcedureL ∷ Lens' (GovActionState era) (ProposalProcedure era)
govProceduresProposalsL ∷ Lens' (GovProcedures era) (OSet (ProposalProcedure era))
gasActionL ∷ Lens' (GovActionState era) (GovAction era)
gasReturnAddrL ∷ Lens' (GovActionState era) (RewardAccount (EraCrypto era))
gasProposedInL ∷ Lens' (GovActionState era) EpochNo
gasIdL ∷ Lens' (GovActionState era) (GovActionId (EraCrypto era))
gasDepositL ∷ Lens' (GovActionState era) Coin
gasDeposit ∷ GovActionState era → Coin
gasAction ∷ GovActionState era → GovAction era
gasReturnAddr ∷ GovActionState era → RewardAccount (EraCrypto era)

Documentation

data GovProcedures era Source #

Constructors

GovProcedures
Fields gpVotingProcedures ∷ !(VotingProcedures era) gpProposalProcedures ∷ !(OSet (ProposalProcedure era))

Instances

Instances details

Generic (GovProcedures era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Associated Types type Rep (GovProcedures era) ∷ Type → Type Source # Methods from ∷ GovProcedures era → Rep (GovProcedures era) x Source # to ∷ Rep (GovProcedures era) x → GovProcedures era Source #
EraPParams era ⇒ Show (GovProcedures era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods showsPrec ∷ Int → GovProcedures era → ShowS Source # show ∷ GovProcedures era → String Source # showList ∷ [GovProcedures era] → ShowS Source #
EraPParams era ⇒ NFData (GovProcedures era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods rnf ∷ GovProcedures era → () Source #
EraPParams era ⇒ Eq (GovProcedures era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods (==) ∷ GovProcedures era → GovProcedures era → Bool Source # (/=) ∷ GovProcedures era → GovProcedures era → Bool Source #
EraPParams era ⇒ NoThunks (GovProcedures era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods noThunks ∷ Context → GovProcedures era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → GovProcedures era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (GovProcedures era) → String Source #
type Rep (GovProcedures era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures type Rep (GovProcedures era) = D1 ('MetaData "GovProcedures" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.14.0.0-inplace" 'False) (C1 ('MetaCons "GovProcedures" 'PrefixI 'True) (S1 ('MetaSel ('Just "gpVotingProcedures") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VotingProcedures era)) :*: S1 ('MetaSel ('Just "gpProposalProcedures") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (OSet (ProposalProcedure era)))))

newtype VotingProcedures era Source #

Constructors

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

Instances

Instances details

EraPParams era ⇒ ToJSON (VotingProcedures era) Source #
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 #
Generic (VotingProcedures era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Associated Types type Rep (VotingProcedures era) ∷ Type → Type Source # Methods from ∷ VotingProcedures era → Rep (VotingProcedures era) x Source # to ∷ Rep (VotingProcedures era) x → VotingProcedures era Source #
Show (VotingProcedures era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods showsPrec ∷ Int → VotingProcedures era → ShowS Source # show ∷ VotingProcedures era → String Source # showList ∷ [VotingProcedures era] → ShowS Source #
Era era ⇒ DecCBOR (VotingProcedures era) Source #
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) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods encCBOR ∷ VotingProcedures 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 rnf ∷ VotingProcedures era → () Source #
Eq (VotingProcedures era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods (==) ∷ VotingProcedures era → VotingProcedures era → Bool Source # (/=) ∷ VotingProcedures era → VotingProcedures era → Bool Source #
NoThunks (VotingProcedures era) Source #
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 #
c ~ EraCrypto era ⇒ Indexable (Voter c) (VotingProcedures era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods indexOf ∷ AsItem Word32 (Voter c) → VotingProcedures era → StrictMaybe (AsIx Word32 (Voter c)) Source # fromIndex ∷ AsIx Word32 (Voter c) → VotingProcedures era → StrictMaybe (AsIxItem Word32 (Voter c)) Source #
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.14.0.0-inplace" 'True) (C1 ('MetaCons "VotingProcedures" 'PrefixI 'True) (S1 ('MetaSel ('Just "unVotingProcedures") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Voter (EraCrypto era)) (Map (GovActionId (EraCrypto era)) (VotingProcedure era))))))

data VotingProcedure era Source #

Constructors

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

Instances

Instances details

EraPParams era ⇒ ToJSON (VotingProcedure era) Source #
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 #
Generic (VotingProcedure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Associated Types type Rep (VotingProcedure era) ∷ Type → Type Source # Methods from ∷ VotingProcedure era → Rep (VotingProcedure era) x Source # to ∷ Rep (VotingProcedure era) x → VotingProcedure era Source #
Show (VotingProcedure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods showsPrec ∷ Int → VotingProcedure era → ShowS Source # show ∷ VotingProcedure era → String Source # showList ∷ [VotingProcedure era] → ShowS Source #
Era era ⇒ DecCBOR (VotingProcedure era) Source #
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) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods encCBOR ∷ VotingProcedure 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 rnf ∷ VotingProcedure era → () Source #
Eq (VotingProcedure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods (==) ∷ VotingProcedure era → VotingProcedure era → Bool Source # (/=) ∷ VotingProcedure era → VotingProcedure era → Bool Source #
NoThunks (VotingProcedure era) Source #
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) 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.14.0.0-inplace" 'False) (C1 ('MetaCons "VotingProcedure" 'PrefixI 'True) (S1 ('MetaSel ('Just "vProcVote") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Vote) :*: S1 ('MetaSel ('Just "vProcAnchor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (Anchor (EraCrypto era))))))

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 #

Constructors

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

Instances

Instances details

EraPParams era ⇒ ToJSON (ProposalProcedure era) Source #
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 #
Generic (ProposalProcedure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Associated Types type Rep (ProposalProcedure era) ∷ Type → Type Source # Methods from ∷ ProposalProcedure era → Rep (ProposalProcedure era) x Source # to ∷ Rep (ProposalProcedure era) x → ProposalProcedure era Source #
EraPParams era ⇒ Show (ProposalProcedure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods showsPrec ∷ Int → ProposalProcedure era → ShowS Source # show ∷ ProposalProcedure era → String Source # showList ∷ [ProposalProcedure era] → ShowS Source #
EraPParams era ⇒ DecCBOR (ProposalProcedure era) Source #
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) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods encCBOR ∷ ProposalProcedure 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 rnf ∷ ProposalProcedure era → () Source #
EraPParams era ⇒ Eq (ProposalProcedure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods (==) ∷ ProposalProcedure era → ProposalProcedure era → Bool Source # (/=) ∷ ProposalProcedure era → ProposalProcedure era → Bool Source #
EraPParams era ⇒ Ord (ProposalProcedure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods compare ∷ ProposalProcedure era → ProposalProcedure era → Ordering Source # (<) ∷ ProposalProcedure era → ProposalProcedure era → Bool Source # (<=) ∷ ProposalProcedure era → ProposalProcedure era → Bool Source # (>) ∷ ProposalProcedure era → ProposalProcedure era → Bool Source # (>=) ∷ ProposalProcedure era → ProposalProcedure era → Bool Source # max ∷ ProposalProcedure era → ProposalProcedure era → ProposalProcedure era Source # min ∷ ProposalProcedure era → ProposalProcedure era → ProposalProcedure era Source #
EraPParams era ⇒ NoThunks (ProposalProcedure era) Source #
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 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.14.0.0-inplace" 'False) (C1 ('MetaCons "ProposalProcedure" 'PrefixI 'True) ((S1 ('MetaSel ('Just "pProcDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :: S1 ('MetaSel ('Just "pProcReturnAddr") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (RewardAccount (EraCrypto era)))) :: (S1 ('MetaSel ('Just "pProcGovAction") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GovAction era)) :*: S1 ('MetaSel ('Just "pProcAnchor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Anchor (EraCrypto era))))))

data Anchor c Source #

Constructors

Anchor
Fields anchorUrl ∷ !Url anchorDataHash ∷ !(SafeHash c AnchorData)

Instances

Instances details

Crypto c ⇒ FromJSON (Anchor c)
Instance details Defined in Cardano.Ledger.BaseTypes Methods parseJSON ∷ Value → Parser (Anchor c) Source # parseJSONList ∷ Value → Parser [Anchor c] Source # omittedField ∷ Maybe (Anchor c) Source #
Crypto c ⇒ ToJSON (Anchor c)
Instance details Defined in Cardano.Ledger.BaseTypes Methods toJSON ∷ Anchor c → Value Source # toEncoding ∷ Anchor c → Encoding Source # toJSONList ∷ [Anchor c] → Value Source # toEncodingList ∷ [Anchor c] → Encoding Source # omitField ∷ Anchor c → Bool Source #
Generic (Anchor c)
Instance details Defined in Cardano.Ledger.BaseTypes Associated Types type Rep (Anchor c) ∷ Type → Type Source # Methods from ∷ Anchor c → Rep (Anchor c) x Source # to ∷ Rep (Anchor c) x → Anchor c Source #
Show (Anchor c)
Instance details Defined in Cardano.Ledger.BaseTypes Methods showsPrec ∷ Int → Anchor c → ShowS Source # show ∷ Anchor c → String Source # showList ∷ [Anchor c] → ShowS Source #
Crypto c ⇒ DecCBOR (Anchor c)
Instance details Defined in Cardano.Ledger.BaseTypes Methods decCBOR ∷ Decoder s (Anchor c) Source # dropCBOR ∷ Proxy (Anchor c) → Decoder s () Source # label ∷ Proxy (Anchor c) → Text Source #
Crypto c ⇒ EncCBOR (Anchor c)
Instance details Defined in Cardano.Ledger.BaseTypes Methods encCBOR ∷ Anchor 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 def ∷ Anchor c Source #
Crypto c ⇒ NFData (Anchor c)
Instance details Defined in Cardano.Ledger.BaseTypes Methods rnf ∷ Anchor 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 compare ∷ Anchor 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 # max ∷ Anchor c → Anchor c → Anchor c Source # min ∷ Anchor c → Anchor c → Anchor c Source #
NoThunks (Anchor c)
Instance details Defined in Cardano.Ledger.BaseTypes Methods noThunks ∷ Context → Anchor c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Anchor c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Anchor c) → String Source #
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.12.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))))

newtype AnchorData Source #

Constructors

AnchorData ByteString

Instances

Instances details

SafeToHash AnchorData
Instance details Defined in Cardano.Ledger.BaseTypes Methods originalBytes ∷ AnchorData → ByteString Source # originalBytesSize ∷ AnchorData → Int Source # makeHashWithExplicitProxys ∷ HashAlgorithm (HASH c) ⇒ Proxy c → Proxy index → AnchorData → SafeHash c index Source #
Eq AnchorData
Instance details Defined in Cardano.Ledger.BaseTypes Methods (==) ∷ AnchorData → AnchorData → Bool Source # (/=) ∷ AnchorData → AnchorData → Bool Source #
HashWithCrypto AnchorData AnchorData
Instance details Defined in Cardano.Ledger.BaseTypes Methods hashWithCrypto ∷ HashAlgorithm (HASH c) ⇒ Proxy c → AnchorData → SafeHash c AnchorData Source #

data Vote Source #

Constructors

VoteNo
VoteYes
Abstain

Instances

Instances details

ToJSON Vote Source #
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 #
Bounded Vote Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods minBound ∷ Vote Source # maxBound ∷ Vote Source #
Enum Vote Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods succ ∷ Vote → Vote Source # pred ∷ Vote → Vote Source # toEnum ∷ Int → Vote Source # fromEnum ∷ Vote → Int Source # enumFrom ∷ Vote → [Vote] Source # enumFromThen ∷ Vote → Vote → [Vote] Source # enumFromTo ∷ Vote → Vote → [Vote] Source # enumFromThenTo ∷ Vote → Vote → Vote → [Vote] Source #
Generic Vote Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Associated Types type Rep Vote ∷ Type → Type Source # Methods from ∷ Vote → Rep Vote x Source # to ∷ Rep Vote x → Vote Source #
Show Vote Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods showsPrec ∷ Int → Vote → ShowS Source # show ∷ Vote → String Source # showList ∷ [Vote] → ShowS Source #
DecCBOR Vote Source #
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 Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods encCBOR ∷ Vote → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy Vote → Size 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 rnf ∷ Vote → () Source #
Eq Vote Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods (==) ∷ Vote → Vote → Bool Source # (/=) ∷ Vote → Vote → Bool Source #
Ord Vote Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods compare ∷ Vote → Vote → Ordering Source # (<) ∷ Vote → Vote → Bool Source # (<=) ∷ Vote → Vote → Bool Source # (>) ∷ Vote → Vote → Bool Source # (>=) ∷ Vote → Vote → Bool Source # max ∷ Vote → Vote → Vote Source # min ∷ Vote → Vote → Vote Source #
NoThunks Vote Source #
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 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.14.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)))

data Voter c Source #

Constructors

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

Instances

Instances details

Crypto c ⇒ ToJSON (Voter c) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods toJSON ∷ Voter c → Value Source # toEncoding ∷ Voter c → Encoding Source # toJSONList ∷ [Voter c] → Value Source # toEncodingList ∷ [Voter c] → Encoding Source # omitField ∷ Voter c → Bool Source #
Crypto c ⇒ ToJSONKey (Voter c) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods toJSONKey ∷ ToJSONKeyFunction (Voter c) Source # toJSONKeyList ∷ ToJSONKeyFunction [Voter c] Source #
Generic (Voter c) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Associated Types type Rep (Voter c) ∷ Type → Type Source # Methods from ∷ Voter c → Rep (Voter c) x Source # to ∷ Rep (Voter c) x → Voter c Source #
Show (Voter c) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods showsPrec ∷ Int → Voter c → ShowS Source # show ∷ Voter c → String Source # showList ∷ [Voter c] → ShowS Source #
Crypto c ⇒ DecCBOR (Voter c) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods decCBOR ∷ Decoder s (Voter c) Source # dropCBOR ∷ Proxy (Voter c) → Decoder s () Source # label ∷ Proxy (Voter c) → Text Source #
Crypto c ⇒ EncCBOR (Voter c) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods encCBOR ∷ Voter 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 rnf ∷ Voter 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 compare ∷ Voter 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 # max ∷ Voter c → Voter c → Voter c Source # min ∷ Voter c → Voter c → Voter c Source #
NoThunks (Voter c) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods noThunks ∷ Context → Voter c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Voter c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Voter c) → String Source #
c ~ EraCrypto era ⇒ Indexable (Voter c) (VotingProcedures era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods indexOf ∷ AsItem Word32 (Voter c) → VotingProcedures era → StrictMaybe (AsIx Word32 (Voter c)) Source # fromIndex ∷ AsIx Word32 (Voter c) → VotingProcedures era → StrictMaybe (AsIxItem Word32 (Voter c)) Source #
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.14.0.0-inplace" 'False) (C1 ('MetaCons "CommitteeVoter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'HotCommitteeRole c))) :+: (C1 ('MetaCons "DRepVoter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'DRepRole c))) :+: C1 ('MetaCons "StakePoolVoter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool c)))))

data Committee era Source #

Constructors

Committee
Fields committeeMembers ∷ !(Map (Credential 'ColdCommitteeRole (EraCrypto era)) EpochNo) Committee members with epoch number when each of them expires committeeThreshold ∷ !UnitInterval Threshold of the committee that is necessary for a successful vote

Instances

Instances details

Era era ⇒ FromJSON (Committee era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods parseJSON ∷ Value → Parser (Committee era) Source # parseJSONList ∷ Value → Parser [Committee era] Source # omittedField ∷ Maybe (Committee era) Source #
EraPParams era ⇒ ToJSON (Committee era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods toJSON ∷ Committee era → Value Source # toEncoding ∷ Committee era → Encoding Source # toJSONList ∷ [Committee era] → Value Source # toEncodingList ∷ [Committee era] → Encoding Source # omitField ∷ Committee era → Bool Source #
Generic (Committee era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Associated Types type Rep (Committee era) ∷ Type → Type Source # Methods from ∷ Committee era → Rep (Committee era) x Source # to ∷ Rep (Committee era) x → Committee era Source #
Show (Committee era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods showsPrec ∷ Int → Committee era → ShowS Source # show ∷ Committee era → String Source # showList ∷ [Committee era] → ShowS Source #
Era era ⇒ DecCBOR (Committee era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods decCBOR ∷ Decoder s (Committee era) Source # dropCBOR ∷ Proxy (Committee era) → Decoder s () Source # label ∷ Proxy (Committee era) → Text Source #
Era era ⇒ EncCBOR (Committee era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods encCBOR ∷ Committee 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 def ∷ Committee era Source #
Era era ⇒ NFData (Committee era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods rnf ∷ Committee 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 Methods noThunks ∷ Context → Committee era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Committee era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Committee era) → String Source #
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.14.0.0-inplace" 'False) (C1 ('MetaCons "Committee" 'PrefixI 'True) (S1 ('MetaSel ('Just "committeeMembers") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'ColdCommitteeRole (EraCrypto era)) EpochNo)) :*: S1 ('MetaSel ('Just "committeeThreshold") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval)))

data GovAction era Source #

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

Constructors

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

Instances

Instances details

EraPParams era ⇒ ToJSON (GovAction era) Source #
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 #
Generic (GovAction era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Associated Types type Rep (GovAction era) ∷ Type → Type Source # Methods from ∷ GovAction era → Rep (GovAction era) x Source # to ∷ Rep (GovAction era) x → GovAction era Source #
EraPParams era ⇒ Show (GovAction era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods showsPrec ∷ Int → GovAction era → ShowS Source # show ∷ GovAction era → String Source # showList ∷ [GovAction era] → ShowS Source #
EraPParams era ⇒ DecCBOR (GovAction era) Source #
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) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods encCBOR ∷ GovAction 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 rnf ∷ GovAction 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 compare ∷ GovAction 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 # max ∷ GovAction era → GovAction era → GovAction era Source # min ∷ GovAction era → GovAction era → GovAction era Source #
EraPParams era ⇒ NoThunks (GovAction era) Source #
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 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.14.0.0-inplace" 'False) ((C1 ('MetaCons "ParameterChange" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (GovPurposeId 'PParamUpdatePurpose era))) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParamsUpdate era)) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (ScriptHash (EraCrypto era)))))) :+: (C1 ('MetaCons "HardForkInitiation" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (GovPurposeId 'HardForkPurpose era))) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ProtVer)) :+: C1 ('MetaCons "TreasuryWithdrawals" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (RewardAccount (EraCrypto era)) Coin)) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (ScriptHash (EraCrypto era))))))) :+: ((C1 ('MetaCons "NoConfidence" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (GovPurposeId 'CommitteePurpose era)))) :+: C1 ('MetaCons "UpdateCommittee" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (GovPurposeId 'CommitteePurpose era))) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (Credential 'ColdCommitteeRole (EraCrypto era))))) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'ColdCommitteeRole (EraCrypto era)) EpochNo)) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval)))) :+: (C1 ('MetaCons "NewConstitution" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (GovPurposeId 'ConstitutionPurpose era))) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Constitution era))) :+: C1 ('MetaCons "InfoAction" 'PrefixI 'False) (U1 ∷ Type → Type))))

data GovActionId c Source #

Constructors

GovActionId
Fields gaidTxId ∷ !(TxId c) gaidGovActionIx ∷ !GovActionIx

Instances

Instances details

Crypto c ⇒ ToJSON (GovActionId c) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods toJSON ∷ GovActionId c → Value Source # toEncoding ∷ GovActionId c → Encoding Source # toJSONList ∷ [GovActionId c] → Value Source # toEncodingList ∷ [GovActionId c] → Encoding Source # omitField ∷ GovActionId c → Bool Source #
Crypto c ⇒ ToJSONKey (GovActionId c) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods toJSONKey ∷ ToJSONKeyFunction (GovActionId c) Source # toJSONKeyList ∷ ToJSONKeyFunction [GovActionId c] Source #
Generic (GovActionId c) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Associated Types type Rep (GovActionId c) ∷ Type → Type Source # Methods from ∷ GovActionId c → Rep (GovActionId c) x Source # to ∷ Rep (GovActionId c) x → GovActionId c Source #
Show (GovActionId c) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods showsPrec ∷ Int → GovActionId c → ShowS Source # show ∷ GovActionId c → String Source # showList ∷ [GovActionId c] → ShowS Source #
Crypto c ⇒ DecCBOR (GovActionId c) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods decCBOR ∷ Decoder s (GovActionId c) Source # dropCBOR ∷ Proxy (GovActionId c) → Decoder s () Source # label ∷ Proxy (GovActionId c) → Text Source #
Crypto c ⇒ EncCBOR (GovActionId c) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods encCBOR ∷ GovActionId 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 rnf ∷ GovActionId c → () Source #
Eq (GovActionId c) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods (==) ∷ GovActionId c → GovActionId c → Bool Source # (/=) ∷ GovActionId c → GovActionId c → Bool Source #
Ord (GovActionId c) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods compare ∷ GovActionId c → GovActionId c → Ordering Source # (<) ∷ GovActionId c → GovActionId c → Bool Source # (<=) ∷ GovActionId c → GovActionId c → Bool Source # (>) ∷ GovActionId c → GovActionId c → Bool Source # (>=) ∷ GovActionId c → GovActionId c → Bool Source # max ∷ GovActionId c → GovActionId c → GovActionId c Source # min ∷ GovActionId c → GovActionId c → GovActionId c Source #
NoThunks (GovActionId c) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods noThunks ∷ Context → GovActionId c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → GovActionId c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (GovActionId c) → String Source #
c ~ EraCrypto era ⇒ HasOKey (GovActionId c) (GovActionState era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods okeyL ∷ Lens' (GovActionState era) (GovActionId c) Source #
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.14.0.0-inplace" 'False) (C1 ('MetaCons "GovActionId" 'PrefixI 'True) (S1 ('MetaSel ('Just "gaidTxId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxId c)) :*: S1 ('MetaSel ('Just "gaidGovActionIx") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 GovActionIx)))

newtype GovActionIx Source #

Constructors

GovActionIx
Fields unGovActionIx ∷ Word32

Instances

Instances details

ToJSON GovActionIx Source #
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 #
Generic GovActionIx Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Associated Types type Rep GovActionIx ∷ Type → Type Source # Methods from ∷ GovActionIx → Rep GovActionIx x Source # to ∷ Rep GovActionIx x → GovActionIx Source #
Show GovActionIx Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods showsPrec ∷ Int → GovActionIx → ShowS Source # show ∷ GovActionIx → String Source # showList ∷ [GovActionIx] → ShowS Source #
DecCBOR GovActionIx Source #
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 Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods encCBOR ∷ GovActionIx → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy GovActionIx → Size 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 rnf ∷ GovActionIx → () Source #
Eq GovActionIx Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods (==) ∷ GovActionIx → GovActionIx → Bool Source # (/=) ∷ GovActionIx → GovActionIx → Bool Source #
Ord GovActionIx Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods compare ∷ GovActionIx → GovActionIx → Ordering Source # (<) ∷ GovActionIx → GovActionIx → Bool Source # (<=) ∷ GovActionIx → GovActionIx → Bool Source # (>) ∷ GovActionIx → GovActionIx → Bool Source # (>=) ∷ GovActionIx → GovActionIx → Bool Source # max ∷ GovActionIx → GovActionIx → GovActionIx Source # min ∷ GovActionIx → GovActionIx → GovActionIx Source #
NoThunks GovActionIx Source #
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 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.14.0.0-inplace" 'True) (C1 ('MetaCons "GovActionIx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unGovActionIx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32)))

newtype GovPurposeId (p ∷ GovActionPurpose) era Source #

Constructors

GovPurposeId
Fields unGovPurposeId ∷ GovActionId (EraCrypto era)

Instances

Instances details

Show (TreeMaybe (GovPurposeId p era)) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Proposals Methods showsPrec ∷ Int → TreeMaybe (GovPurposeId p era) → ShowS Source # show ∷ TreeMaybe (GovPurposeId p era) → String Source # showList ∷ [TreeMaybe (GovPurposeId p era)] → ShowS Source #
Era era ⇒ ToJSON (GovPurposeId p era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods toJSON ∷ GovPurposeId p era → Value Source # toEncoding ∷ GovPurposeId p era → Encoding Source # toJSONList ∷ [GovPurposeId p era] → Value Source # toEncodingList ∷ [GovPurposeId p era] → Encoding Source # omitField ∷ GovPurposeId p era → Bool Source #
Era era ⇒ ToJSONKey (GovPurposeId p era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods toJSONKey ∷ ToJSONKeyFunction (GovPurposeId p era) Source # toJSONKeyList ∷ ToJSONKeyFunction [GovPurposeId p era] Source #
Generic (GovPurposeId p era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Associated Types type Rep (GovPurposeId p era) ∷ Type → Type Source # Methods from ∷ GovPurposeId p era → Rep (GovPurposeId p era) x Source # to ∷ Rep (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 showsPrec ∷ Int → GovPurposeId p era → ShowS Source # show ∷ GovPurposeId 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 decCBOR ∷ Decoder s (GovPurposeId p era) Source # dropCBOR ∷ Proxy (GovPurposeId p era) → Decoder s () Source # label ∷ Proxy (GovPurposeId p era) → Text Source #
(Era era, Typeable p) ⇒ EncCBOR (GovPurposeId p era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods encCBOR ∷ GovPurposeId 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 rnf ∷ GovPurposeId 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 compare ∷ GovPurposeId 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 # max ∷ GovPurposeId p era → GovPurposeId p era → GovPurposeId p era Source # min ∷ GovPurposeId 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 Methods noThunks ∷ Context → GovPurposeId p era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → GovPurposeId p era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (GovPurposeId p era) → String Source #
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.14.0.0-inplace" 'True) (C1 ('MetaCons "GovPurposeId" 'PrefixI 'True) (S1 ('MetaSel ('Just "unGovPurposeId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GovActionId (EraCrypto era)))))

data GovActionPurpose Source #

Constructors

PParamUpdatePurpose
HardForkPurpose
CommitteePurpose
ConstitutionPurpose

Instances

Instances details

Generic GovActionPurpose Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Associated Types type Rep GovActionPurpose ∷ Type → Type Source # Methods from ∷ GovActionPurpose → Rep GovActionPurpose x Source # to ∷ Rep GovActionPurpose x → GovActionPurpose Source #
Show GovActionPurpose Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods showsPrec ∷ Int → GovActionPurpose → ShowS Source # show ∷ GovActionPurpose → String Source # showList ∷ [GovActionPurpose] → ShowS Source #
Eq GovActionPurpose Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods (==) ∷ GovActionPurpose → GovActionPurpose → Bool Source # (/=) ∷ GovActionPurpose → GovActionPurpose → Bool Source #
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.14.0.0-inplace" 'False) ((C1 ('MetaCons "PParamUpdatePurpose" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "HardForkPurpose" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "CommitteePurpose" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ConstitutionPurpose" 'PrefixI 'False) (U1 ∷ Type → Type)))

data GovRelation (f ∷ Type → Type) era Source #

Abstract data type for representing relationship of governance action with the same purpose

Constructors

GovRelation
Fields grPParamUpdate ∷ !(f (GovPurposeId 'PParamUpdatePurpose era)) grHardFork ∷ !(f (GovPurposeId 'HardForkPurpose era)) grCommittee ∷ !(f (GovPurposeId 'CommitteePurpose era)) grConstitution ∷ !(f (GovPurposeId 'ConstitutionPurpose era))

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 Methods toJSON ∷ GovRelation f era → Value Source # toEncoding ∷ GovRelation f era → Encoding Source # toJSONList ∷ [GovRelation f era] → Value Source # toEncodingList ∷ [GovRelation f era] → Encoding Source # omitField ∷ GovRelation f era → Bool Source #
(∀ (p ∷ GovActionPurpose). Monoid (f (GovPurposeId p era))) ⇒ Monoid (GovRelation f era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods mempty ∷ GovRelation f era Source # mappend ∷ GovRelation 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 # sconcat ∷ NonEmpty (GovRelation f era) → GovRelation f era Source # stimes ∷ Integral 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) ∷ Type → Type Source # Methods from ∷ GovRelation f era → Rep (GovRelation f era) x Source # to ∷ Rep (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 showsPrec ∷ Int → GovRelation f era → ShowS Source # show ∷ GovRelation 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 decCBOR ∷ Decoder s (GovRelation f era) Source # dropCBOR ∷ Proxy (GovRelation f era) → Decoder s () Source # label ∷ Proxy (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 encCBOR ∷ GovRelation 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 def ∷ GovRelation 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 rnf ∷ GovRelation 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 Methods noThunks ∷ Context → GovRelation f era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → GovRelation f era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (GovRelation f era) → String Source #
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.14.0.0-inplace" 'False) (C1 ('MetaCons "GovRelation" 'PrefixI 'True) ((S1 ('MetaSel ('Just "grPParamUpdate") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f (GovPurposeId 'PParamUpdatePurpose era))) :: S1 ('MetaSel ('Just "grHardFork") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f (GovPurposeId 'HardForkPurpose era)))) :: (S1 ('MetaSel ('Just "grCommittee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f (GovPurposeId 'CommitteePurpose era))) :*: S1 ('MetaSel ('Just "grConstitution") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f (GovPurposeId 'ConstitutionPurpose era))))))

grPParamUpdateL ∷ Lens' (GovRelation f era) (f (GovPurposeId 'PParamUpdatePurpose era)) Source #

grHardForkL ∷ Lens' (GovRelation f era) (f (GovPurposeId 'HardForkPurpose era)) Source #

grCommitteeL ∷ Lens' (GovRelation f era) (f (GovPurposeId 'CommitteePurpose era)) Source #

grConstitutionL ∷ Lens' (GovRelation f era) (f (GovPurposeId 'ConstitutionPurpose era)) Source #

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 #

Constructors

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

Instances

Instances details

EraPParams era ⇒ ToJSON (GovActionState era) Source #
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 #
Generic (GovActionState era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Associated Types type Rep (GovActionState era) ∷ Type → Type Source # Methods from ∷ GovActionState era → Rep (GovActionState era) x Source # to ∷ Rep (GovActionState era) x → GovActionState era Source #
EraPParams era ⇒ Show (GovActionState era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods showsPrec ∷ Int → GovActionState era → ShowS Source # show ∷ GovActionState era → String Source # showList ∷ [GovActionState era] → ShowS Source #
EraPParams era ⇒ DecCBOR (GovActionState era) Source #
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) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Associated Types type Share (GovActionState era) Source # 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) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods encCBOR ∷ GovActionState 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 rnf ∷ GovActionState era → () Source #
EraPParams era ⇒ Eq (GovActionState era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods (==) ∷ GovActionState era → GovActionState era → Bool Source # (/=) ∷ GovActionState era → GovActionState era → Bool Source #
EraPParams era ⇒ Ord (GovActionState era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods compare ∷ GovActionState era → GovActionState era → Ordering Source # (<) ∷ GovActionState era → GovActionState era → Bool Source # (<=) ∷ GovActionState era → GovActionState era → Bool Source # (>) ∷ GovActionState era → GovActionState era → Bool Source # (>=) ∷ GovActionState era → GovActionState era → Bool Source # max ∷ GovActionState era → GovActionState era → GovActionState era Source # min ∷ GovActionState era → GovActionState era → GovActionState era Source #
EraPParams era ⇒ NoThunks (GovActionState era) Source #
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 #
c ~ EraCrypto era ⇒ HasOKey (GovActionId c) (GovActionState era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods okeyL ∷ Lens' (GovActionState era) (GovActionId c) Source #
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.14.0.0-inplace" 'False) (C1 ('MetaCons "GovActionState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "gasId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GovActionId (EraCrypto era))) :: (S1 ('MetaSel ('Just "gasCommitteeVotes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'HotCommitteeRole (EraCrypto era)) Vote)) :: S1 ('MetaSel ('Just "gasDRepVotes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'DRepRole (EraCrypto era)) Vote)))) :: ((S1 ('MetaSel ('Just "gasStakePoolVotes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool (EraCrypto era)) Vote)) :: S1 ('MetaSel ('Just "gasProposalProcedure") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ProposalProcedure era))) :: (S1 ('MetaSel ('Just "gasProposedIn") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo) :: S1 ('MetaSel ('Just "gasExpiresAfter") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo)))))
type Share (GovActionState era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures type Share (GovActionState era) = ()

govActionIdToText ∷ GovActionId c → Text Source #

indexedGovProps ∷ Seq (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 #

Constructors

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

Instances

Instances details

Era era ⇒ FromJSON (Constitution era) Source #
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 #
Era era ⇒ ToJSON (Constitution era) Source #
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 #
Generic (Constitution era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Associated Types type Rep (Constitution era) ∷ Type → Type Source # Methods from ∷ Constitution era → Rep (Constitution era) x Source # to ∷ Rep (Constitution era) x → Constitution era Source #
Show (Constitution era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods showsPrec ∷ Int → Constitution era → ShowS Source # show ∷ Constitution era → String Source # showList ∷ [Constitution era] → ShowS Source #
Era era ⇒ FromCBOR (Constitution era) Source #
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) Source #
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) Source #
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) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods encCBOR ∷ Constitution 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 def ∷ Constitution era Source #
Era era ⇒ NFData (Constitution era) Source #
Instance details Defined in Cardano.Ledger.Conway.Governance.Procedures Methods rnf ∷ Constitution 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 Methods compare ∷ Constitution era → Constitution era → Ordering Source # (<) ∷ Constitution era → Constitution era → Bool Source # (<=) ∷ Constitution era → Constitution era → Bool Source # (>) ∷ Constitution era → Constitution era → Bool Source # (>=) ∷ Constitution era → Constitution era → Bool Source # max ∷ Constitution era → Constitution era → Constitution era Source # min ∷ Constitution era → Constitution era → Constitution era Source #
Era era ⇒ NoThunks (Constitution era) Source #
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) 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.14.0.0-inplace" 'False) (C1 ('MetaCons "Constitution" 'PrefixI 'True) (S1 ('MetaSel ('Just "constitutionAnchor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Anchor (EraCrypto era))) :*: S1 ('MetaSel ('Just "constitutionScript") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (ScriptHash (EraCrypto era))))))