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

newtype 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 (StrictMaybe CanonicalCommittee) 

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 (StrictMaybe CanonicalCommittee))))

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 #

FromCanonicalCBOR "gov/committee/v0" (StrictMaybe CanonicalCommittee) ⇒ FromCanonicalCBOR "gov/committee/v0" GovCommitteeOut Source # 
Instance details

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

Methods

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

ToCanonicalCBOR "gov/committee/v0" (StrictMaybe CanonicalCommittee) ⇒ ToCanonicalCBOR "gov/committee/v0" GovCommitteeOut Source # 
Instance details

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

Methods

toCanonicalCBOR ∷ proxy "gov/committee/v0" → GovCommitteeOut → CanonicalEncoding Source #

(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 (StrictMaybe CanonicalCommittee))))

data CanonicalCommittee Source #

Constructors

CanonicalCommittee 

Fields

Instances

Instances details
Generic CanonicalCommittee Source # 
Instance details

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

Associated Types

type Rep CanonicalCommittee 
Instance details

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

type Rep CanonicalCommittee = D1 ('MetaData "CanonicalCommittee" "Cardano.Ledger.CanonicalState.Namespace.GovCommittee.V0" "cardano-ledger-canonical-state-9.9.9.9-inplace" 'False) (C1 ('MetaCons "CanonicalCommittee" 'PrefixI 'True) (S1 ('MetaSel ('Just "committeeMembers") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'ColdCommitteeRole) EpochNo)) :*: S1 ('MetaSel ('Just "committeeThreshold") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval)))

Methods

from ∷ CanonicalCommittee → Rep CanonicalCommittee x #

to ∷ Rep CanonicalCommittee x → CanonicalCommittee #

Show CanonicalCommittee Source # 
Instance details

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

Methods

showsPrec ∷ Int → CanonicalCommittee → ShowS #

show ∷ CanonicalCommittee → String #

showList ∷ [CanonicalCommittee] → ShowS #

Eq CanonicalCommittee Source # 
Instance details

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

Methods

(==) ∷ CanonicalCommittee → CanonicalCommittee → Bool #

(/=) ∷ CanonicalCommittee → CanonicalCommittee → Bool #

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

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

Methods

fromCanonicalCBOR ∷ CanonicalDecoder s (Versioned v CanonicalCommittee) Source #

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

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

Methods

toCanonicalCBOR ∷ proxy v → CanonicalCommittee → CanonicalEncoding Source #

type Rep CanonicalCommittee Source # 
Instance details

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

type Rep CanonicalCommittee = D1 ('MetaData "CanonicalCommittee" "Cardano.Ledger.CanonicalState.Namespace.GovCommittee.V0" "cardano-ledger-canonical-state-9.9.9.9-inplace" 'False) (C1 ('MetaCons "CanonicalCommittee" 'PrefixI 'True) (S1 ('MetaSel ('Just "committeeMembers") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'ColdCommitteeRole) EpochNo)) :*: S1 ('MetaSel ('Just "committeeThreshold") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval)))

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