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

Cardano.Ledger.CanonicalState.Namespace.GovPParams.V0

Documentation

data GovPParamsIn Source #

Constructors

GovPParamsInPrev 
GovPParamsInCurr 
GovPParamsInPossibleFuture 
GovPParamsInDefiniteFuture 

Instances

Instances details
Bounded GovPParamsIn Source # 
Instance details

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

Methods

minBound ∷ GovPParamsIn #

maxBound ∷ GovPParamsIn #

Enum GovPParamsIn Source # 
Instance details

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

Methods

succ ∷ GovPParamsIn → GovPParamsIn #

pred ∷ GovPParamsIn → GovPParamsIn #

toEnum ∷ Int → GovPParamsIn #

fromEnum ∷ GovPParamsIn → Int #

enumFrom ∷ GovPParamsIn → [GovPParamsIn] #

enumFromThen ∷ GovPParamsIn → GovPParamsIn → [GovPParamsIn] #

enumFromTo ∷ GovPParamsIn → GovPParamsIn → [GovPParamsIn] #

enumFromThenTo ∷ GovPParamsIn → GovPParamsIn → GovPParamsIn → [GovPParamsIn] #

Generic GovPParamsIn Source # 
Instance details

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

Associated Types

type Rep GovPParamsIn 
Instance details

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

