Safe Haskell	Safe-Inferred
Language	Haskell2010

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

Contents

Orphan instances

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

cSNothing_ ∷ (HasSpec a, IsNormalType a) ⇒ Term (StrictMaybe a)
cSJust_ ∷ (HasSpec a, IsNormalType a) ⇒ Term a → Term (StrictMaybe a)
succV_ ∷ Term Version → Term Version
makePrices ∷ Integer → Integer → Prices
makeUnitInterval ∷ Integer → Integer → UnitInterval
makeNonNegativeInterval ∷ Integer → Integer → NonNegativeInterval
data SimplePParams era = SimplePParams {
- minFeeA ∷ Coin
- minFeeB ∷ Coin
- maxBBSize ∷ Word32
- maxTxSize ∷ Word32
- maxBHSize ∷ Word32
- keyDeposit ∷ Coin
- poolDeposit ∷ Coin
- eMax ∷ EpochInterval
- nOpt ∷ Word16
- a0 ∷ NonNegativeInterval
- rho ∷ UnitInterval
- tau ∷ UnitInterval
- decentral ∷ UnitInterval
- protocolVersion ∷ ProtVer
- minUTxOValue ∷ Coin
- minPoolCost ∷ Coin
- coinsPerUTxOWord ∷ Coin
- costModels ∷ CostModels
- prices ∷ Prices
- maxTxExUnits ∷ ExUnits
- maxBlockExUnits ∷ ExUnits
- maxValSize ∷ Natural
- collateralPercentage ∷ Natural
- maxCollateralInputs ∷ Natural
- coinsPerUTxOByte ∷ Coin
- poolVotingThresholds ∷ PoolVotingThresholds
- drepVotingThresholds ∷ DRepVotingThresholds
- committeeMinSize ∷ Natural
- committeeMaxTermLength ∷ EpochInterval
- govActionLifetime ∷ EpochInterval
- govActionDeposit ∷ Coin
- dRepDeposit ∷ Coin
- dRepActivity ∷ EpochInterval
- minFeeRefScriptCostPerByte ∷ NonNegativeInterval
}
data SimplePPUpdate = SimplePPUpdate {
- uminFeeA ∷ StrictMaybe Coin
- uminFeeB ∷ StrictMaybe Coin
- umaxBBSize ∷ StrictMaybe Word32
- umaxTxSize ∷ StrictMaybe Word32
- umaxBHSize ∷ StrictMaybe Word32
- ukeyDeposit ∷ StrictMaybe Coin
- upoolDeposit ∷ StrictMaybe Coin
- ueMax ∷ StrictMaybe EpochInterval
- unOpt ∷ StrictMaybe Word16
- ua0 ∷ StrictMaybe NonNegativeInterval
- urho ∷ StrictMaybe UnitInterval
- utau ∷ StrictMaybe UnitInterval
- udecentral ∷ StrictMaybe UnitInterval
- uprotocolVersion ∷ StrictMaybe ProtVer
- uminUTxOValue ∷ StrictMaybe Coin
- uminPoolCost ∷ StrictMaybe Coin
- ucoinsPerUTxOWord ∷ StrictMaybe Coin
- ucostModels ∷ StrictMaybe CostModels
- uprices ∷ StrictMaybe Prices
- umaxTxExUnits ∷ StrictMaybe ExUnits
- umaxBlockExUnits ∷ StrictMaybe ExUnits
- umaxValSize ∷ StrictMaybe Natural
- ucollateralPercentage ∷ StrictMaybe Natural
- umaxCollateralInputs ∷ StrictMaybe Natural
- ucoinsPerUTxOByte ∷ StrictMaybe Coin
- upoolVotingThresholds ∷ StrictMaybe PoolVotingThresholds
- udrepVotingThresholds ∷ StrictMaybe DRepVotingThresholds
- ucommitteeMinSize ∷ StrictMaybe Natural
- ucommitteeMaxTermLength ∷ StrictMaybe EpochInterval
- ugovActionLifetime ∷ StrictMaybe EpochInterval
- ugovActionDeposit ∷ StrictMaybe Coin
- udRepDeposit ∷ StrictMaybe Coin
- udRepActivity ∷ StrictMaybe EpochInterval
- uminFeeRefScriptCostPerByte ∷ StrictMaybe NonNegativeInterval
}
class (Eq (PParamsHKD Identity era), Show (PParamsHKD Identity era), Eq (PParamsHKD StrictMaybe era), Show (PParamsHKD StrictMaybe era), EraPParams era, EraTxOut era, EraGov era, EraTx era) ⇒ EraSpecPParams era where
- subsetToPP ∷ SimplePParams era → PParams era
- ppToSubset ∷ PParams era → SimplePParams era
- updateToPPU ∷ SimplePPUpdate → PParamsUpdate era
- ppuToUpdate ∷ PParamsUpdate era → SimplePPUpdate
prettyE ∷ ToExpr x ⇒ x → Doc

Documentation

cSNothing_ ∷ (HasSpec a, IsNormalType a) ⇒ Term (StrictMaybe a) Source #

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

succV_ ∷ Term Version → Term Version Source #

makePrices ∷ Integer → Integer → Prices Source #

makeUnitInterval ∷ Integer → Integer → UnitInterval Source #

makeNonNegativeInterval ∷ Integer → Integer → NonNegativeInterval 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.

Constructors

SimplePParams

Fields

