cardano-ledger-canonical-state-9.9.9.9: Instaces for working with canonical ledger state representation
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.CanonicalState.Namespace.GovCommittee.V0

Documentation

data GovCommitteeIn Source #

Constructors

GovCommitteeIn EpochNo 

Instances

Instances details
Show GovCommitteeIn Source # 
Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovCommittee.V0

Methods

showsPrec ∷ Int → GovCommitteeIn → ShowS #

show ∷ GovCommitteeIn → String #

showList ∷ [GovCommitteeIn] → ShowS #

Eq GovCommitteeIn Source # 
Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovCommittee.V0

Methods

(==) ∷ GovCommitteeIn → GovCommitteeIn → Bool #

(/=) ∷ GovCommitteeIn → GovCommitteeIn → Bool #

Ord GovCommitteeIn Source # 
Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovCommittee.V0

Methods

compare ∷ GovCommitteeIn → GovCommitteeIn → Ordering #

(<) ∷ GovCommitteeIn → GovCommitteeIn → Bool #

(<=) ∷ GovCommitteeIn → GovCommitteeIn → Bool #

(>) ∷ GovCommitteeIn → GovCommitteeIn → Bool #

(>=) ∷ GovCommitteeIn → GovCommitteeIn → Bool #

max ∷ GovCommitteeIn → GovCommitteeIn → GovCommitteeIn #

min ∷ GovCommitteeIn → GovCommitteeIn → GovCommitteeIn #

IsKey GovCommitteeIn Source # 
Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovCommittee.V0

Methods

keySize ∷ Int Source #

packKeyM ∷ GovCommitteeIn → Pack b () Source #

unpackKeyM ∷ Buffer b ⇒ Unpack' s b GovCommitteeIn Source #

newtype GovCommitteeOut Source #

Constructors

GovCommitteeOut CanonicalCommitteeState 

Instances

Instances details
Generic GovCommitteeOut Source # 
Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovCommittee.V0

Associated Types

type Rep GovCommitteeOut 
Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovCommittee.V0

type Rep GovCommitteeOut = D1 ('MetaData "GovCommitteeOut" "Cardano.Ledger.CanonicalState.Namespace.GovCommittee.V0" "cardano-ledger-canonical-state-9.9.9.9-inplace" 'True) (C1 ('MetaCons "GovCommitteeOut" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CanonicalCommitteeState)))

Methods

from ∷ GovCommitteeOut → Rep GovCommitteeOut x #

to ∷ Rep GovCommitteeOut x → GovCommitteeOut #

Show GovCommitteeOut Source # 
Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovCommittee.V0

Methods

showsPrec ∷ Int → GovCommitteeOut → ShowS #

show ∷ GovCommitteeOut → String #

showList ∷ [GovCommitteeOut] → ShowS #

Eq GovCommitteeOut Source # 
Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovCommittee.V0

Methods

(==) ∷ GovCommitteeOut → GovCommitteeOut → Bool #

(/=) ∷ GovCommitteeOut → GovCommitteeOut → Bool #

(Era era, NamespaceEra "gov/committee/v0" ~ era) ⇒ CanonicalCBOREntryDecoder "gov/committee/v0" GovCommitteeOut Source # 
Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovCommittee.V0

Methods

decodeEntry ∷ CanonicalDecoder s (Versioned "gov/committee/v0" GovCommitteeOut) Source #

(Era era, NamespaceEra "gov/committee/v0" ~ era) ⇒ CanonicalCBOREntryEncoder "gov/committee/v0" GovCommitteeOut Source # 
Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovCommittee.V0

Methods

encodeEntry ∷ GovCommitteeOut → CanonicalEncoding Source #

type Rep GovCommitteeOut Source # 
Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovCommittee.V0

type Rep GovCommitteeOut = D1 ('MetaData "GovCommitteeOut" "Cardano.Ledger.CanonicalState.Namespace.GovCommittee.V0" "cardano-ledger-canonical-state-9.9.9.9-inplace" 'True) (C1 ('MetaCons "GovCommitteeOut" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CanonicalCommitteeState)))

newtype CanonicalCommitteeState Source #

Constructors

CanonicalCommitteeState 

Fields

Instances

Instances details
Generic CanonicalCommitteeState Source # 
Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovCommittee.V0

Associated Types

type Rep CanonicalCommitteeState 
Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovCommittee.V0

type Rep CanonicalCommitteeState = D1 ('MetaData "CanonicalCommitteeState" "Cardano.Ledger.CanonicalState.Namespace.GovCommittee.V0" "cardano-ledger-canonical-state-9.9.9.9-inplace" 'True) (C1 ('MetaCons "CanonicalCommitteeState" 'PrefixI 'True) (S1 ('MetaSel ('Just "csCommitteeCreds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential 'ColdCommitteeRole) CanonicalCommitteeAuthorization))))

Methods

from ∷ CanonicalCommitteeState → Rep CanonicalCommitteeState x #

to ∷ Rep CanonicalCommitteeState x → CanonicalCommitteeState #

Show CanonicalCommitteeState Source # 
Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovCommittee.V0

Methods

showsPrec ∷ Int → CanonicalCommitteeState → ShowS #

show ∷ CanonicalCommitteeState → String #

showList ∷ [CanonicalCommitteeState] → ShowS #

Eq CanonicalCommitteeState Source # 
Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovCommittee.V0

Methods

(==) ∷ CanonicalCommitteeState → CanonicalCommitteeState → Bool #

(/=) ∷ CanonicalCommitteeState → CanonicalCommitteeState → Bool #

(Era era, NamespaceEra v ~ era) ⇒ FromCanonicalCBOR v CanonicalCommitteeState Source # 
Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovCommittee.V0

Methods

fromCanonicalCBOR ∷ CanonicalDecoder s (Versioned v CanonicalCommitteeState) Source #

(Era era, NamespaceEra v ~ era) ⇒ ToCanonicalCBOR v CanonicalCommitteeState Source # 
Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovCommittee.V0

Methods

toCanonicalCBOR ∷ proxy v → CanonicalCommitteeState → CanonicalEncoding Source #

type Rep CanonicalCommitteeState Source # 
Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovCommittee.V0

type Rep CanonicalCommitteeState = D1 ('MetaData "CanonicalCommitteeState" "Cardano.Ledger.CanonicalState.Namespace.GovCommittee.V0" "cardano-ledger-canonical-state-9.9.9.9-inplace" 'True) (C1 ('MetaCons "CanonicalCommitteeState" 'PrefixI 'True) (S1 ('MetaSel ('Just "csCommitteeCreds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential 'ColdCommitteeRole) CanonicalCommitteeAuthorization))))

