cardano-ledger-test-9.9.9.9: Testing harness, tests and benchmarks for Shelley style cardano ledgers
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Constrained.Conway.Instances.Basic

Description

This module provides HasSpec and HasSimpleRep instances for Basic types. A type is Basic if it is used to define PParams. See Test.Cardano.Ledger.Constrained.Conway.SimplePParams We divide these HasSpec and HasSimpleRep instances into two files because SimplePParams, needs these instances but not the 100's of other ones defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger And too many instances causes GHC 8.10.7 to blow up.

Synopsis

Documentation

cSJust_ ∷ (HasSpec fn a, IsNormalType a) ⇒ Term fn a → Term fn (StrictMaybe a) Source #

data SimplePParams era Source #

Use this as the SimpleRep of (PParams era). It is polymorphic enough to encode PParams in EVERY Era. The EraPParams instances remove the fields that do not appear in that Era.

Instances

Instances details
(EraSpecPParams era, Reflect era, BaseUniverse fn) ⇒ HasSpec fn (SimplePParams era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic

Associated Types

type TypeSpec fn (SimplePParams era) Source #

type Prerequisites fn (SimplePParams era) Source #

Generic (SimplePParams era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic

Associated Types

type Rep (SimplePParams era) ∷ TypeType Source #

Methods

fromSimplePParams era → Rep (SimplePParams era) x Source #

toRep (SimplePParams era) x → SimplePParams era Source #

(EraSpecPParams era, Reflect era) ⇒ Show (SimplePParams era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic

HasSimpleRep (SimplePParams era) Source #

Use then generic HasSimpleRep and HasSpec instances for SimplePParams

Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic

Associated Types

type SimpleRep (SimplePParams era) Source #

type TheSop (SimplePParams era) ∷ [Type] Source #

Eq (SimplePParams era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic

Methods

(==)SimplePParams era → SimplePParams era → Bool Source #

(/=)SimplePParams era → SimplePParams era → Bool Source #

type Prerequisites fn (SimplePParams era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic

type Prerequisites fn (SimplePParams era) = ()
type TypeSpec fn (SimplePParams era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic

type Rep (SimplePParams era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic

type Rep (SimplePParams era) = D1 ('MetaData "SimplePParams" "Test.Cardano.Ledger.Constrained.Conway.Instances.Basic" "cardano-ledger-test-9.9.9.9-inplace" 'False) (C1 ('MetaCons "SimplePParams" 'PrefixI 'True) (((((S1 ('MetaSel ('Just "minFeeA") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin) :*: S1 ('MetaSel ('Just "minFeeB") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)) :*: (S1 ('MetaSel ('Just "maxBBSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32) :*: S1 ('MetaSel ('Just "maxTxSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32))) :*: ((S1 ('MetaSel ('Just "maxBHSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32) :*: S1 ('MetaSel ('Just "keyDeposit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)) :*: (S1 ('MetaSel ('Just "poolDeposit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin) :*: S1 ('MetaSel ('Just "eMax") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochInterval)))) :*: (((S1 ('MetaSel ('Just "nOpt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural) :*: S1 ('MetaSel ('Just "a0") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NonNegativeInterval)) :*: (S1 ('MetaSel ('Just "rho") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnitInterval) :*: S1 ('MetaSel ('Just "tau") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnitInterval))) :*: ((S1 ('MetaSel ('Just "decentral") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnitInterval) :*: S1 ('MetaSel ('Just "protocolVersion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProtVer)) :*: (S1 ('MetaSel ('Just "minUTxOValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin) :*: (S1 ('MetaSel ('Just "minPoolCost") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin) :*: S1 ('MetaSel ('Just "coinsPerUTxOWord") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)))))) :*: ((((S1 ('MetaSel ('Just "costModels") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostModels) :*: S1 ('MetaSel ('Just "prices") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Prices)) :*: (S1 ('MetaSel ('Just "maxTxExUnits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExUnits) :*: S1 ('MetaSel ('Just "maxBlockExUnits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExUnits))) :*: ((S1 ('MetaSel ('Just "maxValSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural) :*: S1 ('MetaSel ('Just "collateralPercentage") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural)) :*: (S1 ('MetaSel ('Just "maxCollateralInputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural) :*: S1 ('MetaSel ('Just "coinsPerUTxOByte") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)))) :*: (((S1 ('MetaSel ('Just "poolVotingThresholds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PoolVotingThresholds) :*: S1 ('MetaSel ('Just "drepVotingThresholds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DRepVotingThresholds)) :*: (S1 ('MetaSel ('Just "committeeMinSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural) :*: S1 ('MetaSel ('Just "committeeMaxTermLength") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochInterval))) :*: ((S1 ('MetaSel ('Just "govActionLifetime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochInterval) :*: S1 ('MetaSel ('Just "govActionDeposit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)) :*: (S1 ('MetaSel ('Just "dRepDeposit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin) :*: (S1 ('MetaSel ('Just "dRepActivity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochInterval) :*: S1 ('MetaSel ('Just "minFeeRefScriptCostPerByte") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NonNegativeInterval))))))))
type SimpleRep (SimplePParams era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic

type TheSop (SimplePParams era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic

data SimplePPUpdate Source #

Use this as the SimpleRep of (PParamsUpdate era)

Instances

Instances details
Generic SimplePPUpdate Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic

Associated Types

type Rep SimplePPUpdateTypeType Source #

Show SimplePPUpdate Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic

HasSimpleRep SimplePPUpdate Source #

Use the generic HasSimpleRep and HasSpec instances for SimplePParams

Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic

Eq SimplePPUpdate Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic

BaseUniverse fn ⇒ HasSpec fn SimplePPUpdate Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic

type Rep SimplePPUpdate Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic

type Rep SimplePPUpdate = D1 ('MetaData "SimplePPUpdate" "Test.Cardano.Ledger.Constrained.Conway.Instances.Basic" "cardano-ledger-test-9.9.9.9-inplace" 'False) (C1 ('MetaCons "SimplePPUpdate" 'PrefixI 'True) (((((S1 ('MetaSel ('Just "uminFeeA") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Coin)) :*: S1 ('MetaSel ('Just "uminFeeB") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Coin))) :*: (S1 ('MetaSel ('Just "umaxBBSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Word32)) :*: S1 ('MetaSel ('Just "umaxTxSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Word32)))) :*: ((S1 ('MetaSel ('Just "umaxBHSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Word32)) :*: S1 ('MetaSel ('Just "ukeyDeposit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Coin))) :*: (S1 ('MetaSel ('Just "upoolDeposit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Coin)) :*: S1 ('MetaSel ('Just "ueMax") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe EpochInterval))))) :*: (((S1 ('MetaSel ('Just "unOpt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Natural)) :*: S1 ('MetaSel ('Just "ua0") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe NonNegativeInterval))) :*: (S1 ('MetaSel ('Just "urho") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe UnitInterval)) :*: S1 ('MetaSel ('Just "utau") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe UnitInterval)))) :*: ((S1 ('MetaSel ('Just "udecentral") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe UnitInterval)) :*: S1 ('MetaSel ('Just "uprotocolVersion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe ProtVer))) :*: (S1 ('MetaSel ('Just "uminUTxOValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Coin)) :*: (S1 ('MetaSel ('Just "uminPoolCost") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Coin)) :*: S1 ('MetaSel ('Just "ucoinsPerUTxOWord") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Coin))))))) :*: ((((S1 ('MetaSel ('Just "ucostModels") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe CostModels)) :*: S1 ('MetaSel ('Just "uprices") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Prices))) :*: (S1 ('MetaSel ('Just "umaxTxExUnits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe ExUnits)) :*: S1 ('MetaSel ('Just "umaxBlockExUnits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe ExUnits)))) :*: ((S1 ('MetaSel ('Just "umaxValSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Natural)) :*: S1 ('MetaSel ('Just "ucollateralPercentage") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Natural))) :*: (S1 ('MetaSel ('Just "umaxCollateralInputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Natural)) :*: S1 ('MetaSel ('Just "ucoinsPerUTxOByte") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Coin))))) :*: (((S1 ('MetaSel ('Just "upoolVotingThresholds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe PoolVotingThresholds)) :*: S1 ('MetaSel ('Just "udrepVotingThresholds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe DRepVotingThresholds))) :*: (S1 ('MetaSel ('Just "ucommitteeMinSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Natural)) :*: S1 ('MetaSel ('Just "ucommitteeMaxTermLength") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe EpochInterval)))) :*: ((S1 ('MetaSel ('Just "ugovActionLifetime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe EpochInterval)) :*: S1 ('MetaSel ('Just "ugovActionDeposit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Coin))) :*: (S1 ('MetaSel ('Just "udRepDeposit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Coin)) :*: (S1 ('MetaSel ('Just "udRepActivity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe EpochInterval)) :*: S1 ('MetaSel ('Just "uminFeeRefScriptCostPerByte") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe NonNegativeInterval)))))))))
type SimpleRep SimplePPUpdate Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic

type TheSop SimplePPUpdate Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic

type Prerequisites fn SimplePPUpdate Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic

type TypeSpec fn SimplePPUpdate Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic

class (Reflect era, Eq (PParamsHKD Identity era), Show (PParamsHKD Identity era), Eq (PParamsHKD StrictMaybe era), Show (PParamsHKD StrictMaybe era), EraPParams era) ⇒ EraSpecPParams era where Source #

Instances

Instances details
EraSpecPParams Allegra Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.PParams

EraSpecPParams Alonzo Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.PParams

EraSpecPParams Babbage Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.PParams

EraSpecPParams Conway Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.PParams

EraSpecPParams Mary Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.PParams

EraSpecPParams Shelley Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.PParams

Orphan instances

Num Coin Source # 
Instance details

Methods

(+)CoinCoinCoin Source #

(-)CoinCoinCoin Source #

(*)CoinCoinCoin Source #

negateCoinCoin Source #

absCoinCoin Source #

signumCoinCoin Source #

fromIntegerIntegerCoin Source #

HasSimpleRep OrdExUnits Source # 
Instance details

Associated Types

type SimpleRep OrdExUnits Source #

type TheSop OrdExUnits ∷ [Type] Source #

HasSimpleRep Version Source # 
Instance details

Associated Types

type SimpleRep Version Source #

type TheSop Version ∷ [Type] Source #

HasSimpleRep DRepVotingThresholds Source # 
Instance details

HasSimpleRep PoolVotingThresholds Source # 
Instance details

HasSimpleRep ProtVer Source # 
Instance details

Associated Types

type SimpleRep ProtVer Source #

type TheSop ProtVer ∷ [Type] Source #

HasSimpleRep Coin Source # 
Instance details

Associated Types

type SimpleRep Coin Source #

type TheSop Coin ∷ [Type] Source #

HasSimpleRep CostModels Source # 
Instance details

Associated Types

type SimpleRep CostModels Source #

type TheSop CostModels ∷ [Type] Source #

HasSimpleRep ExUnits Source # 
Instance details

Associated Types

type SimpleRep ExUnits Source #

type TheSop ExUnits ∷ [Type] Source #

HasSimpleRep Prices Source # 
Instance details

Associated Types

type SimpleRep Prices Source #

type TheSop Prices ∷ [Type] Source #

HasSimpleRep EpochInterval Source # 
Instance details

BaseUniverse fn ⇒ Foldy fn Coin Source # 
Instance details

Methods

genList ∷ ∀ (m ∷ TypeType). (BaseUniverse fn, MonadGenError m) ⇒ Specification fn CoinSpecification fn CoinGenT m [Coin] Source #

theAddFn ∷ fn '[Coin, Coin] Coin Source #

theZeroCoin Source #

BaseUniverse fn ⇒ HasSpec fn OrdExUnits Source # 
Instance details

Associated Types

type TypeSpec fn OrdExUnits Source #

type Prerequisites fn OrdExUnits Source #

BaseUniverse fn ⇒ HasSpec fn Version Source # 
Instance details

Associated Types

type TypeSpec fn Version Source #

type Prerequisites fn Version Source #

BaseUniverse fn ⇒ HasSpec fn DRepVotingThresholds Source # 
Instance details

BaseUniverse fn ⇒ HasSpec fn PoolVotingThresholds Source # 
Instance details

BaseUniverse fn ⇒ HasSpec fn NonNegativeInterval Source # 
Instance details

BaseUniverse fn ⇒ HasSpec fn ProtVer Source # 
Instance details

Associated Types

type TypeSpec fn ProtVer Source #

type Prerequisites fn ProtVer Source #

BaseUniverse fn ⇒ HasSpec fn UnitInterval Source # 
Instance details

BaseUniverse fn ⇒ HasSpec fn Coin Source # 
Instance details

Associated Types

type TypeSpec fn Coin Source #

type Prerequisites fn Coin Source #

BaseUniverse fn ⇒ HasSpec fn CostModels Source # 
Instance details

Associated Types

type TypeSpec fn CostModels Source #

type Prerequisites fn CostModels Source #

BaseUniverse fn ⇒ HasSpec fn ExUnits Source # 
Instance details

Associated Types

type TypeSpec fn ExUnits Source #

type Prerequisites fn ExUnits Source #

BaseUniverse fn ⇒ HasSpec fn Prices Source # 
Instance details

Associated Types

type TypeSpec fn Prices Source #

type Prerequisites fn Prices Source #

BaseUniverse fn ⇒ HasSpec fn EpochInterval Source # 
Instance details

BaseUniverse fn ⇒ NumLike fn Coin Source # 
Instance details

BaseUniverse fn ⇒ OrdLike fn Version Source # 
Instance details

BaseUniverse fn ⇒ OrdLike fn Coin Source # 
Instance details

BaseUniverse fn ⇒ OrdLike fn EpochInterval Source # 
Instance details

(BaseUniverse fn, EraSpecPParams era, HasSpec fn Coin) ⇒ HasSpec fn (PParams era) Source #

HasSpec instance for PParams

Instance details

Associated Types

type TypeSpec fn (PParams era) Source #

type Prerequisites fn (PParams era) Source #

(BaseUniverse fn, EraSpecPParams era) ⇒ HasSpec fn (PParamsUpdate era) Source #

HasSpec instance for PParams

Instance details

Associated Types

type TypeSpec fn (PParamsUpdate era) Source #

type Prerequisites fn (PParamsUpdate era) Source #

(EraSpecPParams era, BaseUniverse fn) ⇒ HasSpec fn (FuturePParams era) Source # 
Instance details

Associated Types

type TypeSpec fn (FuturePParams era) Source #

type Prerequisites fn (FuturePParams era) Source #

(EraSpecPParams era, BaseUniverse fn) ⇒ HasSpec fn (ProposedPPUpdates era) Source # 
Instance details

Associated Types

type TypeSpec fn (ProposedPPUpdates era) Source #

type Prerequisites fn (ProposedPPUpdates era) Source #

(HasSpec fn a, IsNormalType a) ⇒ HasSpec fn (StrictMaybe a) Source # 
Instance details

Associated Types

type TypeSpec fn (StrictMaybe a) Source #

type Prerequisites fn (StrictMaybe a) Source #

(BaseUniverse fn, Typeable r, Crypto c) ⇒ HasSpec fn (KeyHash r c) Source # 
Instance details

Associated Types

type TypeSpec fn (KeyHash r c) Source #

type Prerequisites fn (KeyHash r c) Source #

EraSpecPParams era ⇒ HasSimpleRep (PParams era) Source #

SimpleRep instance for PParams

Instance details

Associated Types

type SimpleRep (PParams era) Source #

type TheSop (PParams era) ∷ [Type] Source #

EraSpecPParams era ⇒ HasSimpleRep (PParamsUpdate era) Source #

SimpleRep instance for PParamsUpdate

Instance details

Associated Types

type SimpleRep (PParamsUpdate era) Source #

type TheSop (PParamsUpdate era) ∷ [Type] Source #

EraSpecPParams era ⇒ HasSimpleRep (FuturePParams era) Source # 
Instance details

Associated Types

type SimpleRep (FuturePParams era) Source #

type TheSop (FuturePParams era) ∷ [Type] Source #

EraSpecPParams era ⇒ HasSimpleRep (ProposedPPUpdates era) Source # 
Instance details

Associated Types

type SimpleRep (ProposedPPUpdates era) Source #

type TheSop (ProposedPPUpdates era) ∷ [Type] Source #

HasSimpleRep (StrictMaybe a) Source # 
Instance details

Associated Types

type SimpleRep (StrictMaybe a) Source #

type TheSop (StrictMaybe a) ∷ [Type] Source #