Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Api.State.Query.CommitteeMembersState

Documentation

data CommitteeMemberState c Source #

Constructors

CommitteeMemberState
Fields cmsHotCredAuthStatus ∷ !(HotCredAuthStatus c) cmsStatus ∷ !MemberStatus cmsExpiration ∷ !(Maybe EpochNo) Absolute epoch number when the member expires cmsNextEpochChange ∷ !NextEpochChange Changes to the member at the next epoch

Instances

Instances details

Crypto c ⇒ ToJSON (CommitteeMemberState c) Source #
Instance details Defined in Cardano.Ledger.Api.State.Query.CommitteeMembersState Methods toJSON ∷ CommitteeMemberState c → Value Source # toEncoding ∷ CommitteeMemberState c → Encoding Source # toJSONList ∷ [CommitteeMemberState c] → Value Source # toEncodingList ∷ [CommitteeMemberState c] → Encoding Source # omitField ∷ CommitteeMemberState c → Bool Source #
Generic (CommitteeMemberState c) Source #
Instance details Defined in Cardano.Ledger.Api.State.Query.CommitteeMembersState Associated Types type Rep (CommitteeMemberState c) ∷ Type → Type Source # Methods from ∷ CommitteeMemberState c → Rep (CommitteeMemberState c) x Source # to ∷ Rep (CommitteeMemberState c) x → CommitteeMemberState c Source #
Show (CommitteeMemberState c) Source #
Instance details Defined in Cardano.Ledger.Api.State.Query.CommitteeMembersState Methods showsPrec ∷ Int → CommitteeMemberState c → ShowS Source # show ∷ CommitteeMemberState c → String Source # showList ∷ [CommitteeMemberState c] → ShowS Source #
Crypto c ⇒ DecCBOR (CommitteeMemberState c) Source #
Instance details Defined in Cardano.Ledger.Api.State.Query.CommitteeMembersState Methods decCBOR ∷ Decoder s (CommitteeMemberState c) Source # dropCBOR ∷ Proxy (CommitteeMemberState c) → Decoder s () Source # label ∷ Proxy (CommitteeMemberState c) → Text Source #
Crypto c ⇒ EncCBOR (CommitteeMemberState c) Source #
Instance details Defined in Cardano.Ledger.Api.State.Query.CommitteeMembersState Methods encCBOR ∷ CommitteeMemberState c → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (CommitteeMemberState c) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [CommitteeMemberState c] → Size Source #
Eq (CommitteeMemberState c) Source #
Instance details Defined in Cardano.Ledger.Api.State.Query.CommitteeMembersState Methods (==) ∷ CommitteeMemberState c → CommitteeMemberState c → Bool Source # (/=) ∷ CommitteeMemberState c → CommitteeMemberState c → Bool Source #
Ord (CommitteeMemberState c) Source #
Instance details Defined in Cardano.Ledger.Api.State.Query.CommitteeMembersState Methods compare ∷ CommitteeMemberState c → CommitteeMemberState c → Ordering Source # (<) ∷ CommitteeMemberState c → CommitteeMemberState c → Bool Source # (<=) ∷ CommitteeMemberState c → CommitteeMemberState c → Bool Source # (>) ∷ CommitteeMemberState c → CommitteeMemberState c → Bool Source # (>=) ∷ CommitteeMemberState c → CommitteeMemberState c → Bool Source # max ∷ CommitteeMemberState c → CommitteeMemberState c → CommitteeMemberState c Source # min ∷ CommitteeMemberState c → CommitteeMemberState c → CommitteeMemberState c Source #
type Rep (CommitteeMemberState c) Source #
Instance details Defined in Cardano.Ledger.Api.State.Query.CommitteeMembersState type Rep (CommitteeMemberState c) = D1 ('MetaData "CommitteeMemberState" "Cardano.Ledger.Api.State.Query.CommitteeMembersState" "cardano-ledger-api-1.9.1.0-inplace" 'False) (C1 ('MetaCons "CommitteeMemberState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "cmsHotCredAuthStatus") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HotCredAuthStatus c)) :: S1 ('MetaSel ('Just "cmsStatus") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MemberStatus)) :: (S1 ('MetaSel ('Just "cmsExpiration") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe EpochNo)) :*: S1 ('MetaSel ('Just "cmsNextEpochChange") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NextEpochChange))))

data CommitteeMembersState c Source #

Constructors

CommitteeMembersState
Fields csCommittee ∷ !(Map (Credential 'ColdCommitteeRole c) (CommitteeMemberState c)) csThreshold ∷ !(Maybe UnitInterval) csEpochNo ∷ !EpochNo Current epoch number. This is necessary to interpret committee member states

Instances

Instances details

Crypto c ⇒ ToJSON (CommitteeMembersState c) Source #
Instance details Defined in Cardano.Ledger.Api.State.Query.CommitteeMembersState Methods toJSON ∷ CommitteeMembersState c → Value Source # toEncoding ∷ CommitteeMembersState c → Encoding Source # toJSONList ∷ [CommitteeMembersState c] → Value Source # toEncodingList ∷ [CommitteeMembersState c] → Encoding Source # omitField ∷ CommitteeMembersState c → Bool Source #
Generic (CommitteeMembersState c) Source #
Instance details Defined in Cardano.Ledger.Api.State.Query.CommitteeMembersState Associated Types type Rep (CommitteeMembersState c) ∷ Type → Type Source # Methods from ∷ CommitteeMembersState c → Rep (CommitteeMembersState c) x Source # to ∷ Rep (CommitteeMembersState c) x → CommitteeMembersState c Source #
Show (CommitteeMembersState c) Source #
Instance details Defined in Cardano.Ledger.Api.State.Query.CommitteeMembersState Methods showsPrec ∷ Int → CommitteeMembersState c → ShowS Source # show ∷ CommitteeMembersState c → String Source # showList ∷ [CommitteeMembersState c] → ShowS Source #
Crypto c ⇒ DecCBOR (CommitteeMembersState c) Source #
Instance details Defined in Cardano.Ledger.Api.State.Query.CommitteeMembersState Methods decCBOR ∷ Decoder s (CommitteeMembersState c) Source # dropCBOR ∷ Proxy (CommitteeMembersState c) → Decoder s () Source # label ∷ Proxy (CommitteeMembersState c) → Text Source #
Crypto c ⇒ EncCBOR (CommitteeMembersState c) Source #
Instance details Defined in Cardano.Ledger.Api.State.Query.CommitteeMembersState Methods encCBOR ∷ CommitteeMembersState c → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (CommitteeMembersState c) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [CommitteeMembersState c] → Size Source #
Eq (CommitteeMembersState c) Source #
Instance details Defined in Cardano.Ledger.Api.State.Query.CommitteeMembersState Methods (==) ∷ CommitteeMembersState c → CommitteeMembersState c → Bool Source # (/=) ∷ CommitteeMembersState c → CommitteeMembersState c → Bool Source #
Ord (CommitteeMembersState c) Source #
Instance details Defined in Cardano.Ledger.Api.State.Query.CommitteeMembersState Methods compare ∷ CommitteeMembersState c → CommitteeMembersState c → Ordering Source # (<) ∷ CommitteeMembersState c → CommitteeMembersState c → Bool Source # (<=) ∷ CommitteeMembersState c → CommitteeMembersState c → Bool Source # (>) ∷ CommitteeMembersState c → CommitteeMembersState c → Bool Source # (>=) ∷ CommitteeMembersState c → CommitteeMembersState c → Bool Source # max ∷ CommitteeMembersState c → CommitteeMembersState c → CommitteeMembersState c Source # min ∷ CommitteeMembersState c → CommitteeMembersState c → CommitteeMembersState c Source #
type Rep (CommitteeMembersState c) Source #
Instance details Defined in Cardano.Ledger.Api.State.Query.CommitteeMembersState type Rep (CommitteeMembersState c) = D1 ('MetaData "CommitteeMembersState" "Cardano.Ledger.Api.State.Query.CommitteeMembersState" "cardano-ledger-api-1.9.1.0-inplace" 'False) (C1 ('MetaCons "CommitteeMembersState" 'PrefixI 'True) (S1 ('MetaSel ('Just "csCommittee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'ColdCommitteeRole c) (CommitteeMemberState c))) :: (S1 ('MetaSel ('Just "csThreshold") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe UnitInterval)) :: S1 ('MetaSel ('Just "csEpochNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo))))

data HotCredAuthStatus c Source #

Constructors

MemberAuthorized (Credential 'HotCommitteeRole c)
MemberNotAuthorized	Member enacted, but no hot credential for voting has been registered
MemberResigned (Maybe (Anchor c))

Instances

Instances details

Crypto c ⇒ ToJSON (HotCredAuthStatus c) Source #
Instance details Defined in Cardano.Ledger.Api.State.Query.CommitteeMembersState Methods toJSON ∷ HotCredAuthStatus c → Value Source # toEncoding ∷ HotCredAuthStatus c → Encoding Source # toJSONList ∷ [HotCredAuthStatus c] → Value Source # toEncodingList ∷ [HotCredAuthStatus c] → Encoding Source # omitField ∷ HotCredAuthStatus c → Bool Source #
Generic (HotCredAuthStatus c) Source #
Instance details Defined in Cardano.Ledger.Api.State.Query.CommitteeMembersState Associated Types type Rep (HotCredAuthStatus c) ∷ Type → Type Source # Methods from ∷ HotCredAuthStatus c → Rep (HotCredAuthStatus c) x Source # to ∷ Rep (HotCredAuthStatus c) x → HotCredAuthStatus c Source #
Show (HotCredAuthStatus c) Source #
Instance details Defined in Cardano.Ledger.Api.State.Query.CommitteeMembersState Methods showsPrec ∷ Int → HotCredAuthStatus c → ShowS Source # show ∷ HotCredAuthStatus c → String Source # showList ∷ [HotCredAuthStatus c] → ShowS Source #
Crypto c ⇒ DecCBOR (HotCredAuthStatus c) Source #
Instance details Defined in Cardano.Ledger.Api.State.Query.CommitteeMembersState Methods decCBOR ∷ Decoder s (HotCredAuthStatus c) Source # dropCBOR ∷ Proxy (HotCredAuthStatus c) → Decoder s () Source # label ∷ Proxy (HotCredAuthStatus c) → Text Source #
Crypto c ⇒ EncCBOR (HotCredAuthStatus c) Source #
Instance details Defined in Cardano.Ledger.Api.State.Query.CommitteeMembersState Methods encCBOR ∷ HotCredAuthStatus c → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (HotCredAuthStatus c) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [HotCredAuthStatus c] → Size Source #
Eq (HotCredAuthStatus c) Source #
Instance details Defined in Cardano.Ledger.Api.State.Query.CommitteeMembersState Methods (==) ∷ HotCredAuthStatus c → HotCredAuthStatus c → Bool Source # (/=) ∷ HotCredAuthStatus c → HotCredAuthStatus c → Bool Source #
Ord (HotCredAuthStatus c) Source #
Instance details Defined in Cardano.Ledger.Api.State.Query.CommitteeMembersState Methods compare ∷ HotCredAuthStatus c → HotCredAuthStatus c → Ordering Source # (<) ∷ HotCredAuthStatus c → HotCredAuthStatus c → Bool Source # (<=) ∷ HotCredAuthStatus c → HotCredAuthStatus c → Bool Source # (>) ∷ HotCredAuthStatus c → HotCredAuthStatus c → Bool Source # (>=) ∷ HotCredAuthStatus c → HotCredAuthStatus c → Bool Source # max ∷ HotCredAuthStatus c → HotCredAuthStatus c → HotCredAuthStatus c Source # min ∷ HotCredAuthStatus c → HotCredAuthStatus c → HotCredAuthStatus c Source #
type Rep (HotCredAuthStatus c) Source #
Instance details Defined in Cardano.Ledger.Api.State.Query.CommitteeMembersState type Rep (HotCredAuthStatus c) = D1 ('MetaData "HotCredAuthStatus" "Cardano.Ledger.Api.State.Query.CommitteeMembersState" "cardano-ledger-api-1.9.1.0-inplace" 'False) (C1 ('MetaCons "MemberAuthorized" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential 'HotCommitteeRole c))) :+: (C1 ('MetaCons "MemberNotAuthorized" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "MemberResigned" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Anchor c))))))

data MemberStatus Source #

Constructors

Active
Expired
Unrecognized	This can happen when a hot credential for an unknown cold credential exists. Such Committee member will be either removed from the state at the next epoch boundary or enacted as a new member.

Instances

Instances details

ToJSON MemberStatus Source #
Instance details Defined in Cardano.Ledger.Api.State.Query.CommitteeMembersState Methods toJSON ∷ MemberStatus → Value Source # toEncoding ∷ MemberStatus → Encoding Source # toJSONList ∷ [MemberStatus] → Value Source # toEncodingList ∷ [MemberStatus] → Encoding Source # omitField ∷ MemberStatus → Bool Source #
Bounded MemberStatus Source #
Instance details Defined in Cardano.Ledger.Api.State.Query.CommitteeMembersState Methods minBound ∷ MemberStatus Source # maxBound ∷ MemberStatus Source #
Enum MemberStatus Source #
Instance details Defined in Cardano.Ledger.Api.State.Query.CommitteeMembersState Methods succ ∷ MemberStatus → MemberStatus Source # pred ∷ MemberStatus → MemberStatus Source # toEnum ∷ Int → MemberStatus Source # fromEnum ∷ MemberStatus → Int Source # enumFrom ∷ MemberStatus → [MemberStatus] Source # enumFromThen ∷ MemberStatus → MemberStatus → [MemberStatus] Source # enumFromTo ∷ MemberStatus → MemberStatus → [MemberStatus] Source # enumFromThenTo ∷ MemberStatus → MemberStatus → MemberStatus → [MemberStatus] Source #
Generic MemberStatus Source #
Instance details Defined in Cardano.Ledger.Api.State.Query.CommitteeMembersState Associated Types type Rep MemberStatus ∷ Type → Type Source # Methods from ∷ MemberStatus → Rep MemberStatus x Source # to ∷ Rep MemberStatus x → MemberStatus Source #
Show MemberStatus Source #
Instance details Defined in Cardano.Ledger.Api.State.Query.CommitteeMembersState Methods showsPrec ∷ Int → MemberStatus → ShowS Source # show ∷ MemberStatus → String Source # showList ∷ [MemberStatus] → ShowS Source #
DecCBOR MemberStatus Source #
Instance details Defined in Cardano.Ledger.Api.State.Query.CommitteeMembersState Methods decCBOR ∷ Decoder s MemberStatus Source # dropCBOR ∷ Proxy MemberStatus → Decoder s () Source # label ∷ Proxy MemberStatus → Text Source #
EncCBOR MemberStatus Source #
Instance details Defined in Cardano.Ledger.Api.State.Query.CommitteeMembersState Methods encCBOR ∷ MemberStatus → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy MemberStatus → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [MemberStatus] → Size Source #
Eq MemberStatus Source #
Instance details Defined in Cardano.Ledger.Api.State.Query.CommitteeMembersState Methods (==) ∷ MemberStatus → MemberStatus → Bool Source # (/=) ∷ MemberStatus → MemberStatus → Bool Source #
Ord MemberStatus Source #
Instance details Defined in Cardano.Ledger.Api.State.Query.CommitteeMembersState Methods compare ∷ MemberStatus → MemberStatus → Ordering Source # (<) ∷ MemberStatus → MemberStatus → Bool Source # (<=) ∷ MemberStatus → MemberStatus → Bool Source # (>) ∷ MemberStatus → MemberStatus → Bool Source # (>=) ∷ MemberStatus → MemberStatus → Bool Source # max ∷ MemberStatus → MemberStatus → MemberStatus Source # min ∷ MemberStatus → MemberStatus → MemberStatus Source #
type Rep MemberStatus Source #
Instance details Defined in Cardano.Ledger.Api.State.Query.CommitteeMembersState type Rep MemberStatus = D1 ('MetaData "MemberStatus" "Cardano.Ledger.Api.State.Query.CommitteeMembersState" "cardano-ledger-api-1.9.1.0-inplace" 'False) (C1 ('MetaCons "Active" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "Expired" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Unrecognized" 'PrefixI 'False) (U1 ∷ Type → Type)))

data NextEpochChange Source #

Constructors

ToBeEnacted
ToBeRemoved	Member will be removed
NoChangeExpected
ToBeExpired
TermAdjusted EpochNo

Instances

Instances details

ToJSON NextEpochChange Source #
Instance details Defined in Cardano.Ledger.Api.State.Query.CommitteeMembersState Methods toJSON ∷ NextEpochChange → Value Source # toEncoding ∷ NextEpochChange → Encoding Source # toJSONList ∷ [NextEpochChange] → Value Source # toEncodingList ∷ [NextEpochChange] → Encoding Source # omitField ∷ NextEpochChange → Bool Source #
Generic NextEpochChange Source #
Instance details Defined in Cardano.Ledger.Api.State.Query.CommitteeMembersState Associated Types type Rep NextEpochChange ∷ Type → Type Source # Methods from ∷ NextEpochChange → Rep NextEpochChange x Source # to ∷ Rep NextEpochChange x → NextEpochChange Source #
Show NextEpochChange Source #
Instance details Defined in Cardano.Ledger.Api.State.Query.CommitteeMembersState Methods showsPrec ∷ Int → NextEpochChange → ShowS Source # show ∷ NextEpochChange → String Source # showList ∷ [NextEpochChange] → ShowS Source #
DecCBOR NextEpochChange Source #
Instance details Defined in Cardano.Ledger.Api.State.Query.CommitteeMembersState Methods decCBOR ∷ Decoder s NextEpochChange Source # dropCBOR ∷ Proxy NextEpochChange → Decoder s () Source # label ∷ Proxy NextEpochChange → Text Source #
EncCBOR NextEpochChange Source #
Instance details Defined in Cardano.Ledger.Api.State.Query.CommitteeMembersState Methods encCBOR ∷ NextEpochChange → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy NextEpochChange → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [NextEpochChange] → Size Source #
Eq NextEpochChange Source #
Instance details Defined in Cardano.Ledger.Api.State.Query.CommitteeMembersState Methods (==) ∷ NextEpochChange → NextEpochChange → Bool Source # (/=) ∷ NextEpochChange → NextEpochChange → Bool Source #
Ord NextEpochChange Source #
Instance details Defined in Cardano.Ledger.Api.State.Query.CommitteeMembersState Methods compare ∷ NextEpochChange → NextEpochChange → Ordering Source # (<) ∷ NextEpochChange → NextEpochChange → Bool Source # (<=) ∷ NextEpochChange → NextEpochChange → Bool Source # (>) ∷ NextEpochChange → NextEpochChange → Bool Source # (>=) ∷ NextEpochChange → NextEpochChange → Bool Source # max ∷ NextEpochChange → NextEpochChange → NextEpochChange Source # min ∷ NextEpochChange → NextEpochChange → NextEpochChange Source #
type Rep NextEpochChange Source #
Instance details Defined in Cardano.Ledger.Api.State.Query.CommitteeMembersState type Rep NextEpochChange = D1 ('MetaData "NextEpochChange" "Cardano.Ledger.Api.State.Query.CommitteeMembersState" "cardano-ledger-api-1.9.1.0-inplace" 'False) ((C1 ('MetaCons "ToBeEnacted" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ToBeRemoved" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "NoChangeExpected" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "ToBeExpired" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "TermAdjusted" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo)))))