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

Cardano.Ledger.CanonicalState.Namespace.EntitiesDReps.V0

Documentation

newtype EntitiesDRepsIn Source #

Constructors

EntitiesDRepsIn (Credential 'DRepRole) 

Instances

Instances details
Show EntitiesDRepsIn Source # 
Instance details

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

Methods

showsPrec ∷ Int → EntitiesDRepsIn → ShowS #

show ∷ EntitiesDRepsIn → String #

showList ∷ [EntitiesDRepsIn] → ShowS #

Eq EntitiesDRepsIn Source # 
Instance details

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

Methods

(==) ∷ EntitiesDRepsIn → EntitiesDRepsIn → Bool #

(/=) ∷ EntitiesDRepsIn → EntitiesDRepsIn → Bool #

Ord EntitiesDRepsIn Source # 
Instance details

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

Methods

compare ∷ EntitiesDRepsIn → EntitiesDRepsIn → Ordering #

(<) ∷ EntitiesDRepsIn → EntitiesDRepsIn → Bool #

(<=) ∷ EntitiesDRepsIn → EntitiesDRepsIn → Bool #

(>) ∷ EntitiesDRepsIn → EntitiesDRepsIn → Bool #

(>=) ∷ EntitiesDRepsIn → EntitiesDRepsIn → Bool #

max ∷ EntitiesDRepsIn → EntitiesDRepsIn → EntitiesDRepsIn #

min ∷ EntitiesDRepsIn → EntitiesDRepsIn → EntitiesDRepsIn #

IsKey EntitiesDRepsIn Source # 
Instance details

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

Methods

keySize ∷ Int Source #

packKeyM ∷ EntitiesDRepsIn → Pack b () Source #

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

newtype EntitiesDRepsOut Source #

Constructors

EntitiesDRepsOut CanonicalDRepState 

Instances

Instances details
Generic EntitiesDRepsOut Source # 
Instance details

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

Associated Types

type Rep EntitiesDRepsOut 
Instance details

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

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

Methods

from ∷ EntitiesDRepsOut → Rep EntitiesDRepsOut x #

to ∷ Rep EntitiesDRepsOut x → EntitiesDRepsOut #

Show EntitiesDRepsOut Source # 
Instance details

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

Methods

showsPrec ∷ Int → EntitiesDRepsOut → ShowS #

show ∷ EntitiesDRepsOut → String #

showList ∷ [EntitiesDRepsOut] → ShowS #

Eq EntitiesDRepsOut Source # 
Instance details

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

Methods

(==) ∷ EntitiesDRepsOut → EntitiesDRepsOut → Bool #

(/=) ∷ EntitiesDRepsOut → EntitiesDRepsOut → Bool #

FromCanonicalCBOR "entities/dreps/v0" CanonicalDRepState ⇒ FromCanonicalCBOR "entities/dreps/v0" EntitiesDRepsOut Source # 
Instance details

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

Methods

fromCanonicalCBOR ∷ CanonicalDecoder s (Versioned "entities/dreps/v0" EntitiesDRepsOut) Source #

ToCanonicalCBOR "entities/dreps/v0" CanonicalDRepState ⇒ ToCanonicalCBOR "entities/dreps/v0" EntitiesDRepsOut Source # 
Instance details

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

Methods

toCanonicalCBOR ∷ proxy "entities/dreps/v0" → EntitiesDRepsOut → CanonicalEncoding Source #

(Era era, NamespaceEra "entities/dreps/v0" ~ era) ⇒ CanonicalCBOREntryDecoder "entities/dreps/v0" EntitiesDRepsOut Source # 
Instance details

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

Methods

decodeEntry ∷ CanonicalDecoder s (Versioned "entities/dreps/v0" EntitiesDRepsOut) Source #

(Era era, NamespaceEra "entities/dreps/v0" ~ era) ⇒ CanonicalCBOREntryEncoder "entities/dreps/v0" EntitiesDRepsOut Source # 
Instance details

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

Methods

encodeEntry ∷ EntitiesDRepsOut → CanonicalEncoding Source #

type Rep EntitiesDRepsOut Source # 
Instance details

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

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

data CanonicalDRepState Source #

Constructors

CanonicalDRepState 

Fields

Instances

Instances details
Generic CanonicalDRepState Source # 
Instance details

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

Associated Types

type Rep CanonicalDRepState 
Instance details

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

type Rep CanonicalDRepState = D1 ('MetaData "CanonicalDRepState" "Cardano.Ledger.CanonicalState.Namespace.EntitiesDReps.V0" "cardano-ledger-canonical-state-9.9.9.9-inplace" 'False) (C1 ('MetaCons "CanonicalDRepState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "cdsExpiry") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo) :*: S1 ('MetaSel ('Just "cdsAnchor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Anchor))) :*: (S1 ('MetaSel ('Just "cdsDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 CanonicalCoin) :*: S1 ('MetaSel ('Just "cdsDelegations") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (Credential 'Staking))))))

Methods

from ∷ CanonicalDRepState → Rep CanonicalDRepState x #

to ∷ Rep CanonicalDRepState x → CanonicalDRepState #

Show CanonicalDRepState Source # 
Instance details

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

Methods

showsPrec ∷ Int → CanonicalDRepState → ShowS #

show ∷ CanonicalDRepState → String #

showList ∷ [CanonicalDRepState] → ShowS #

Eq CanonicalDRepState Source # 
Instance details

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

Methods

(==) ∷ CanonicalDRepState → CanonicalDRepState → Bool #

(/=) ∷ CanonicalDRepState → CanonicalDRepState → Bool #

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

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

Methods

fromCanonicalCBOR ∷ CanonicalDecoder s (Versioned v CanonicalDRepState) Source #

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

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

Methods

toCanonicalCBOR ∷ proxy v → CanonicalDRepState → CanonicalEncoding Source #

type Rep CanonicalDRepState Source # 
Instance details

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

type Rep CanonicalDRepState = D1 ('MetaData "CanonicalDRepState" "Cardano.Ledger.CanonicalState.Namespace.EntitiesDReps.V0" "cardano-ledger-canonical-state-9.9.9.9-inplace" 'False) (C1 ('MetaCons "CanonicalDRepState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "cdsExpiry") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo) :*: S1 ('MetaSel ('Just "cdsAnchor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Anchor))) :*: (S1 ('MetaSel ('Just "cdsDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 CanonicalCoin) :*: S1 ('MetaSel ('Just "cdsDelegations") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (Credential 'Staking))))))

mkCanonicalDRepState ∷ DRepState → CanonicalDRepState Source #

fromCanonicalDRepState ∷ CanonicalDRepState → DRepState Source #

Orphan instances

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

Associated Types

type NamespaceKey "entities/dreps/v0" 
Instance details

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

type NamespaceKey "entities/dreps/v0" = EntitiesDRepsIn
type NamespaceEntry "entities/dreps/v0" 
Instance details

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

type NamespaceEntry "entities/dreps/v0" = EntitiesDRepsOut