type Rep GovPParamsIn = D1 ('MetaData "GovPParamsIn" "Cardano.Ledger.CanonicalState.Namespace.GovPParams.V0" "cardano-ledger-canonical-state-9.9.9.9-inplace" 'False) ((C1 ('MetaCons "GovPParamsInPrev" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "GovPParamsInCurr" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "GovPParamsInPossibleFuture" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "GovPParamsInDefiniteFuture" 'PrefixI 'False) (U1 ∷ Type → Type)))

Methods

from ∷ GovPParamsIn → Rep GovPParamsIn x #

to ∷ Rep GovPParamsIn x → GovPParamsIn #

Show GovPParamsIn Source # 
Instance details

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

Methods

showsPrec ∷ Int → GovPParamsIn → ShowS #

show ∷ GovPParamsIn → String #

showList ∷ [GovPParamsIn] → ShowS #

Eq GovPParamsIn Source # 
Instance details

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

Methods

(==) ∷ GovPParamsIn → GovPParamsIn → Bool #

(/=) ∷ GovPParamsIn → GovPParamsIn → Bool #

Ord GovPParamsIn Source # 
Instance details

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

Methods

compare ∷ GovPParamsIn → GovPParamsIn → Ordering #

(<) ∷ GovPParamsIn → GovPParamsIn → Bool #

(<=) ∷ GovPParamsIn → GovPParamsIn → Bool #

(>) ∷ GovPParamsIn → GovPParamsIn → Bool #

(>=) ∷ GovPParamsIn → GovPParamsIn → Bool #

max ∷ GovPParamsIn → GovPParamsIn → GovPParamsIn #

min ∷ GovPParamsIn → GovPParamsIn → GovPParamsIn #

IsKey GovPParamsIn Source # 
Instance details

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

Methods

keySize ∷ Int Source #

packKeyM ∷ GovPParamsIn → Pack b () Source #

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

type Rep GovPParamsIn Source # 
Instance details

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

type Rep GovPParamsIn = D1 ('MetaData "GovPParamsIn" "Cardano.Ledger.CanonicalState.Namespace.GovPParams.V0" "cardano-ledger-canonical-state-9.9.9.9-inplace" 'False) ((C1 ('MetaCons "GovPParamsInPrev" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "GovPParamsInCurr" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "GovPParamsInPossibleFuture" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "GovPParamsInDefiniteFuture" 'PrefixI 'False) (U1 ∷ Type → Type)))

newtype GovPParamsOut era Source #

Constructors

GovPParamsOut (PParams era) 

Instances

Instances details
(NamespaceEra "gov/pparams/v0" ~ era, Era era, ToCanonicalCBOR "gov/pparams/v0" (PParams era)) ⇒ CanonicalCBOREntryEncoder "gov/pparams/v0" (GovPParamsOut era) Source # 
Instance details

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

Methods

encodeEntry ∷ GovPParamsOut era → CanonicalEncoding Source #

FromCanonicalCBOR "gov/pparams/v0" (PParams era) ⇒ FromCanonicalCBOR "gov/pparams/v0" (GovPParamsOut era) Source # 
Instance details

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

Methods

fromCanonicalCBOR ∷ CanonicalDecoder s (Versioned "gov/pparams/v0" (GovPParamsOut era)) Source #

ToCanonicalCBOR "gov/pparams/v0" (PParams era) ⇒ ToCanonicalCBOR "gov/pparams/v0" (GovPParamsOut era) Source # 
Instance details

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

Methods

toCanonicalCBOR ∷ proxy "gov/pparams/v0" → GovPParamsOut era → CanonicalEncoding Source #

(NamespaceEra "gov/pparams/v0" ~ era, Era era, FromCanonicalCBOR "gov/pparams/v0" (PParams era)) ⇒ CanonicalCBOREntryDecoder "gov/pparams/v0" (GovPParamsOut era) Source # 
Instance details

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

Methods

decodeEntry ∷ CanonicalDecoder s (Versioned "gov/pparams/v0" (GovPParamsOut era)) Source #

Generic (GovPParamsOut era) Source # 
Instance details

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

Associated Types

type Rep (GovPParamsOut era) 
Instance details

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

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

Methods

from ∷ GovPParamsOut era → Rep (GovPParamsOut era) x #

to ∷ Rep (GovPParamsOut era) x → GovPParamsOut era #

Show (PParams era) ⇒ Show (GovPParamsOut era) Source # 
Instance details

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

Methods

showsPrec ∷ Int → GovPParamsOut era → ShowS #

show ∷ GovPParamsOut era → String #

showList ∷ [GovPParamsOut era] → ShowS #

Eq (PParams era) ⇒ Eq (GovPParamsOut era) Source # 
Instance details

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

Methods

(==) ∷ GovPParamsOut era → GovPParamsOut era → Bool #

(/=) ∷ GovPParamsOut era → GovPParamsOut era → Bool #

type Rep (GovPParamsOut era) Source # 
Instance details

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

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

data CanonicalPrices Source #

Constructors

CanonicalPrices 

Fields

Instances

Instances details
Generic CanonicalPrices Source # 
Instance details

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

Associated Types

type Rep CanonicalPrices 
Instance details

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

type Rep CanonicalPrices = D1 ('MetaData "CanonicalPrices" "Cardano.Ledger.CanonicalState.Namespace.GovPParams.V0" "cardano-ledger-canonical-state-9.9.9.9-inplace" 'False) (C1 ('MetaCons "CanonicalPrices" 'PrefixI 'True) (S1 ('MetaSel ('Just "prMem") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NonNegativeInterval) :*: S1 ('MetaSel ('Just "prSteps") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NonNegativeInterval)))

Methods

from ∷ CanonicalPrices → Rep CanonicalPrices x #

to ∷ Rep CanonicalPrices x → CanonicalPrices #

Show CanonicalPrices Source # 
Instance details

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

Methods

showsPrec ∷ Int → CanonicalPrices → ShowS #

show ∷ CanonicalPrices → String #

showList ∷ [CanonicalPrices] → ShowS #

Eq CanonicalPrices Source # 
Instance details

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

Methods

(==) ∷ CanonicalPrices → CanonicalPrices → Bool #

(/=) ∷ CanonicalPrices → CanonicalPrices → Bool #

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

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

Methods

fromCanonicalCBOR ∷ CanonicalDecoder s (Versioned v CanonicalPrices) Source #

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

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

Methods

toCanonicalCBOR ∷ proxy v → CanonicalPrices → CanonicalEncoding Source #

type Rep CanonicalPrices Source # 
Instance details

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

type Rep CanonicalPrices = D1 ('MetaData "CanonicalPrices" "Cardano.Ledger.CanonicalState.Namespace.GovPParams.V0" "cardano-ledger-canonical-state-9.9.9.9-inplace" 'False) (C1 ('MetaCons "CanonicalPrices" 'PrefixI 'True) (S1 ('MetaSel ('Just "prMem") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NonNegativeInterval) :*: S1 ('MetaSel ('Just "prSteps") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NonNegativeInterval)))

mkCanonicalPrices ∷ Prices → CanonicalPrices Source #

fromCanonicalPrices ∷ CanonicalPrices → Prices Source #

Orphan instances

(NamespaceEra "gov/pparams/v0" ~ era, Era era, FromCanonicalCBOR "gov/pparams/v0" (PParams era), ToCanonicalCBOR "gov/pparams/v0" (PParams era)) ⇒ KnownNamespace "gov/pparams/v0" Source # 
Instance details

Associated Types

type NamespaceKey "gov/pparams/v0" 
Instance details

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

type NamespaceKey "gov/pparams/v0" = GovPParamsIn
type NamespaceEntry "gov/pparams/v0" 
Instance details

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

type NamespaceEntry "gov/pparams/v0" = GovPParamsOut (NamespaceEra "gov/pparams/v0")
FromCanonicalCBOR v CostModels Source # 
Instance details

Methods

fromCanonicalCBOR ∷ CanonicalDecoder s (Versioned v CostModels) Source #

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

Methods

fromCanonicalCBOR ∷ CanonicalDecoder s (Versioned v Language) Source #

ToCanonicalCBOR v CostModels Source # 
Instance details

Methods

toCanonicalCBOR ∷ proxy v → CostModels → CanonicalEncoding Source #

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

Methods

toCanonicalCBOR ∷ proxy v → Language → CanonicalEncoding Source #