data CanonicalCommitteeAuthorization Source #

Constructors

CanonicalCommitteeHotCredential (Credential 'HotCommitteeRole) 
CanonicalCommitteeMemberResigned (StrictMaybe Anchor) 

Instances

Instances details
Generic CanonicalCommitteeAuthorization Source # 
Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovCommittee.V0

Associated Types

type Rep CanonicalCommitteeAuthorization 
Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovCommittee.V0

type Rep CanonicalCommitteeAuthorization = D1 ('MetaData "CanonicalCommitteeAuthorization" "Cardano.Ledger.CanonicalState.Namespace.GovCommittee.V0" "cardano-ledger-canonical-state-9.9.9.9-inplace" 'False) (C1 ('MetaCons "CanonicalCommitteeHotCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential 'HotCommitteeRole))) :+: C1 ('MetaCons "CanonicalCommitteeMemberResigned" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Anchor))))

Methods

from ∷ CanonicalCommitteeAuthorization → Rep CanonicalCommitteeAuthorization x #

to ∷ Rep CanonicalCommitteeAuthorization x → CanonicalCommitteeAuthorization #

Show CanonicalCommitteeAuthorization Source # 
Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovCommittee.V0

Methods

showsPrec ∷ Int → CanonicalCommitteeAuthorization → ShowS #

show ∷ CanonicalCommitteeAuthorization → String #

showList ∷ [CanonicalCommitteeAuthorization] → ShowS #

Eq CanonicalCommitteeAuthorization Source # 
Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovCommittee.V0

Methods

(==) ∷ CanonicalCommitteeAuthorization → CanonicalCommitteeAuthorization → Bool #

(/=) ∷ CanonicalCommitteeAuthorization → CanonicalCommitteeAuthorization → Bool #

Ord CanonicalCommitteeAuthorization Source # 
Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovCommittee.V0

Methods

compare ∷ CanonicalCommitteeAuthorization → CanonicalCommitteeAuthorization → Ordering #

(<) ∷ CanonicalCommitteeAuthorization → CanonicalCommitteeAuthorization → Bool #

(<=) ∷ CanonicalCommitteeAuthorization → CanonicalCommitteeAuthorization → Bool #

(>) ∷ CanonicalCommitteeAuthorization → CanonicalCommitteeAuthorization → Bool #

(>=) ∷ CanonicalCommitteeAuthorization → CanonicalCommitteeAuthorization → Bool #

max ∷ CanonicalCommitteeAuthorization → CanonicalCommitteeAuthorization → CanonicalCommitteeAuthorization #

min ∷ CanonicalCommitteeAuthorization → CanonicalCommitteeAuthorization → CanonicalCommitteeAuthorization #

(Era era, NamespaceEra v ~ era) ⇒ FromCanonicalCBOR v CanonicalCommitteeAuthorization Source # 
Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovCommittee.V0

Methods

fromCanonicalCBOR ∷ CanonicalDecoder s (Versioned v CanonicalCommitteeAuthorization) Source #

(Era era, NamespaceEra v ~ era) ⇒ ToCanonicalCBOR v CanonicalCommitteeAuthorization Source # 
Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovCommittee.V0

Methods

toCanonicalCBOR ∷ proxy v → CanonicalCommitteeAuthorization → CanonicalEncoding Source #

type Rep CanonicalCommitteeAuthorization Source # 
Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovCommittee.V0

type Rep CanonicalCommitteeAuthorization = D1 ('MetaData "CanonicalCommitteeAuthorization" "Cardano.Ledger.CanonicalState.Namespace.GovCommittee.V0" "cardano-ledger-canonical-state-9.9.9.9-inplace" 'False) (C1 ('MetaCons "CanonicalCommitteeHotCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential 'HotCommitteeRole))) :+: C1 ('MetaCons "CanonicalCommitteeMemberResigned" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Anchor))))

mkCanonicalCommitteeAuthorization ∷ CommitteeAuthorization → CanonicalCommitteeAuthorization Source #

fromCanonicalCommitteeAuthorization ∷ CanonicalCommitteeAuthorization → CommitteeAuthorization Source #

Orphan instances

(Era era, NamespaceEra "gov/committee/v0" ~ era) ⇒ KnownNamespace "gov/committee/v0" Source # 
Instance details

Associated Types

type NamespaceKey "gov/committee/v0" 
Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovCommittee.V0

type NamespaceKey "gov/committee/v0" = GovCommitteeIn
type NamespaceEntry "gov/committee/v0" 
Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.GovCommittee.V0

type NamespaceEntry "gov/committee/v0" = GovCommitteeOut