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 fn a, IsNormalType a) ⇒ Term fn (StrictMaybe a)
cSJust_ ∷ (HasSpec fn a, IsNormalType a) ⇒ Term fn a → Term fn (StrictMaybe a)
succV_ ∷ BaseUniverse fn ⇒ Term fn Version → Term fn 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 (Reflect era, Eq (PParamsHKD Identity era), Show (PParamsHKD Identity era), Eq (PParamsHKD StrictMaybe era), Show (PParamsHKD StrictMaybe era), EraPParams era) ⇒ EraSpecPParams era where
- subsetToPP ∷ SimplePParams era → PParams era
- ppToSubset ∷ PParams era → SimplePParams era
- updateToPPU ∷ SimplePPUpdate → PParamsUpdate era
- ppuToUpdate ∷ PParamsUpdate era → SimplePPUpdate

Documentation

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

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

succV_ ∷ BaseUniverse fn ⇒ Term fn Version → Term fn 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

(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 # Methods emptySpec ∷ TypeSpec fn (SimplePParams era) Source # combineSpec ∷ TypeSpec fn (SimplePParams era) → TypeSpec fn (SimplePParams era) → Specification fn (SimplePParams era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (SimplePParams era) → GenT m (SimplePParams era) Source # conformsTo ∷ SimplePParams era → TypeSpec fn (SimplePParams era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec fn (SimplePParams era) → SimplePParams era → [SimplePParams era] Source # toPreds ∷ Term fn (SimplePParams era) → TypeSpec fn (SimplePParams era) → Pred fn Source # cardinalTypeSpec ∷ TypeSpec fn (SimplePParams era) → Specification fn Integer Source # cardinalTrueSpec ∷ Specification fn Integer Source # typeSpecHasError ∷ TypeSpec fn (SimplePParams era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec fn (SimplePParams era) → BinaryShow Source # monadConformsTo ∷ SimplePParams era → TypeSpec fn (SimplePParams era) → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec fn (SimplePParams era) → [SimplePParams era] → Specification fn (SimplePParams era) Source # guardTypeSpec ∷ [String] → TypeSpec fn (SimplePParams era) → Specification fn (SimplePParams era) Source # prerequisites ∷ Evidence (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) ∷ Type → Type # Methods from ∷ SimplePParams era → Rep (SimplePParams era) x # to ∷ Rep (SimplePParams era) x → SimplePParams era #
(EraSpecPParams era, Reflect 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 #
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 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 TypeSpec fn (SimplePParams era) = TypeSpec fn (SimpleRep (SimplePParams era))
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 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 #
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 #
BaseUniverse fn ⇒ HasSpec fn SimplePPUpdate Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic Associated Types type TypeSpec fn SimplePPUpdate Source # type Prerequisites fn SimplePPUpdate Source # Methods emptySpec ∷ TypeSpec fn SimplePPUpdate Source # combineSpec ∷ TypeSpec fn SimplePPUpdate → TypeSpec fn SimplePPUpdate → Specification fn SimplePPUpdate Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn SimplePPUpdate → GenT m SimplePPUpdate Source # conformsTo ∷ SimplePPUpdate → TypeSpec fn SimplePPUpdate → Bool Source # shrinkWithTypeSpec ∷ TypeSpec fn SimplePPUpdate → SimplePPUpdate → [SimplePPUpdate] Source # toPreds ∷ Term fn SimplePPUpdate → TypeSpec fn SimplePPUpdate → Pred fn Source # cardinalTypeSpec ∷ TypeSpec fn SimplePPUpdate → Specification fn Integer Source # cardinalTrueSpec ∷ Specification fn Integer Source # typeSpecHasError ∷ TypeSpec fn SimplePPUpdate → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec fn SimplePPUpdate → BinaryShow Source # monadConformsTo ∷ SimplePPUpdate → TypeSpec fn SimplePPUpdate → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec fn SimplePPUpdate → [SimplePPUpdate] → Specification fn SimplePPUpdate Source # guardTypeSpec ∷ [String] → TypeSpec fn SimplePPUpdate → Specification fn SimplePPUpdate Source # prerequisites ∷ Evidence (Prerequisites fn SimplePPUpdate) Source #
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 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)
type Prerequisites fn SimplePPUpdate Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic type Prerequisites fn SimplePPUpdate = ()
type TypeSpec fn SimplePPUpdate Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic type TypeSpec fn SimplePPUpdate = TypeSpec fn (SimpleRep SimplePPUpdate)

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 #

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 #

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