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

Cardano.Ledger.CanonicalState.Namespace.EntitiesAccounts.V0

Documentation

newtype EntitiesAccountsIn Source #

Constructors

EntitiesAccountsIn (Credential 'Staking) 

Instances

Instances details
Show EntitiesAccountsIn Source # 
Instance details

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

Methods

showsPrec ∷ Int → EntitiesAccountsIn → ShowS #

show ∷ EntitiesAccountsIn → String #

showList ∷ [EntitiesAccountsIn] → ShowS #

Eq EntitiesAccountsIn Source # 
Instance details

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

Methods

(==) ∷ EntitiesAccountsIn → EntitiesAccountsIn → Bool #

(/=) ∷ EntitiesAccountsIn → EntitiesAccountsIn → Bool #

Ord EntitiesAccountsIn Source # 
Instance details

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

Methods

compare ∷ EntitiesAccountsIn → EntitiesAccountsIn → Ordering #

(<) ∷ EntitiesAccountsIn → EntitiesAccountsIn → Bool #

(<=) ∷ EntitiesAccountsIn → EntitiesAccountsIn → Bool #

(>) ∷ EntitiesAccountsIn → EntitiesAccountsIn → Bool #

(>=) ∷ EntitiesAccountsIn → EntitiesAccountsIn → Bool #

max ∷ EntitiesAccountsIn → EntitiesAccountsIn → EntitiesAccountsIn #

min ∷ EntitiesAccountsIn → EntitiesAccountsIn → EntitiesAccountsIn #

IsKey EntitiesAccountsIn Source # 
Instance details

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

Methods

keySize ∷ Int Source #

packKeyM ∷ EntitiesAccountsIn → Pack b () Source #

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

newtype EntitiesAccountsOut Source #

Constructors

EntitiesAccountsOut CanonicalAccountState 

Instances

Instances details
Generic EntitiesAccountsOut Source # 
Instance details

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

Associated Types

type Rep EntitiesAccountsOut 
Instance details

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

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

Methods

from ∷ EntitiesAccountsOut → Rep EntitiesAccountsOut x #

to ∷ Rep EntitiesAccountsOut x → EntitiesAccountsOut #

Show EntitiesAccountsOut Source # 
Instance details

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

Methods

showsPrec ∷ Int → EntitiesAccountsOut → ShowS #

show ∷ EntitiesAccountsOut → String #

showList ∷ [EntitiesAccountsOut] → ShowS #

Eq EntitiesAccountsOut Source # 
Instance details

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

Methods

(==) ∷ EntitiesAccountsOut → EntitiesAccountsOut → Bool #

(/=) ∷ EntitiesAccountsOut → EntitiesAccountsOut → Bool #

FromCanonicalCBOR "entities/accounts/v0" CanonicalAccountState ⇒ FromCanonicalCBOR "entities/accounts/v0" EntitiesAccountsOut Source # 
Instance details

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

Methods

fromCanonicalCBOR ∷ CanonicalDecoder s (Versioned "entities/accounts/v0" EntitiesAccountsOut) Source #

ToCanonicalCBOR "entities/accounts/v0" CanonicalAccountState ⇒ ToCanonicalCBOR "entities/accounts/v0" EntitiesAccountsOut Source # 
Instance details

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

Methods

toCanonicalCBOR ∷ proxy "entities/accounts/v0" → EntitiesAccountsOut → CanonicalEncoding Source #

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

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

Methods

decodeEntry ∷ CanonicalDecoder s (Versioned "entities/accounts/v0" EntitiesAccountsOut) Source #

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

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

Methods

encodeEntry ∷ EntitiesAccountsOut → CanonicalEncoding Source #

type Rep EntitiesAccountsOut Source # 
Instance details

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

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

data CanonicalAccountState Source #

Constructors

CanonicalAccountState 

Fields

Instances

Instances details
Generic CanonicalAccountState Source # 
Instance details

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

Associated Types

type Rep CanonicalAccountState 
Instance details

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

type Rep CanonicalAccountState = D1 ('MetaData "CanonicalAccountState" "Cardano.Ledger.CanonicalState.Namespace.EntitiesAccounts.V0" "cardano-ledger-canonical-state-9.9.9.9-inplace" 'False) (C1 ('MetaCons "CanonicalAccountState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "casBalance") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 CanonicalCoin) :*: S1 ('MetaSel ('Just "casDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 CanonicalCoin)) :*: (S1 ('MetaSel ('Just "casDRepDelegation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe DRep)) :*: S1 ('MetaSel ('Just "casStakePoolDelegation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (KeyHash 'StakePool))))))

Methods

from ∷ CanonicalAccountState → Rep CanonicalAccountState x #

to ∷ Rep CanonicalAccountState x → CanonicalAccountState #

Show CanonicalAccountState Source # 
Instance details

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

Methods

showsPrec ∷ Int → CanonicalAccountState → ShowS #

show ∷ CanonicalAccountState → String #

showList ∷ [CanonicalAccountState] → ShowS #

Eq CanonicalAccountState Source # 
Instance details

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

Methods

(==) ∷ CanonicalAccountState → CanonicalAccountState → Bool #

(/=) ∷ CanonicalAccountState → CanonicalAccountState → Bool #

(Era era, NamespaceEra "entities/accounts/v0" ~ era) ⇒ FromCanonicalCBOR v CanonicalAccountState Source # 
Instance details

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

Methods

fromCanonicalCBOR ∷ CanonicalDecoder s (Versioned v CanonicalAccountState) Source #

(Era era, NamespaceEra "entities/accounts/v0" ~ era) ⇒ ToCanonicalCBOR "entities/accounts/v0" CanonicalAccountState Source # 
Instance details

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

Methods

toCanonicalCBOR ∷ proxy "entities/accounts/v0" → CanonicalAccountState → CanonicalEncoding Source #

type Rep CanonicalAccountState Source # 
Instance details

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

type Rep CanonicalAccountState = D1 ('MetaData "CanonicalAccountState" "Cardano.Ledger.CanonicalState.Namespace.EntitiesAccounts.V0" "cardano-ledger-canonical-state-9.9.9.9-inplace" 'False) (C1 ('MetaCons "CanonicalAccountState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "casBalance") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 CanonicalCoin) :*: S1 ('MetaSel ('Just "casDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 CanonicalCoin)) :*: (S1 ('MetaSel ('Just "casDRepDelegation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe DRep)) :*: S1 ('MetaSel ('Just "casStakePoolDelegation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (KeyHash 'StakePool))))))

Orphan instances

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

Associated Types

type NamespaceKey "entities/accounts/v0" 
Instance details

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

type NamespaceKey "entities/accounts/v0" = EntitiesAccountsIn
type NamespaceEntry "entities/accounts/v0" 
Instance details

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

type NamespaceEntry "entities/accounts/v0" = EntitiesAccountsOut
(Era era, NamespaceEra v ~ era) ⇒ FromCanonicalCBOR v DRep Source # 
Instance details

Methods

fromCanonicalCBOR ∷ CanonicalDecoder s (Versioned v DRep) Source #

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

Methods

toCanonicalCBOR ∷ proxy v → DRep → CanonicalEncoding Source #