minFeeA ∷ Coin
minFeeB ∷ Coin
maxBBSize ∷ Word32
maxTxSize ∷ Word32
maxBHSize ∷ Word32
keyDeposit ∷ Coin
poolDeposit ∷ Coin
eMax ∷ EpochInterval
nOpt ∷ Word16
a0 ∷ NonNegativeInterval
rho ∷ UnitInterval
tau ∷ UnitInterval
decentral ∷ UnitInterval
protocolVersion ∷ ProtVer
minUTxOValue ∷ Coin
minPoolCost ∷ Coin
Alonzo
coinsPerUTxOWord ∷ Coin
costModels ∷ CostModels
prices ∷ Prices
maxTxExUnits ∷ ExUnits
maxBlockExUnits ∷ ExUnits
maxValSize ∷ Natural
collateralPercentage ∷ Natural
maxCollateralInputs ∷ Natural
Babbage
coinsPerUTxOByte ∷ Coin
Conway
poolVotingThresholds ∷ PoolVotingThresholds
drepVotingThresholds ∷ DRepVotingThresholds
committeeMinSize ∷ Natural
committeeMaxTermLength ∷ EpochInterval
govActionLifetime ∷ EpochInterval
govActionDeposit ∷ Coin
dRepDeposit ∷ Coin
dRepActivity ∷ EpochInterval
minFeeRefScriptCostPerByte ∷ NonNegativeInterval

Instances

Instances details

