Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.CanonicalState.Namespace.GovCommittee.V0

Contents

Orphan instances

Documentation

data GovCommitteeIn Source #

Constructors

GovCommitteeIn

Instances

Instances details

Enum GovCommitteeIn Source #
Instance details Defined in Cardano.Ledger.CanonicalState.Namespace.GovCommittee.V0 Methods succ ∷ GovCommitteeIn → GovCommitteeIn # pred ∷ GovCommitteeIn → GovCommitteeIn # toEnum ∷ Int → GovCommitteeIn # fromEnum ∷ GovCommitteeIn → Int # enumFrom ∷ GovCommitteeIn → [GovCommitteeIn] # enumFromThen ∷ GovCommitteeIn → GovCommitteeIn → [GovCommitteeIn] # enumFromTo ∷ GovCommitteeIn → GovCommitteeIn → [GovCommitteeIn] # enumFromThenTo ∷ GovCommitteeIn → GovCommitteeIn → GovCommitteeIn → [GovCommitteeIn] #
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 committeeMembers ∷ !(Map (Credential 'ColdCommitteeRole) EpochNo) committeeThreshold ∷ !UnitInterval

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