| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Constrained.Conway.Instances.Basic
Contents
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), ToExpr (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 #
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
Instances
data SimplePPUpdate Source #
Use this as the SimpleRep of (PParamsUpdate era)
Constructors
| SimplePPUpdate | |
Fields
| |
Instances
| HasSpec SimplePPUpdate Source # | |||||||||
Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic Associated Types
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 # fixupWithTypeSpec ∷ TypeSpec SimplePPUpdate → SimplePPUpdate → Maybe 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 # 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 | ||||||||
Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic Associated Types
| |||||||||
| Generic SimplePPUpdate Source # | |||||||||
Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic Associated Types
| |||||||||
| Show SimplePPUpdate Source # | |||||||||
Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic Methods showsPrec ∷ Int → SimplePPUpdate → ShowS # show ∷ SimplePPUpdate → String # showList ∷ [SimplePPUpdate] → ShowS # | |||||||||
| Eq SimplePPUpdate Source # | |||||||||
Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic Methods (==) ∷ SimplePPUpdate → SimplePPUpdate → Bool # (/=) ∷ SimplePPUpdate → SimplePPUpdate → Bool # | |||||||||
| type Prerequisites SimplePPUpdate Source # | |||||||||
| type TypeSpec SimplePPUpdate Source # | |||||||||
| type SimpleRep SimplePPUpdate Source # | |||||||||
| type TheSop SimplePPUpdate Source # | |||||||||
| type Rep SimplePPUpdate Source # | |||||||||
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))))))))) | |||||||||
class (Eq (PParamsHKD Identity era), Show (PParamsHKD Identity era), ToExpr (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
| EraSpecPParams AllegraEra Source # | |
| EraSpecPParams AlonzoEra Source # | |
| EraSpecPParams BabbageEra Source # | |
| EraSpecPParams ConwayEra Source # | |
| EraSpecPParams MaryEra Source # | |
| EraSpecPParams ShelleyEra Source # | |
Orphan instances
| HasSpec OrdExUnits Source # | |||||||||
Associated Types
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 # fixupWithTypeSpec ∷ TypeSpec OrdExUnits → OrdExUnits → Maybe 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 # typeSpecOpt ∷ TypeSpec OrdExUnits → [OrdExUnits] → Specification OrdExUnits Source # guardTypeSpec ∷ [String] → TypeSpec OrdExUnits → Specification OrdExUnits Source # prerequisites ∷ Evidence (Prerequisites OrdExUnits) Source # | |||||||||
| HasSpec Version Source # | |||||||||
Associated Types
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 # fixupWithTypeSpec ∷ TypeSpec Version → Version → Maybe 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 # typeSpecOpt ∷ TypeSpec Version → [Version] → Specification Version Source # guardTypeSpec ∷ [String] → TypeSpec Version → Specification Version Source # | |||||||||
| HasSpec DRepVotingThresholds Source # | |||||||||
Associated Types
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 # fixupWithTypeSpec ∷ TypeSpec DRepVotingThresholds → DRepVotingThresholds → Maybe 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 # typeSpecOpt ∷ TypeSpec DRepVotingThresholds → [DRepVotingThresholds] → Specification DRepVotingThresholds Source # guardTypeSpec ∷ [String] → TypeSpec DRepVotingThresholds → Specification DRepVotingThresholds Source # prerequisites ∷ Evidence (Prerequisites DRepVotingThresholds) Source # | |||||||||
| HasSpec PoolVotingThresholds Source # | |||||||||
Associated Types
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 # fixupWithTypeSpec ∷ TypeSpec PoolVotingThresholds → PoolVotingThresholds → Maybe 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 # typeSpecOpt ∷ TypeSpec PoolVotingThresholds → [PoolVotingThresholds] → Specification PoolVotingThresholds Source # guardTypeSpec ∷ [String] → TypeSpec PoolVotingThresholds → Specification PoolVotingThresholds Source # prerequisites ∷ Evidence (Prerequisites PoolVotingThresholds) Source # | |||||||||
| HasSpec NonNegativeInterval Source # | |||||||||
Associated Types
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 # fixupWithTypeSpec ∷ TypeSpec NonNegativeInterval → NonNegativeInterval → Maybe 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 # typeSpecOpt ∷ TypeSpec NonNegativeInterval → [NonNegativeInterval] → Specification NonNegativeInterval Source # guardTypeSpec ∷ [String] → TypeSpec NonNegativeInterval → Specification NonNegativeInterval Source # prerequisites ∷ Evidence (Prerequisites NonNegativeInterval) Source # | |||||||||
| HasSpec ProtVer Source # | |||||||||
Associated Types
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 # fixupWithTypeSpec ∷ TypeSpec ProtVer → ProtVer → Maybe 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 # typeSpecOpt ∷ TypeSpec ProtVer → [ProtVer] → Specification ProtVer Source # guardTypeSpec ∷ [String] → TypeSpec ProtVer → Specification ProtVer Source # | |||||||||
| HasSpec UnitInterval Source # | |||||||||
Associated Types
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 # fixupWithTypeSpec ∷ TypeSpec UnitInterval → UnitInterval → Maybe 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 # typeSpecOpt ∷ TypeSpec UnitInterval → [UnitInterval] → Specification UnitInterval Source # guardTypeSpec ∷ [String] → TypeSpec UnitInterval → Specification UnitInterval Source # prerequisites ∷ Evidence (Prerequisites UnitInterval) Source # | |||||||||
| HasSpec Coin Source # | |||||||||
Associated Types
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 # fixupWithTypeSpec ∷ TypeSpec Coin → Coin → Maybe 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 # typeSpecOpt ∷ TypeSpec Coin → [Coin] → Specification Coin Source # guardTypeSpec ∷ [String] → TypeSpec Coin → Specification Coin Source # | |||||||||
| HasSpec CostModels Source # | |||||||||
Associated Types
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 # fixupWithTypeSpec ∷ TypeSpec CostModels → CostModels → Maybe 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 # typeSpecOpt ∷ TypeSpec CostModels → [CostModels] → Specification CostModels Source # guardTypeSpec ∷ [String] → TypeSpec CostModels → Specification CostModels Source # prerequisites ∷ Evidence (Prerequisites CostModels) Source # | |||||||||
| HasSpec ExUnits Source # | |||||||||
Associated Types
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 # fixupWithTypeSpec ∷ TypeSpec ExUnits → ExUnits → Maybe 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 # typeSpecOpt ∷ TypeSpec ExUnits → [ExUnits] → Specification ExUnits Source # guardTypeSpec ∷ [String] → TypeSpec ExUnits → Specification ExUnits Source # | |||||||||
| HasSpec Prices Source # | |||||||||
Associated Types
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 # fixupWithTypeSpec ∷ TypeSpec Prices → Prices → Maybe 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 # typeSpecOpt ∷ TypeSpec Prices → [Prices] → Specification Prices Source # guardTypeSpec ∷ [String] → TypeSpec Prices → Specification Prices Source # | |||||||||
| HasSpec EpochInterval Source # | |||||||||
Associated Types
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 # fixupWithTypeSpec ∷ TypeSpec EpochInterval → EpochInterval → Maybe 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 # typeSpecOpt ∷ TypeSpec EpochInterval → [EpochInterval] → Specification EpochInterval Source # guardTypeSpec ∷ [String] → TypeSpec EpochInterval → Specification EpochInterval Source # prerequisites ∷ Evidence (Prerequisites EpochInterval) Source # | |||||||||
| HasSimpleRep OrdExUnits Source # | |||||||||
Associated Types
Methods | |||||||||
| HasSimpleRep Version Source # | |||||||||
Associated Types
| |||||||||
| HasSimpleRep DRepVotingThresholds Source # | |||||||||
Associated Types
| |||||||||
| HasSimpleRep PoolVotingThresholds Source # | |||||||||
Associated Types
| |||||||||
| HasSimpleRep ProtVer Source # | |||||||||
| HasSimpleRep Coin Source # | |||||||||
Associated Types
| |||||||||
| HasSimpleRep CostModels Source # | |||||||||
Associated Types
Methods | |||||||||
| HasSimpleRep ExUnits Source # | |||||||||
| HasSimpleRep Prices Source # | |||||||||
| HasSimpleRep EpochInterval Source # | |||||||||
Associated Types
| |||||||||
| HasDivision Coin Source # | |||||||||
| MaybeBounded Coin Source # | |||||||||
| NumLike Coin Source # | |||||||||
Methods subtractSpec ∷ Coin → TypeSpec Coin → Specification Coin Source # | |||||||||
| OrdLike Version Source # | |||||||||
| OrdLike Coin Source # | |||||||||
| OrdLike EpochInterval Source # | |||||||||
| Foldy Coin Source # | |||||||||
Methods genList ∷ ∀ (m ∷ Type → Type). MonadGenError m ⇒ Specification Coin → Specification Coin → GenT m [Coin] Source # theAddFn ∷ IntW '[Coin, Coin] Coin Source # genSizedList ∷ ∀ (m ∷ Type → Type). MonadGenError m ⇒ Specification Integer → Specification Coin → Specification Coin → GenT m [Coin] Source # | |||||||||
| Num Coin Source # | |||||||||
| ToExpr DRepVotingThresholds Source # | |||||||||
Methods | |||||||||
| ToExpr PoolVotingThresholds Source # | |||||||||
Methods | |||||||||
| HasSpec (NonZero Word64) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (NonZero Word64) Source # combineSpec ∷ TypeSpec (NonZero Word64) → TypeSpec (NonZero Word64) → Specification (NonZero Word64) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (NonZero Word64) → GenT m (NonZero Word64) Source # conformsTo ∷ NonZero Word64 → TypeSpec (NonZero Word64) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (NonZero Word64) → NonZero Word64 → [NonZero Word64] Source # fixupWithTypeSpec ∷ TypeSpec (NonZero Word64) → NonZero Word64 → Maybe (NonZero Word64) Source # toPreds ∷ Term (NonZero Word64) → TypeSpec (NonZero Word64) → Pred Source # cardinalTypeSpec ∷ TypeSpec (NonZero Word64) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (NonZero Word64) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (NonZero Word64) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (NonZero Word64) → [NonZero Word64] → Specification (NonZero Word64) Source # guardTypeSpec ∷ [String] → TypeSpec (NonZero Word64) → Specification (NonZero Word64) Source # prerequisites ∷ Evidence (Prerequisites (NonZero Word64)) Source # | |||||||||
| (EraSpecPParams era, EraTxOut era, EraGov era) ⇒ HasSpec (PParams era) Source # | HasSpec instance for PParams | ||||||||
Associated Types
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 # fixupWithTypeSpec ∷ TypeSpec (PParams era) → PParams era → Maybe (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 # 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 | ||||||||
Associated Types
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 # fixupWithTypeSpec ∷ TypeSpec (PParamsUpdate era) → PParamsUpdate era → Maybe (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 # 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 # | |||||||||
Associated Types
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 # fixupWithTypeSpec ∷ TypeSpec (KeyHash r) → KeyHash r → Maybe (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 # 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 # | |||||||||
Associated Types
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 # fixupWithTypeSpec ∷ TypeSpec (FuturePParams era) → FuturePParams era → Maybe (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 # 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 # | |||||||||
Associated Types
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 # fixupWithTypeSpec ∷ TypeSpec (ProposedPPUpdates era) → ProposedPPUpdates era → Maybe (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 # 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 # | |||||||||
Associated Types
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 # fixupWithTypeSpec ∷ TypeSpec (StrictMaybe a) → StrictMaybe a → Maybe (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 # 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 # | |||||||||
| HasSimpleRep (NonZero Word64) Source # | |||||||||
| EraSpecPParams era ⇒ HasSimpleRep (PParams era) Source # | SimpleRep instance for PParams | ||||||||
Associated Types
| |||||||||
| EraSpecPParams era ⇒ HasSimpleRep (PParamsUpdate era) Source # | SimpleRep instance for PParamsUpdate | ||||||||
Associated Types
Methods toSimpleRep ∷ PParamsUpdate era → SimpleRep (PParamsUpdate era) Source # fromSimpleRep ∷ SimpleRep (PParamsUpdate era) → PParamsUpdate era Source # | |||||||||
| EraSpecPParams era ⇒ HasSimpleRep (FuturePParams era) Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ FuturePParams era → SimpleRep (FuturePParams era) Source # fromSimpleRep ∷ SimpleRep (FuturePParams era) → FuturePParams era Source # | |||||||||
| EraSpecPParams era ⇒ HasSimpleRep (ProposedPPUpdates era) Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ ProposedPPUpdates era → SimpleRep (ProposedPPUpdates era) Source # fromSimpleRep ∷ SimpleRep (ProposedPPUpdates era) → ProposedPPUpdates era Source # | |||||||||
| Typeable a ⇒ HasSimpleRep (StrictMaybe a) Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ StrictMaybe a → SimpleRep (StrictMaybe a) Source # fromSimpleRep ∷ SimpleRep (StrictMaybe a) → StrictMaybe a Source # | |||||||||