Generic (SimplePParams era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic Associated Types type Rep (SimplePParams era) ∷ Type → Type # Methods from ∷ SimplePParams era → Rep (SimplePParams era) x # to ∷ Rep (SimplePParams era) x → SimplePParams era #
(EraSpecPParams era, EraGov era, EraTxOut era) ⇒ Show (SimplePParams era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic Methods showsPrec ∷ Int → SimplePParams era → ShowS # show ∷ SimplePParams era → String # showList ∷ [SimplePParams era] → ShowS #
(EraSpecPParams era, EraGov era, EraTxOut era) ⇒ HasSpec (SimplePParams era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic Associated Types type TypeSpec (SimplePParams era) Source # type Prerequisites (SimplePParams era) Source # Methods emptySpec ∷ TypeSpec (SimplePParams era) Source # combineSpec ∷ TypeSpec (SimplePParams era) → TypeSpec (SimplePParams era) → Specification (SimplePParams era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (SimplePParams era) → GenT m (SimplePParams era) Source # conformsTo ∷ SimplePParams era → TypeSpec (SimplePParams era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (SimplePParams era) → SimplePParams era → [SimplePParams era] Source # toPreds ∷ Term (SimplePParams era) → TypeSpec (SimplePParams era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (SimplePParams era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (SimplePParams era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (SimplePParams era) → BinaryShow Source # monadConformsTo ∷ SimplePParams era → TypeSpec (SimplePParams era) → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec (SimplePParams era) → [SimplePParams era] → Specification (SimplePParams era) Source # guardTypeSpec ∷ [String] → TypeSpec (SimplePParams era) → Specification (SimplePParams era) Source # prerequisites ∷ Evidence (Prerequisites (SimplePParams era)) Source #
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 # Methods toSimpleRep ∷ SimplePParams era → SimpleRep (SimplePParams era) Source # fromSimpleRep ∷ SimpleRep (SimplePParams era) → SimplePParams era Source #
Eq (SimplePParams era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic Methods (==) ∷ SimplePParams era → SimplePParams era → Bool # (/=) ∷ SimplePParams era → SimplePParams era → Bool #
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 Word16) :: 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 Prerequisites (SimplePParams era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic type Prerequisites (SimplePParams era) = ()
type TypeSpec (SimplePParams era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic type TypeSpec (SimplePParams era) = TypeSpec (SimpleRep (SimplePParams era))
type SimpleRep (SimplePParams era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic type SimpleRep (SimplePParams era) = SOP (TheSop (SimplePParams era))
type TheSop (SimplePParams era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic type TheSop (SimplePParams era) = SOPOf (Rep (SimplePParams era))

data SimplePPUpdate Source #

Use this as the SimpleRep of (PParamsUpdate era)

Constructors

SimplePPUpdate

Fields

uminFeeA ∷ StrictMaybe Coin
uminFeeB ∷ StrictMaybe Coin
umaxBBSize ∷ StrictMaybe Word32
umaxTxSize ∷ StrictMaybe Word32
umaxBHSize ∷ StrictMaybe Word32
ukeyDeposit ∷ StrictMaybe Coin
upoolDeposit ∷ StrictMaybe Coin
ueMax ∷ StrictMaybe EpochInterval
unOpt ∷ StrictMaybe Word16
ua0 ∷ StrictMaybe NonNegativeInterval
urho ∷ StrictMaybe UnitInterval
utau ∷ StrictMaybe UnitInterval
udecentral ∷ StrictMaybe UnitInterval
uprotocolVersion ∷ StrictMaybe ProtVer
uminUTxOValue ∷ StrictMaybe Coin
uminPoolCost ∷ StrictMaybe Coin
ucoinsPerUTxOWord ∷ StrictMaybe Coin
ucostModels ∷ StrictMaybe CostModels
uprices ∷ StrictMaybe Prices
umaxTxExUnits ∷ StrictMaybe ExUnits
umaxBlockExUnits ∷ StrictMaybe ExUnits
umaxValSize ∷ StrictMaybe Natural
ucollateralPercentage ∷ StrictMaybe Natural
umaxCollateralInputs ∷ StrictMaybe Natural
ucoinsPerUTxOByte ∷ StrictMaybe Coin
upoolVotingThresholds ∷ StrictMaybe PoolVotingThresholds
udrepVotingThresholds ∷ StrictMaybe DRepVotingThresholds
ucommitteeMinSize ∷ StrictMaybe Natural
ucommitteeMaxTermLength ∷ StrictMaybe EpochInterval
ugovActionLifetime ∷ StrictMaybe EpochInterval
ugovActionDeposit ∷ StrictMaybe Coin
udRepDeposit ∷ StrictMaybe Coin
udRepActivity ∷ StrictMaybe EpochInterval
uminFeeRefScriptCostPerByte ∷ StrictMaybe NonNegativeInterval

Instances

Instances details

Generic SimplePPUpdate Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic Associated Types type Rep SimplePPUpdate ∷ Type → Type # Methods from ∷ SimplePPUpdate → Rep SimplePPUpdate x # to ∷ Rep SimplePPUpdate x → SimplePPUpdate #
Show SimplePPUpdate Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic Methods showsPrec ∷ Int → SimplePPUpdate → ShowS # show ∷ SimplePPUpdate → String # showList ∷ [SimplePPUpdate] → ShowS #
HasSpec SimplePPUpdate Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic Associated Types type TypeSpec SimplePPUpdate Source # type Prerequisites SimplePPUpdate Source # Methods emptySpec ∷ TypeSpec SimplePPUpdate Source # combineSpec ∷ TypeSpec SimplePPUpdate → TypeSpec SimplePPUpdate → Specification SimplePPUpdate Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec SimplePPUpdate → GenT m SimplePPUpdate Source # conformsTo ∷ SimplePPUpdate → TypeSpec SimplePPUpdate → Bool Source # shrinkWithTypeSpec ∷ TypeSpec SimplePPUpdate → SimplePPUpdate → [SimplePPUpdate] Source # toPreds ∷ Term SimplePPUpdate → TypeSpec SimplePPUpdate → Pred Source # cardinalTypeSpec ∷ TypeSpec SimplePPUpdate → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec SimplePPUpdate → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec SimplePPUpdate → BinaryShow Source # monadConformsTo ∷ SimplePPUpdate → TypeSpec SimplePPUpdate → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec SimplePPUpdate → [SimplePPUpdate] → Specification SimplePPUpdate Source # guardTypeSpec ∷ [String] → TypeSpec SimplePPUpdate → Specification SimplePPUpdate Source # prerequisites ∷ Evidence (Prerequisites SimplePPUpdate) Source #
HasSimpleRep SimplePPUpdate Source #	Use the generic HasSimpleRep and HasSpec instances for SimplePParams
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic Associated Types type SimpleRep SimplePPUpdate Source # type TheSop SimplePPUpdate ∷ [Type] Source # Methods toSimpleRep ∷ SimplePPUpdate → SimpleRep SimplePPUpdate Source # fromSimpleRep ∷ SimpleRep SimplePPUpdate → SimplePPUpdate Source #
Eq SimplePPUpdate Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic Methods (==) ∷ SimplePPUpdate → SimplePPUpdate → Bool # (/=) ∷ SimplePPUpdate → SimplePPUpdate → Bool #
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 Word16)) :: 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 Prerequisites SimplePPUpdate Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic type Prerequisites SimplePPUpdate = ()
type TypeSpec SimplePPUpdate Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic type TypeSpec SimplePPUpdate = TypeSpec (SimpleRep SimplePPUpdate)
type SimpleRep SimplePPUpdate Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic type SimpleRep SimplePPUpdate = SOP (TheSop SimplePPUpdate)
type TheSop SimplePPUpdate Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic type TheSop SimplePPUpdate = SOPOf (Rep SimplePPUpdate)

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

Methods

subsetToPP ∷ SimplePParams era → PParams era Source #

ppToSubset ∷ PParams era → SimplePParams era Source #

updateToPPU ∷ SimplePPUpdate → PParamsUpdate era Source #

ppuToUpdate ∷ PParamsUpdate era → SimplePPUpdate Source #

Instances

Instances details

EraSpecPParams AllegraEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.PParams Methods subsetToPP ∷ SimplePParams AllegraEra → PParams AllegraEra Source # ppToSubset ∷ PParams AllegraEra → SimplePParams AllegraEra Source # updateToPPU ∷ SimplePPUpdate → PParamsUpdate AllegraEra Source # ppuToUpdate ∷ PParamsUpdate AllegraEra → SimplePPUpdate Source #
EraSpecPParams AlonzoEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.PParams Methods subsetToPP ∷ SimplePParams AlonzoEra → PParams AlonzoEra Source # ppToSubset ∷ PParams AlonzoEra → SimplePParams AlonzoEra Source # updateToPPU ∷ SimplePPUpdate → PParamsUpdate AlonzoEra Source # ppuToUpdate ∷ PParamsUpdate AlonzoEra → SimplePPUpdate Source #
EraSpecPParams BabbageEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.PParams Methods subsetToPP ∷ SimplePParams BabbageEra → PParams BabbageEra Source # ppToSubset ∷ PParams BabbageEra → SimplePParams BabbageEra Source # updateToPPU ∷ SimplePPUpdate → PParamsUpdate BabbageEra Source # ppuToUpdate ∷ PParamsUpdate BabbageEra → SimplePPUpdate Source #
EraSpecPParams ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.PParams Methods subsetToPP ∷ SimplePParams ConwayEra → PParams ConwayEra Source # ppToSubset ∷ PParams ConwayEra → SimplePParams ConwayEra Source # updateToPPU ∷ SimplePPUpdate → PParamsUpdate ConwayEra Source # ppuToUpdate ∷ PParamsUpdate ConwayEra → SimplePPUpdate Source #
EraSpecPParams MaryEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.PParams Methods subsetToPP ∷ SimplePParams MaryEra → PParams MaryEra Source # ppToSubset ∷ PParams MaryEra → SimplePParams MaryEra Source # updateToPPU ∷ SimplePPUpdate → PParamsUpdate MaryEra Source # ppuToUpdate ∷ PParamsUpdate MaryEra → SimplePPUpdate Source #
EraSpecPParams ShelleyEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.PParams Methods subsetToPP ∷ SimplePParams ShelleyEra → PParams ShelleyEra Source # ppToSubset ∷ PParams ShelleyEra → SimplePParams ShelleyEra Source # updateToPPU ∷ SimplePPUpdate → PParamsUpdate ShelleyEra Source # ppuToUpdate ∷ PParamsUpdate ShelleyEra → SimplePPUpdate Source #

prettyE ∷ ToExpr x ⇒ x → Doc Source #

Orphan instances

Num Coin Source #
Instance details Methods (+) ∷ Coin → Coin → Coin # (-) ∷ Coin → Coin → Coin # (*) ∷ Coin → Coin → Coin # negate ∷ Coin → Coin # abs ∷ Coin → Coin # signum ∷ Coin → Coin # fromInteger ∷ Integer → Coin #
HasSpec OrdExUnits Source #
Instance details Associated Types type TypeSpec OrdExUnits Source # type Prerequisites OrdExUnits Source # Methods emptySpec ∷ TypeSpec OrdExUnits Source # combineSpec ∷ TypeSpec OrdExUnits → TypeSpec OrdExUnits → Specification OrdExUnits Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec OrdExUnits → GenT m OrdExUnits Source # conformsTo ∷ OrdExUnits → TypeSpec OrdExUnits → Bool Source # shrinkWithTypeSpec ∷ TypeSpec OrdExUnits → OrdExUnits → [OrdExUnits] Source # toPreds ∷ Term OrdExUnits → TypeSpec OrdExUnits → Pred Source # cardinalTypeSpec ∷ TypeSpec OrdExUnits → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec OrdExUnits → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec OrdExUnits → BinaryShow Source # monadConformsTo ∷ OrdExUnits → TypeSpec OrdExUnits → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec OrdExUnits → [OrdExUnits] → Specification OrdExUnits Source # guardTypeSpec ∷ [String] → TypeSpec OrdExUnits → Specification OrdExUnits Source # prerequisites ∷ Evidence (Prerequisites OrdExUnits) Source #
HasSpec Version Source #
Instance details Associated Types type TypeSpec Version Source # type Prerequisites Version Source # Methods emptySpec ∷ TypeSpec Version Source # combineSpec ∷ TypeSpec Version → TypeSpec Version → Specification Version Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec Version → GenT m Version Source # conformsTo ∷ Version → TypeSpec Version → Bool Source # shrinkWithTypeSpec ∷ TypeSpec Version → Version → [Version] Source # toPreds ∷ Term Version → TypeSpec Version → Pred Source # cardinalTypeSpec ∷ TypeSpec Version → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec Version → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec Version → BinaryShow Source # monadConformsTo ∷ Version → TypeSpec Version → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec Version → [Version] → Specification Version Source # guardTypeSpec ∷ [String] → TypeSpec Version → Specification Version Source # prerequisites ∷ Evidence (Prerequisites Version) Source #
HasSpec DRepVotingThresholds Source #
Instance details Associated Types type TypeSpec DRepVotingThresholds Source # type Prerequisites DRepVotingThresholds Source # Methods emptySpec ∷ TypeSpec DRepVotingThresholds Source # combineSpec ∷ TypeSpec DRepVotingThresholds → TypeSpec DRepVotingThresholds → Specification DRepVotingThresholds Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec DRepVotingThresholds → GenT m DRepVotingThresholds Source # conformsTo ∷ DRepVotingThresholds → TypeSpec DRepVotingThresholds → Bool Source # shrinkWithTypeSpec ∷ TypeSpec DRepVotingThresholds → DRepVotingThresholds → [DRepVotingThresholds] Source # toPreds ∷ Term DRepVotingThresholds → TypeSpec DRepVotingThresholds → Pred Source # cardinalTypeSpec ∷ TypeSpec DRepVotingThresholds → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec DRepVotingThresholds → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec DRepVotingThresholds → BinaryShow Source # monadConformsTo ∷ DRepVotingThresholds → TypeSpec DRepVotingThresholds → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec DRepVotingThresholds → [DRepVotingThresholds] → Specification DRepVotingThresholds Source # guardTypeSpec ∷ [String] → TypeSpec DRepVotingThresholds → Specification DRepVotingThresholds Source # prerequisites ∷ Evidence (Prerequisites DRepVotingThresholds) Source #
HasSpec PoolVotingThresholds Source #
Instance details Associated Types type TypeSpec PoolVotingThresholds Source # type Prerequisites PoolVotingThresholds Source # Methods emptySpec ∷ TypeSpec PoolVotingThresholds Source # combineSpec ∷ TypeSpec PoolVotingThresholds → TypeSpec PoolVotingThresholds → Specification PoolVotingThresholds Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec PoolVotingThresholds → GenT m PoolVotingThresholds Source # conformsTo ∷ PoolVotingThresholds → TypeSpec PoolVotingThresholds → Bool Source # shrinkWithTypeSpec ∷ TypeSpec PoolVotingThresholds → PoolVotingThresholds → [PoolVotingThresholds] Source # toPreds ∷ Term PoolVotingThresholds → TypeSpec PoolVotingThresholds → Pred Source # cardinalTypeSpec ∷ TypeSpec PoolVotingThresholds → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec PoolVotingThresholds → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec PoolVotingThresholds → BinaryShow Source # monadConformsTo ∷ PoolVotingThresholds → TypeSpec PoolVotingThresholds → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec PoolVotingThresholds → [PoolVotingThresholds] → Specification PoolVotingThresholds Source # guardTypeSpec ∷ [String] → TypeSpec PoolVotingThresholds → Specification PoolVotingThresholds Source # prerequisites ∷ Evidence (Prerequisites PoolVotingThresholds) Source #
HasSpec NonNegativeInterval Source #
Instance details Associated Types type TypeSpec NonNegativeInterval Source # type Prerequisites NonNegativeInterval Source # Methods emptySpec ∷ TypeSpec NonNegativeInterval Source # combineSpec ∷ TypeSpec NonNegativeInterval → TypeSpec NonNegativeInterval → Specification NonNegativeInterval Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec NonNegativeInterval → GenT m NonNegativeInterval Source # conformsTo ∷ NonNegativeInterval → TypeSpec NonNegativeInterval → Bool Source # shrinkWithTypeSpec ∷ TypeSpec NonNegativeInterval → NonNegativeInterval → [NonNegativeInterval] Source # toPreds ∷ Term NonNegativeInterval → TypeSpec NonNegativeInterval → Pred Source # cardinalTypeSpec ∷ TypeSpec NonNegativeInterval → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec NonNegativeInterval → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec NonNegativeInterval → BinaryShow Source # monadConformsTo ∷ NonNegativeInterval → TypeSpec NonNegativeInterval → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec NonNegativeInterval → [NonNegativeInterval] → Specification NonNegativeInterval Source # guardTypeSpec ∷ [String] → TypeSpec NonNegativeInterval → Specification NonNegativeInterval Source # prerequisites ∷ Evidence (Prerequisites NonNegativeInterval) Source #
HasSpec ProtVer Source #
Instance details Associated Types type TypeSpec ProtVer Source # type Prerequisites ProtVer Source # Methods emptySpec ∷ TypeSpec ProtVer Source # combineSpec ∷ TypeSpec ProtVer → TypeSpec ProtVer → Specification ProtVer Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec ProtVer → GenT m ProtVer Source # conformsTo ∷ ProtVer → TypeSpec ProtVer → Bool Source # shrinkWithTypeSpec ∷ TypeSpec ProtVer → ProtVer → [ProtVer] Source # toPreds ∷ Term ProtVer → TypeSpec ProtVer → Pred Source # cardinalTypeSpec ∷ TypeSpec ProtVer → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec ProtVer → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec ProtVer → BinaryShow Source # monadConformsTo ∷ ProtVer → TypeSpec ProtVer → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec ProtVer → [ProtVer] → Specification ProtVer Source # guardTypeSpec ∷ [String] → TypeSpec ProtVer → Specification ProtVer Source # prerequisites ∷ Evidence (Prerequisites ProtVer) Source #
HasSpec UnitInterval Source #
Instance details Associated Types type TypeSpec UnitInterval Source # type Prerequisites UnitInterval Source # Methods emptySpec ∷ TypeSpec UnitInterval Source # combineSpec ∷ TypeSpec UnitInterval → TypeSpec UnitInterval → Specification UnitInterval Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec UnitInterval → GenT m UnitInterval Source # conformsTo ∷ UnitInterval → TypeSpec UnitInterval → Bool Source # shrinkWithTypeSpec ∷ TypeSpec UnitInterval → UnitInterval → [UnitInterval] Source # toPreds ∷ Term UnitInterval → TypeSpec UnitInterval → Pred Source # cardinalTypeSpec ∷ TypeSpec UnitInterval → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec UnitInterval → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec UnitInterval → BinaryShow Source # monadConformsTo ∷ UnitInterval → TypeSpec UnitInterval → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec UnitInterval → [UnitInterval] → Specification UnitInterval Source # guardTypeSpec ∷ [String] → TypeSpec UnitInterval → Specification UnitInterval Source # prerequisites ∷ Evidence (Prerequisites UnitInterval) Source #
HasSpec Coin Source #
Instance details Associated Types type TypeSpec Coin Source # type Prerequisites Coin Source # Methods emptySpec ∷ TypeSpec Coin Source # combineSpec ∷ TypeSpec Coin → TypeSpec Coin → Specification Coin Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec Coin → GenT m Coin Source # conformsTo ∷ Coin → TypeSpec Coin → Bool Source # shrinkWithTypeSpec ∷ TypeSpec Coin → Coin → [Coin] Source # toPreds ∷ Term Coin → TypeSpec Coin → Pred Source # cardinalTypeSpec ∷ TypeSpec Coin → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec Coin → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec Coin → BinaryShow Source # monadConformsTo ∷ Coin → TypeSpec Coin → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec Coin → [Coin] → Specification Coin Source # guardTypeSpec ∷ [String] → TypeSpec Coin → Specification Coin Source # prerequisites ∷ Evidence (Prerequisites Coin) Source #
HasSpec CostModels Source #
Instance details Associated Types type TypeSpec CostModels Source # type Prerequisites CostModels Source # Methods emptySpec ∷ TypeSpec CostModels Source # combineSpec ∷ TypeSpec CostModels → TypeSpec CostModels → Specification CostModels Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec CostModels → GenT m CostModels Source # conformsTo ∷ CostModels → TypeSpec CostModels → Bool Source # shrinkWithTypeSpec ∷ TypeSpec CostModels → CostModels → [CostModels] Source # toPreds ∷ Term CostModels → TypeSpec CostModels → Pred Source # cardinalTypeSpec ∷ TypeSpec CostModels → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec CostModels → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec CostModels → BinaryShow Source # monadConformsTo ∷ CostModels → TypeSpec CostModels → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec CostModels → [CostModels] → Specification CostModels Source # guardTypeSpec ∷ [String] → TypeSpec CostModels → Specification CostModels Source # prerequisites ∷ Evidence (Prerequisites CostModels) Source #
HasSpec ExUnits Source #
Instance details Associated Types type TypeSpec ExUnits Source # type Prerequisites ExUnits Source # Methods emptySpec ∷ TypeSpec ExUnits Source # combineSpec ∷ TypeSpec ExUnits → TypeSpec ExUnits → Specification ExUnits Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec ExUnits → GenT m ExUnits Source # conformsTo ∷ ExUnits → TypeSpec ExUnits → Bool Source # shrinkWithTypeSpec ∷ TypeSpec ExUnits → ExUnits → [ExUnits] Source # toPreds ∷ Term ExUnits → TypeSpec ExUnits → Pred Source # cardinalTypeSpec ∷ TypeSpec ExUnits → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec ExUnits → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec ExUnits → BinaryShow Source # monadConformsTo ∷ ExUnits → TypeSpec ExUnits → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec ExUnits → [ExUnits] → Specification ExUnits Source # guardTypeSpec ∷ [String] → TypeSpec ExUnits → Specification ExUnits Source # prerequisites ∷ Evidence (Prerequisites ExUnits) Source #
HasSpec Prices Source #
Instance details Associated Types type TypeSpec Prices Source # type Prerequisites Prices Source # Methods emptySpec ∷ TypeSpec Prices Source # combineSpec ∷ TypeSpec Prices → TypeSpec Prices → Specification Prices Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec Prices → GenT m Prices Source # conformsTo ∷ Prices → TypeSpec Prices → Bool Source # shrinkWithTypeSpec ∷ TypeSpec Prices → Prices → [Prices] Source # toPreds ∷ Term Prices → TypeSpec Prices → Pred Source # cardinalTypeSpec ∷ TypeSpec Prices → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec Prices → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec Prices → BinaryShow Source # monadConformsTo ∷ Prices → TypeSpec Prices → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec Prices → [Prices] → Specification Prices Source # guardTypeSpec ∷ [String] → TypeSpec Prices → Specification Prices Source # prerequisites ∷ Evidence (Prerequisites Prices) Source #
HasSpec EpochInterval Source #
Instance details Associated Types type TypeSpec EpochInterval Source # type Prerequisites EpochInterval Source # Methods emptySpec ∷ TypeSpec EpochInterval Source # combineSpec ∷ TypeSpec EpochInterval → TypeSpec EpochInterval → Specification EpochInterval Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec EpochInterval → GenT m EpochInterval Source # conformsTo ∷ EpochInterval → TypeSpec EpochInterval → Bool Source # shrinkWithTypeSpec ∷ TypeSpec EpochInterval → EpochInterval → [EpochInterval] Source # toPreds ∷ Term EpochInterval → TypeSpec EpochInterval → Pred Source # cardinalTypeSpec ∷ TypeSpec EpochInterval → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec EpochInterval → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec EpochInterval → BinaryShow Source # monadConformsTo ∷ EpochInterval → TypeSpec EpochInterval → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec EpochInterval → [EpochInterval] → Specification EpochInterval Source # guardTypeSpec ∷ [String] → TypeSpec EpochInterval → Specification EpochInterval Source # prerequisites ∷ Evidence (Prerequisites EpochInterval) Source #
HasSimpleRep OrdExUnits Source #
Instance details Associated Types type SimpleRep OrdExUnits Source # type TheSop OrdExUnits ∷ [Type] Source # Methods toSimpleRep ∷ OrdExUnits → SimpleRep OrdExUnits Source # fromSimpleRep ∷ SimpleRep OrdExUnits → OrdExUnits Source #
HasSimpleRep Version Source #
Instance details Associated Types type SimpleRep Version Source # type TheSop Version ∷ [Type] Source # Methods toSimpleRep ∷ Version → SimpleRep Version Source # fromSimpleRep ∷ SimpleRep Version → Version Source #
HasSimpleRep DRepVotingThresholds Source #
Instance details Associated Types type SimpleRep DRepVotingThresholds Source # type TheSop DRepVotingThresholds ∷ [Type] Source # Methods toSimpleRep ∷ DRepVotingThresholds → SimpleRep DRepVotingThresholds Source # fromSimpleRep ∷ SimpleRep DRepVotingThresholds → DRepVotingThresholds Source #
HasSimpleRep PoolVotingThresholds Source #
Instance details Associated Types type SimpleRep PoolVotingThresholds Source # type TheSop PoolVotingThresholds ∷ [Type] Source # Methods toSimpleRep ∷ PoolVotingThresholds → SimpleRep PoolVotingThresholds Source # fromSimpleRep ∷ SimpleRep PoolVotingThresholds → PoolVotingThresholds Source #
HasSimpleRep ProtVer Source #
Instance details Associated Types type SimpleRep ProtVer Source # type TheSop ProtVer ∷ [Type] Source # Methods toSimpleRep ∷ ProtVer → SimpleRep ProtVer Source # fromSimpleRep ∷ SimpleRep ProtVer → ProtVer Source #
HasSimpleRep Coin Source #
Instance details Associated Types type SimpleRep Coin Source # type TheSop Coin ∷ [Type] Source # Methods toSimpleRep ∷ Coin → SimpleRep Coin Source # fromSimpleRep ∷ SimpleRep Coin → Coin Source #
HasSimpleRep CostModels Source #
Instance details Associated Types type SimpleRep CostModels Source # type TheSop CostModels ∷ [Type] Source # Methods toSimpleRep ∷ CostModels → SimpleRep CostModels Source # fromSimpleRep ∷ SimpleRep CostModels → CostModels Source #
HasSimpleRep ExUnits Source #
Instance details Associated Types type SimpleRep ExUnits Source # type TheSop ExUnits ∷ [Type] Source # Methods toSimpleRep ∷ ExUnits → SimpleRep ExUnits Source # fromSimpleRep ∷ SimpleRep ExUnits → ExUnits Source #
HasSimpleRep Prices Source #
Instance details Associated Types type SimpleRep Prices Source # type TheSop Prices ∷ [Type] Source # Methods toSimpleRep ∷ Prices → SimpleRep Prices Source # fromSimpleRep ∷ SimpleRep Prices → Prices Source #
HasSimpleRep EpochInterval Source #
Instance details Associated Types type SimpleRep EpochInterval Source # type TheSop EpochInterval ∷ [Type] Source # Methods toSimpleRep ∷ EpochInterval → SimpleRep EpochInterval Source # fromSimpleRep ∷ SimpleRep EpochInterval → EpochInterval Source #
MaybeBounded Coin Source #
Instance details Methods lowerBound ∷ Maybe Coin Source # upperBound ∷ Maybe Coin Source #
NumLike Coin Source #
Instance details Methods subtractSpec ∷ Coin → TypeSpec Coin → Specification Coin Source # negateSpec ∷ TypeSpec Coin → Specification Coin Source # safeSubtract ∷ Coin → Coin → Maybe Coin Source #
OrdLike Version Source #
Instance details Methods leqSpec ∷ Version → Specification Version Source # ltSpec ∷ Version → Specification Version Source # geqSpec ∷ Version → Specification Version Source # gtSpec ∷ Version → Specification Version Source #
OrdLike Coin Source #
Instance details Methods leqSpec ∷ Coin → Specification Coin Source # ltSpec ∷ Coin → Specification Coin Source # geqSpec ∷ Coin → Specification Coin Source # gtSpec ∷ Coin → Specification Coin Source #
OrdLike EpochInterval Source #
Instance details Methods leqSpec ∷ EpochInterval → Specification EpochInterval Source # ltSpec ∷ EpochInterval → Specification EpochInterval Source # geqSpec ∷ EpochInterval → Specification EpochInterval Source # gtSpec ∷ EpochInterval → Specification EpochInterval Source #
Foldy Coin Source #
Instance details Methods genList ∷ ∀ (m ∷ Type → Type). MonadGenError m ⇒ Specification Coin → Specification Coin → GenT m [Coin] Source # theAddFn ∷ IntW '[Coin, Coin] Coin Source # theZero ∷ Coin Source # genSizedList ∷ ∀ (m ∷ Type → Type). MonadGenError m ⇒ Specification Integer → Specification Coin → Specification Coin → GenT m [Coin] Source # noNegativeValues ∷ Bool Source #
(EraSpecPParams era, EraTxOut era, EraGov era) ⇒ HasSpec (PParams era) Source #	HasSpec instance for PParams
Instance details Associated Types type TypeSpec (PParams era) Source # type Prerequisites (PParams era) Source # Methods emptySpec ∷ TypeSpec (PParams era) Source # combineSpec ∷ TypeSpec (PParams era) → TypeSpec (PParams era) → Specification (PParams era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (PParams era) → GenT m (PParams era) Source # conformsTo ∷ PParams era → TypeSpec (PParams era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (PParams era) → PParams era → [PParams era] Source # toPreds ∷ Term (PParams era) → TypeSpec (PParams era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (PParams era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (PParams era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (PParams era) → BinaryShow Source # monadConformsTo ∷ PParams era → TypeSpec (PParams era) → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec (PParams era) → [PParams era] → Specification (PParams era) Source # guardTypeSpec ∷ [String] → TypeSpec (PParams era) → Specification (PParams era) Source # prerequisites ∷ Evidence (Prerequisites (PParams era)) Source #
EraSpecPParams era ⇒ HasSpec (PParamsUpdate era) Source #	HasSpec instance for PParams
Instance details Associated Types type TypeSpec (PParamsUpdate era) Source # type Prerequisites (PParamsUpdate era) Source # Methods emptySpec ∷ TypeSpec (PParamsUpdate era) Source # combineSpec ∷ TypeSpec (PParamsUpdate era) → TypeSpec (PParamsUpdate era) → Specification (PParamsUpdate era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (PParamsUpdate era) → GenT m (PParamsUpdate era) Source # conformsTo ∷ PParamsUpdate era → TypeSpec (PParamsUpdate era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (PParamsUpdate era) → PParamsUpdate era → [PParamsUpdate era] Source # toPreds ∷ Term (PParamsUpdate era) → TypeSpec (PParamsUpdate era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (PParamsUpdate era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (PParamsUpdate era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (PParamsUpdate era) → BinaryShow Source # monadConformsTo ∷ PParamsUpdate era → TypeSpec (PParamsUpdate era) → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec (PParamsUpdate era) → [PParamsUpdate era] → Specification (PParamsUpdate era) Source # guardTypeSpec ∷ [String] → TypeSpec (PParamsUpdate era) → Specification (PParamsUpdate era) Source # prerequisites ∷ Evidence (Prerequisites (PParamsUpdate era)) Source #
Typeable r ⇒ HasSpec (KeyHash r) Source #
Instance details Associated Types type TypeSpec (KeyHash r) Source # type Prerequisites (KeyHash r) Source # Methods emptySpec ∷ TypeSpec (KeyHash r) Source # combineSpec ∷ TypeSpec (KeyHash r) → TypeSpec (KeyHash r) → Specification (KeyHash r) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (KeyHash r) → GenT m (KeyHash r) Source # conformsTo ∷ KeyHash r → TypeSpec (KeyHash r) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (KeyHash r) → KeyHash r → [KeyHash r] Source # toPreds ∷ Term (KeyHash r) → TypeSpec (KeyHash r) → Pred Source # cardinalTypeSpec ∷ TypeSpec (KeyHash r) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (KeyHash r) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (KeyHash r) → BinaryShow Source # monadConformsTo ∷ KeyHash r → TypeSpec (KeyHash r) → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec (KeyHash r) → [KeyHash r] → Specification (KeyHash r) Source # guardTypeSpec ∷ [String] → TypeSpec (KeyHash r) → Specification (KeyHash r) Source # prerequisites ∷ Evidence (Prerequisites (KeyHash r)) Source #
(EraGov era, EraTxOut era, EraSpecPParams era) ⇒ HasSpec (FuturePParams era) Source #
Instance details Associated Types type TypeSpec (FuturePParams era) Source # type Prerequisites (FuturePParams era) Source # Methods emptySpec ∷ TypeSpec (FuturePParams era) Source # combineSpec ∷ TypeSpec (FuturePParams era) → TypeSpec (FuturePParams era) → Specification (FuturePParams era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (FuturePParams era) → GenT m (FuturePParams era) Source # conformsTo ∷ FuturePParams era → TypeSpec (FuturePParams era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (FuturePParams era) → FuturePParams era → [FuturePParams era] Source # toPreds ∷ Term (FuturePParams era) → TypeSpec (FuturePParams era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (FuturePParams era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (FuturePParams era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (FuturePParams era) → BinaryShow Source # monadConformsTo ∷ FuturePParams era → TypeSpec (FuturePParams era) → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec (FuturePParams era) → [FuturePParams era] → Specification (FuturePParams era) Source # guardTypeSpec ∷ [String] → TypeSpec (FuturePParams era) → Specification (FuturePParams era) Source # prerequisites ∷ Evidence (Prerequisites (FuturePParams era)) Source #
EraSpecPParams era ⇒ HasSpec (ProposedPPUpdates era) Source #
Instance details Associated Types type TypeSpec (ProposedPPUpdates era) Source # type Prerequisites (ProposedPPUpdates era) Source # Methods emptySpec ∷ TypeSpec (ProposedPPUpdates era) Source # combineSpec ∷ TypeSpec (ProposedPPUpdates era) → TypeSpec (ProposedPPUpdates era) → Specification (ProposedPPUpdates era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (ProposedPPUpdates era) → GenT m (ProposedPPUpdates era) Source # conformsTo ∷ ProposedPPUpdates era → TypeSpec (ProposedPPUpdates era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (ProposedPPUpdates era) → ProposedPPUpdates era → [ProposedPPUpdates era] Source # toPreds ∷ Term (ProposedPPUpdates era) → TypeSpec (ProposedPPUpdates era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (ProposedPPUpdates era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (ProposedPPUpdates era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (ProposedPPUpdates era) → BinaryShow Source # monadConformsTo ∷ ProposedPPUpdates era → TypeSpec (ProposedPPUpdates era) → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec (ProposedPPUpdates era) → [ProposedPPUpdates era] → Specification (ProposedPPUpdates era) Source # guardTypeSpec ∷ [String] → TypeSpec (ProposedPPUpdates era) → Specification (ProposedPPUpdates era) Source # prerequisites ∷ Evidence (Prerequisites (ProposedPPUpdates era)) Source #
(HasSpec a, IsNormalType a) ⇒ HasSpec (StrictMaybe a) Source #
Instance details Associated Types type TypeSpec (StrictMaybe a) Source # type Prerequisites (StrictMaybe a) Source # Methods emptySpec ∷ TypeSpec (StrictMaybe a) Source # combineSpec ∷ TypeSpec (StrictMaybe a) → TypeSpec (StrictMaybe a) → Specification (StrictMaybe a) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (StrictMaybe a) → GenT m (StrictMaybe a) Source # conformsTo ∷ StrictMaybe a → TypeSpec (StrictMaybe a) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (StrictMaybe a) → StrictMaybe a → [StrictMaybe a] Source # toPreds ∷ Term (StrictMaybe a) → TypeSpec (StrictMaybe a) → Pred Source # cardinalTypeSpec ∷ TypeSpec (StrictMaybe a) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (StrictMaybe a) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (StrictMaybe a) → BinaryShow Source # monadConformsTo ∷ StrictMaybe a → TypeSpec (StrictMaybe a) → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec (StrictMaybe a) → [StrictMaybe a] → Specification (StrictMaybe a) Source # guardTypeSpec ∷ [String] → TypeSpec (StrictMaybe a) → Specification (StrictMaybe a) Source # prerequisites ∷ Evidence (Prerequisites (StrictMaybe a)) 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 # Methods toSimpleRep ∷ PParams era → SimpleRep (PParams era) Source # fromSimpleRep ∷ SimpleRep (PParams era) → PParams era 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 # Methods toSimpleRep ∷ PParamsUpdate era → SimpleRep (PParamsUpdate era) Source # fromSimpleRep ∷ SimpleRep (PParamsUpdate era) → PParamsUpdate era Source #
EraSpecPParams era ⇒ HasSimpleRep (FuturePParams era) Source #
Instance details Associated Types type SimpleRep (FuturePParams era) Source # type TheSop (FuturePParams era) ∷ [Type] Source # Methods toSimpleRep ∷ FuturePParams era → SimpleRep (FuturePParams era) Source # fromSimpleRep ∷ SimpleRep (FuturePParams era) → FuturePParams era Source #
EraSpecPParams era ⇒ HasSimpleRep (ProposedPPUpdates era) Source #
Instance details Associated Types type SimpleRep (ProposedPPUpdates era) Source # type TheSop (ProposedPPUpdates era) ∷ [Type] Source # Methods toSimpleRep ∷ ProposedPPUpdates era → SimpleRep (ProposedPPUpdates era) Source # fromSimpleRep ∷ SimpleRep (ProposedPPUpdates era) → ProposedPPUpdates era Source #
Typeable a ⇒ HasSimpleRep (StrictMaybe a) Source #
Instance details Associated Types type SimpleRep (StrictMaybe a) Source # type TheSop (StrictMaybe a) ∷ [Type] Source # Methods toSimpleRep ∷ StrictMaybe a → SimpleRep (StrictMaybe a) Source # fromSimpleRep ∷ SimpleRep (StrictMaybe a) → StrictMaybe a Source #