Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.CanonicalState.Namespace.EntitiesCommittee.V0

Contents

Orphan instances

Documentation

data EntitiesCommitteeIn Source #

Constructors

EntitiesCommitteeIn EpochNo

Instances

Instances details

Show EntitiesCommitteeIn Source #
Instance details Defined in Cardano.Ledger.CanonicalState.Namespace.EntitiesCommittee.V0 Methods showsPrec ∷ Int → EntitiesCommitteeIn → ShowS # show ∷ EntitiesCommitteeIn → String # showList ∷ [EntitiesCommitteeIn] → ShowS #
Eq EntitiesCommitteeIn Source #
Instance details Defined in Cardano.Ledger.CanonicalState.Namespace.EntitiesCommittee.V0 Methods (==) ∷ EntitiesCommitteeIn → EntitiesCommitteeIn → Bool # (/=) ∷ EntitiesCommitteeIn → EntitiesCommitteeIn → Bool #
Ord EntitiesCommitteeIn Source #
Instance details Defined in Cardano.Ledger.CanonicalState.Namespace.EntitiesCommittee.V0 Methods compare ∷ EntitiesCommitteeIn → EntitiesCommitteeIn → Ordering # (<) ∷ EntitiesCommitteeIn → EntitiesCommitteeIn → Bool # (<=) ∷ EntitiesCommitteeIn → EntitiesCommitteeIn → Bool # (>) ∷ EntitiesCommitteeIn → EntitiesCommitteeIn → Bool # (>=) ∷ EntitiesCommitteeIn → EntitiesCommitteeIn → Bool # max ∷ EntitiesCommitteeIn → EntitiesCommitteeIn → EntitiesCommitteeIn # min ∷ EntitiesCommitteeIn → EntitiesCommitteeIn → EntitiesCommitteeIn #
IsKey EntitiesCommitteeIn Source #
Instance details Defined in Cardano.Ledger.CanonicalState.Namespace.EntitiesCommittee.V0 Methods keySize ∷ Int Source # packKeyM ∷ EntitiesCommitteeIn → Pack b () Source # unpackKeyM ∷ Buffer b ⇒ Unpack' s b EntitiesCommitteeIn Source #

newtype EntitiesCommitteeOut Source #

Constructors

EntitiesCommitteeOut CanonicalCommitteeState

Instances

Instances details

Generic EntitiesCommitteeOut Source #

Instance details

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

Associated Types

type Rep EntitiesCommitteeOut

Instance details

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

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

Methods

from ∷ EntitiesCommitteeOut → Rep EntitiesCommitteeOut x #

to ∷ Rep EntitiesCommitteeOut x → EntitiesCommitteeOut #

Show EntitiesCommitteeOut Source #

Instance details

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

Methods

showsPrec ∷ Int → EntitiesCommitteeOut → ShowS #

show ∷ EntitiesCommitteeOut → String #

showList ∷ [EntitiesCommitteeOut] → ShowS #

Eq EntitiesCommitteeOut Source #

Instance details

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

Methods

(==) ∷ EntitiesCommitteeOut → EntitiesCommitteeOut → Bool #

(/=) ∷ EntitiesCommitteeOut → EntitiesCommitteeOut → Bool #

(Era era, NamespaceEra "entities/committee/v0" ~ era) ⇒ CanonicalCBOREntryDecoder "entities/committee/v0" EntitiesCommitteeOut Source #

Instance details

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

Methods

decodeEntry ∷ CanonicalDecoder s (Versioned "entities/committee/v0" EntitiesCommitteeOut) Source #

(Era era, NamespaceEra "entities/committee/v0" ~ era) ⇒ CanonicalCBOREntryEncoder "entities/committee/v0" EntitiesCommitteeOut Source #

Instance details

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

Methods

encodeEntry ∷ EntitiesCommitteeOut → CanonicalEncoding Source #

type Rep EntitiesCommitteeOut Source #

Instance details

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

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

newtype CanonicalCommitteeState Source #

Constructors

CanonicalCommitteeState
Fields csCommitteeCreds ∷ Map (Credential 'ColdCommitteeRole) CanonicalCommitteeAuthorization

Instances

Instances details

Generic CanonicalCommitteeState Source #

Instance details

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

Associated Types

type Rep CanonicalCommitteeState

Instance details

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

type Rep CanonicalCommitteeState = D1 ('MetaData "CanonicalCommitteeState" "Cardano.Ledger.CanonicalState.Namespace.EntitiesCommittee.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.EntitiesCommittee.V0

Methods

showsPrec ∷ Int → CanonicalCommitteeState → ShowS #

show ∷ CanonicalCommitteeState → String #

showList ∷ [CanonicalCommitteeState] → ShowS #

Eq CanonicalCommitteeState Source #

Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.EntitiesCommittee.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.EntitiesCommittee.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.EntitiesCommittee.V0

Methods

toCanonicalCBOR ∷ proxy v → CanonicalCommitteeState → CanonicalEncoding Source #

type Rep CanonicalCommitteeState Source #

Instance details

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

type Rep CanonicalCommitteeState = D1 ('MetaData "CanonicalCommitteeState" "Cardano.Ledger.CanonicalState.Namespace.EntitiesCommittee.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.EntitiesCommittee.V0

Associated Types

type Rep CanonicalCommitteeAuthorization

Instance details

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

type Rep CanonicalCommitteeAuthorization = D1 ('MetaData "CanonicalCommitteeAuthorization" "Cardano.Ledger.CanonicalState.Namespace.EntitiesCommittee.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.EntitiesCommittee.V0

Methods

showsPrec ∷ Int → CanonicalCommitteeAuthorization → ShowS #

show ∷ CanonicalCommitteeAuthorization → String #

showList ∷ [CanonicalCommitteeAuthorization] → ShowS #

Eq CanonicalCommitteeAuthorization Source #

Instance details

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

Methods

(==) ∷ CanonicalCommitteeAuthorization → CanonicalCommitteeAuthorization → Bool #

(/=) ∷ CanonicalCommitteeAuthorization → CanonicalCommitteeAuthorization → Bool #

Ord CanonicalCommitteeAuthorization Source #

Instance details

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

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

Instance details

Defined in Cardano.Ledger.CanonicalState.Namespace.EntitiesCommittee.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.EntitiesCommittee.V0

Methods

toCanonicalCBOR ∷ proxy v → CanonicalCommitteeAuthorization → CanonicalEncoding Source #

type Rep CanonicalCommitteeAuthorization Source #

Instance details

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

type Rep CanonicalCommitteeAuthorization = D1 ('MetaData "CanonicalCommitteeAuthorization" "Cardano.Ledger.CanonicalState.Namespace.EntitiesCommittee.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 "entities/committee/v0" ~ era) ⇒ KnownNamespace "entities/committee/v0" Source #

Instance details

Associated Types

type NamespaceKey "entities/committee/v0"
Instance details Defined in Cardano.Ledger.CanonicalState.Namespace.EntitiesCommittee.V0 type NamespaceKey "entities/committee/v0" = EntitiesCommitteeIn
type NamespaceEntry "entities/committee/v0"
Instance details Defined in Cardano.Ledger.CanonicalState.Namespace.EntitiesCommittee.V0 type NamespaceEntry "entities/committee/v0" = EntitiesCommitteeOut