| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Constrained.Conway.Instances
Synopsis
- 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
- 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 Natural
- 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
- data SimplePParams era = SimplePParams {
- minFeeA ∷ Coin
- minFeeB ∷ Coin
- maxBBSize ∷ Word32
- maxTxSize ∷ Word32
- maxBHSize ∷ Word32
- keyDeposit ∷ Coin
- poolDeposit ∷ Coin
- eMax ∷ EpochInterval
- nOpt ∷ Natural
- 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
- makePrices ∷ Integer → Integer → Prices
- makeUnitInterval ∷ Integer → Integer → UnitInterval
- makeNonNegativeInterval ∷ Integer → Integer → NonNegativeInterval
- 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
- minFeeA_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn Coin
- minFeeB_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn Coin
- maxBBSize_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn Word32
- maxTxSize_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn Word32
- maxBHSize_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn Word32
- keyDeposit_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn Coin
- poolDeposit_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn Coin
- eMax_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn EpochInterval
- nOpt_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn Natural
- a0_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn NonNegativeInterval
- rho_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn UnitInterval
- tau_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn UnitInterval
- decentral_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn UnitInterval
- protocolVersion_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn ProtVer
- minUTxOValue_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn Coin
- minPoolCost_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn Coin
- coinsPerUTxOWord_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn Coin
- costModels_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn CostModels
- prices_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn Prices
- maxTxExUnits_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn ExUnits
- maxBlockExUnits_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn ExUnits
- maxValSize_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn Natural
- collateralPercentage_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn Natural
- maxCollateralInputs_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn Natural
- coinsPerUTxOByte_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn Coin
- poolVotingThresholds_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn PoolVotingThresholds
- drepVotingThresholds_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn DRepVotingThresholds
- committeeMinSize_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn Natural
- committeeMaxTermLength_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn EpochInterval
- govActionLifetime_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn EpochInterval
- govActionDeposit_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn Coin
- dRepDeposit_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn Coin
- dRepActivity_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn EpochInterval
- minFeeRefScriptCostPerByte_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn NonNegativeInterval
- simplePParamsSpec ∷ ∀ fn era. (EraSpecPParams era, BaseUniverse fn) ⇒ Specification fn (SimplePParams era)
- data ProposalsSplit = ProposalsSplit {}
- type ProposalTree era = (StrictMaybe (GovActionId (EraCrypto era)), [Tree (GAS era)])
- data StringFn (fn ∷ [Type] → Type → Type) as b
- type IsConwayUniv fn = (BaseUniverse fn, Member (CoinFn fn) fn, Member (CoerceFn fn) fn, Member (StringFn fn) fn, Member (MapFn fn) fn, Member (FunFn fn) fn, Member (TreeFn fn) fn)
- type ConwayFn = Fix (OneofL ConwayUnivFns)
- sizedValue_ ∷ (HasSpec fn (Sized a), HasSpec fn a) ⇒ Term fn (Sized a) → Term fn a
- sizedSize_ ∷ (HasSpec fn (Sized a), HasSpec fn a) ⇒ Term fn (Sized a) → Term fn Int64
- txOutVal_ ∷ (HasSpec fn (Value era), Era era, HasSpec fn (Data era), Val (Value era), HasSpec fn (Script era), IsConwayUniv fn, HasSpec fn (BabbageTxOut era), IsNormalType (Script era)) ⇒ Term fn (BabbageTxOut era) → Term fn (Value era)
- maryValueCoin_ ∷ (IsConwayUniv fn, Crypto c) ⇒ Term fn (MaryValue c) → Term fn Coin
- cKeyHashObj ∷ (IsConwayUniv fn, Typeable r, Crypto c) ⇒ Term fn (KeyHash r c) → Term fn (Credential r c)
- cScriptHashObj ∷ (IsConwayUniv fn, Typeable r, Crypto c) ⇒ Term fn (ScriptHash c) → Term fn (Credential r c)
- strLen_ ∷ ∀ fn s. (Member (StringFn fn) fn, StringLike s, HasSpec fn s) ⇒ Term fn s → Term fn Int
- pProcDeposit_ ∷ (EraSpecPParams Conway, IsConwayUniv fn) ⇒ Term fn (ProposalProcedure Conway) → Term fn Coin
- pProcGovAction_ ∷ (EraSpecPParams Conway, IsConwayUniv fn) ⇒ Term fn (ProposalProcedure Conway) → Term fn (GovAction Conway)
- gasId_ ∷ (EraSpecPParams Conway, IsConwayUniv fn) ⇒ Term fn (GovActionState Conway) → Term fn (GovActionId StandardCrypto)
- gasCommitteeVotes_ ∷ (EraSpecPParams Conway, IsConwayUniv fn) ⇒ Term fn (GovActionState Conway) → Term fn (Map (Credential 'HotCommitteeRole StandardCrypto) Vote)
- gasDRepVotes_ ∷ (EraSpecPParams Conway, IsConwayUniv fn) ⇒ Term fn (GovActionState Conway) → Term fn (Map (Credential 'DRepRole StandardCrypto) Vote)
- gasProposalProcedure_ ∷ (EraSpecPParams Conway, IsConwayUniv fn) ⇒ Term fn (GovActionState Conway) → Term fn (ProposalProcedure Conway)
- proposalSplitSum ∷ ProposalsSplit → Integer
- genProposalsSplit ∷ Integer → Gen ProposalsSplit
- onJust' ∷ (HasSpec fn a, IsNormalType a, IsPred p fn) ⇒ Term fn (StrictMaybe a) → (Term fn a → p) → Pred fn
- onSized ∷ (IsConwayUniv fn, HasSpec fn a, IsPred p fn) ⇒ Term fn (Sized a) → (Term fn a → p) → Pred fn
- coerce_ ∷ ∀ a b fn. (Member (CoerceFn fn) fn, HasSpec fn a, HasSpec fn b, CoercibleLike a b) ⇒ Term fn a → Term fn b
- toDelta_ ∷ (HasSpec fn Coin, HasSpec fn DeltaCoin, Member (CoinFn fn) fn) ⇒ Term fn Coin → Term fn DeltaCoin
- type BabbageTxBodyTypes era = '[Set (TxIn (EraCrypto era)), Set (TxIn (EraCrypto era)), Set (TxIn (EraCrypto era)), [Sized (TxOut era)], Maybe (Sized (TxOut era)), Maybe Coin, [TxCert era], Map (RewardAccount (EraCrypto era)) Coin, Coin, ValidityInterval, Maybe (Update era), Set (KeyHash 'Witness (EraCrypto era)), MultiAsset (EraCrypto era), Maybe (ScriptIntegrityHash (EraCrypto era)), Maybe (AuxiliaryDataHash (EraCrypto era)), Maybe Network]
- type AlonzoTxBodyTypes era = '[Set (TxIn (EraCrypto era)), Set (TxIn (EraCrypto era)), [TxOut era], [TxCert era], Map (RewardAccount (EraCrypto era)) Coin, Coin, ValidityInterval, Maybe (Update era), Set (KeyHash 'Witness (EraCrypto era)), MultiAsset (EraCrypto era), Maybe (ScriptIntegrityHash (EraCrypto era)), Maybe (AuxiliaryDataHash (EraCrypto era)), Maybe Network]
- type MaryTxBodyTypes era = '[Set (TxIn (EraCrypto era)), [TxOut era], [TxCert era], Map (RewardAccount (EraCrypto era)) Coin, Coin, ValidityInterval, Maybe (Update era), Maybe (AuxiliaryDataHash (EraCrypto era)), MultiAsset (EraCrypto era)]
- type AllegraTxBodyTypes era = '[Set (TxIn (EraCrypto era)), [TxOut era], [TxCert era], Map (RewardAccount (EraCrypto era)) Coin, Coin, ValidityInterval, Maybe (Update era), Maybe (AuxiliaryDataHash (EraCrypto era))]
- type ShelleyTxBodyTypes era = '[Set (TxIn (EraCrypto era)), [TxOut era], [TxCert era], Map (RewardAccount (EraCrypto era)) Coin, Coin, SlotNo, Maybe (Update era), Maybe (AuxiliaryDataHash (EraCrypto era))]
- fromShelleyBody ∷ ∀ era. EraTxBody era ⇒ ShelleyTxBody era → TxBody era
- fromAllegraBody ∷ ∀ era. AllegraEraTxBody era ⇒ AllegraTxBody era → TxBody era
- fromMaryBody ∷ ∀ era. MaryEraTxBody era ⇒ MaryTxBody era → TxBody era
- fromAlonzoBody ∷ ∀ era. AlonzoEraTxBody era ⇒ AlonzoTxBody era → TxBody era
- fromBabbageBody ∷ ∀ era. BabbageEraTxBody era ⇒ BabbageTxBody era → TxBody era
- class (Era era, EraPParams era) ⇒ EraSpecDeleg era where
- hasGenDelegs ∷ proxy era → Bool
- data CertKey c
- = StakeKey !(Credential 'Staking c)
- | PoolKey !(KeyHash 'StakePool c)
- | DRepKey !(Credential 'DRepRole c)
- | ColdKey !(Credential 'ColdCommitteeRole c)
- | GenesisKey !(KeyHash 'Genesis c)
- | MirKey !MIRPot
- class (Era era, IsConwayUniv fn, HasSpec fn (TxCert era)) ⇒ EraSpecCert era fn where
- txCertSpec ∷ CertEnv era → CertState era → Specification fn (TxCert era)
- txCertKey ∷ TxCert era → CertKey (EraCrypto era)
- class (HasSpec fn (StashedAVVMAddresses era), EraSpecPParams era, EraSpecDeleg era, HasSpec fn (TxOut era), IsNormalType (TxOut era), EraTxOut era, IsConwayUniv fn) ⇒ EraSpecTxOut era fn where
- irewardSpec ∷ Term fn AccountState → Specification fn (InstantaneousRewards (EraCrypto era))
- hasPtrs ∷ proxy era → Term fn Bool
- correctTxOut ∷ Term fn (Map (Credential 'Staking (EraCrypto era)) (KeyHash 'StakePool (EraCrypto era))) → Term fn (TxOut era) → Pred fn
- txOutValue_ ∷ Term fn (TxOut era) → Term fn (Value era)
- txOutCoin_ ∷ Term fn (TxOut era) → Term fn Coin
- delegatedStakeReference ∷ (IsConwayUniv fn, Crypto c) ⇒ Term fn (Map (Credential 'Staking c) (KeyHash 'StakePool c)) → Specification fn (StakeReference c)
Documentation
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
| EraSpecPParams Allegra Source # | |
| EraSpecPParams Alonzo Source # | |
| EraSpecPParams Babbage Source # | |
| EraSpecPParams Conway Source # | |
| EraSpecPParams Mary Source # | |
| EraSpecPParams Shelley Source # | |
data SimplePPUpdate Source #
Use this as the SimpleRep of (PParamsUpdate era)
Constructors
Instances
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
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 #
minFeeA_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn Coin Source #
minFeeB_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn Coin Source #
maxBBSize_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn Word32 Source #
maxTxSize_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn Word32 Source #
maxBHSize_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn Word32 Source #
keyDeposit_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn Coin Source #
poolDeposit_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn Coin Source #
eMax_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn EpochInterval Source #
nOpt_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn Natural Source #
a0_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn NonNegativeInterval Source #
rho_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn UnitInterval Source #
tau_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn UnitInterval Source #
decentral_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn UnitInterval Source #
protocolVersion_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn ProtVer Source #
minUTxOValue_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn Coin Source #
minPoolCost_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn Coin Source #
coinsPerUTxOWord_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn Coin Source #
costModels_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn CostModels Source #
prices_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn Prices Source #
maxTxExUnits_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn ExUnits Source #
maxBlockExUnits_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn ExUnits Source #
maxValSize_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn Natural Source #
collateralPercentage_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn Natural Source #
maxCollateralInputs_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn Natural Source #
coinsPerUTxOByte_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn Coin Source #
poolVotingThresholds_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn PoolVotingThresholds Source #
drepVotingThresholds_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn DRepVotingThresholds Source #
committeeMinSize_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn Natural Source #
committeeMaxTermLength_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn EpochInterval Source #
govActionLifetime_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn EpochInterval Source #
govActionDeposit_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn Coin Source #
dRepDeposit_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn Coin Source #
dRepActivity_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn EpochInterval Source #
minFeeRefScriptCostPerByte_ ∷ (EraSpecPParams era, BaseUniverse fn) ⇒ Term fn (SimplePParams era) → Term fn NonNegativeInterval Source #
simplePParamsSpec ∷ ∀ fn era. (EraSpecPParams era, BaseUniverse fn) ⇒ Specification fn (SimplePParams era) Source #
A sample of how to constrain (PParams era) for every Era, by writing a specification for SimplePParams. Constrained but not applicable fields (for that era) are elided in the result. Missing fields are left unconstrained and will appear as random values in the result. This can easily be lifted to PParams: see Test.Cardano.Ledger.Constrained.Conway.PParams(pparamsSpec)
data ProposalsSplit Source #
Constructors
| ProposalsSplit | |
Instances
type ProposalTree era = (StrictMaybe (GovActionId (EraCrypto era)), [Tree (GAS era)]) Source #
data StringFn (fn ∷ [Type] → Type → Type) as b Source #
Instances
| FunctionLike (StringFn fn) Source # | |
| IsConwayUniv fn ⇒ Functions (StringFn fn) fn Source # | |
Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Methods propagateSpecFun ∷ ∀ (as ∷ [Type]) a b. (TypeList as, Typeable as, HasSpec fn a, HasSpec fn b, All (HasSpec fn) as) ⇒ StringFn fn as b → ListCtx Value as (HOLE a) → Specification fn b → Specification fn a Source # rewriteRules ∷ ∀ (as ∷ [Type]) b. (TypeList as, Typeable as, HasSpec fn b, All (HasSpec fn) as) ⇒ StringFn fn as b → List (Term fn) as → Maybe (Term fn b) Source # mapTypeSpec ∷ (HasSpec fn a, HasSpec fn b) ⇒ StringFn fn '[a] b → TypeSpec fn a → Specification fn b Source # | |
| IsConwayUniv fn ⇒ Show (StringFn fn as b) Source # | |
| IsConwayUniv fn ⇒ Eq (StringFn fn as b) Source # | |
type IsConwayUniv fn = (BaseUniverse fn, Member (CoinFn fn) fn, Member (CoerceFn fn) fn, Member (StringFn fn) fn, Member (MapFn fn) fn, Member (FunFn fn) fn, Member (TreeFn fn) fn) Source #
txOutVal_ ∷ (HasSpec fn (Value era), Era era, HasSpec fn (Data era), Val (Value era), HasSpec fn (Script era), IsConwayUniv fn, HasSpec fn (BabbageTxOut era), IsNormalType (Script era)) ⇒ Term fn (BabbageTxOut era) → Term fn (Value era) Source #
maryValueCoin_ ∷ (IsConwayUniv fn, Crypto c) ⇒ Term fn (MaryValue c) → Term fn Coin Source #
cKeyHashObj ∷ (IsConwayUniv fn, Typeable r, Crypto c) ⇒ Term fn (KeyHash r c) → Term fn (Credential r c) Source #
cScriptHashObj ∷ (IsConwayUniv fn, Typeable r, Crypto c) ⇒ Term fn (ScriptHash c) → Term fn (Credential r c) Source #
strLen_ ∷ ∀ fn s. (Member (StringFn fn) fn, StringLike s, HasSpec fn s) ⇒ Term fn s → Term fn Int Source #
pProcDeposit_ ∷ (EraSpecPParams Conway, IsConwayUniv fn) ⇒ Term fn (ProposalProcedure Conway) → Term fn Coin Source #
pProcGovAction_ ∷ (EraSpecPParams Conway, IsConwayUniv fn) ⇒ Term fn (ProposalProcedure Conway) → Term fn (GovAction Conway) Source #
gasId_ ∷ (EraSpecPParams Conway, IsConwayUniv fn) ⇒ Term fn (GovActionState Conway) → Term fn (GovActionId StandardCrypto) Source #
gasCommitteeVotes_ ∷ (EraSpecPParams Conway, IsConwayUniv fn) ⇒ Term fn (GovActionState Conway) → Term fn (Map (Credential 'HotCommitteeRole StandardCrypto) Vote) Source #
gasDRepVotes_ ∷ (EraSpecPParams Conway, IsConwayUniv fn) ⇒ Term fn (GovActionState Conway) → Term fn (Map (Credential 'DRepRole StandardCrypto) Vote) Source #
gasProposalProcedure_ ∷ (EraSpecPParams Conway, IsConwayUniv fn) ⇒ Term fn (GovActionState Conway) → Term fn (ProposalProcedure Conway) Source #
onJust' ∷ (HasSpec fn a, IsNormalType a, IsPred p fn) ⇒ Term fn (StrictMaybe a) → (Term fn a → p) → Pred fn Source #
onSized ∷ (IsConwayUniv fn, HasSpec fn a, IsPred p fn) ⇒ Term fn (Sized a) → (Term fn a → p) → Pred fn Source #
coerce_ ∷ ∀ a b fn. (Member (CoerceFn fn) fn, HasSpec fn a, HasSpec fn b, CoercibleLike a b) ⇒ Term fn a → Term fn b Source #
toDelta_ ∷ (HasSpec fn Coin, HasSpec fn DeltaCoin, Member (CoinFn fn) fn) ⇒ Term fn Coin → Term fn DeltaCoin Source #
type BabbageTxBodyTypes era = '[Set (TxIn (EraCrypto era)), Set (TxIn (EraCrypto era)), Set (TxIn (EraCrypto era)), [Sized (TxOut era)], Maybe (Sized (TxOut era)), Maybe Coin, [TxCert era], Map (RewardAccount (EraCrypto era)) Coin, Coin, ValidityInterval, Maybe (Update era), Set (KeyHash 'Witness (EraCrypto era)), MultiAsset (EraCrypto era), Maybe (ScriptIntegrityHash (EraCrypto era)), Maybe (AuxiliaryDataHash (EraCrypto era)), Maybe Network] Source #
This is an abstraction of the Pattern BabbageTxBody, that uses [x] instead of (StrictSeq x) and (Maybe x) instead of (StrictMaybe x). It transforms between the abstractions and the real types in the toSimpleRep and fromSimpleRep methods. This makes it much easier to write Specifications, because the Constrained packaage knows about Lists and Maybe.
type AlonzoTxBodyTypes era = '[Set (TxIn (EraCrypto era)), Set (TxIn (EraCrypto era)), [TxOut era], [TxCert era], Map (RewardAccount (EraCrypto era)) Coin, Coin, ValidityInterval, Maybe (Update era), Set (KeyHash 'Witness (EraCrypto era)), MultiAsset (EraCrypto era), Maybe (ScriptIntegrityHash (EraCrypto era)), Maybe (AuxiliaryDataHash (EraCrypto era)), Maybe Network] Source #
This is an abstraction of the Pattern AlonzoTxBody, that uses [x] instead of (StrictSeq x) and (Maybe x) instead of (StrictMaybe x). It transforms between the abstractions and the real types in the toSimpleRep and fromSimpleRep methods. This makes it much easier to write Specifications, because the Constrained packaage knows about Lists and Maybe.
type MaryTxBodyTypes era = '[Set (TxIn (EraCrypto era)), [TxOut era], [TxCert era], Map (RewardAccount (EraCrypto era)) Coin, Coin, ValidityInterval, Maybe (Update era), Maybe (AuxiliaryDataHash (EraCrypto era)), MultiAsset (EraCrypto era)] Source #
This is an abstraction of the Pattern MaryTxBody, that uses [x] instead of (StrictSeq x) and (Maybe x) instead of (StrictMaybe x). It transforms between the abstractions and the real types in the toSimpleRep and fromSimpleRep methods. This makes it much easier to write Specifications, because the Constrained packaage knows about Lists and Maybe.
type AllegraTxBodyTypes era = '[Set (TxIn (EraCrypto era)), [TxOut era], [TxCert era], Map (RewardAccount (EraCrypto era)) Coin, Coin, ValidityInterval, Maybe (Update era), Maybe (AuxiliaryDataHash (EraCrypto era))] Source #
This is an abstraction of the Pattern AllegraTxBody, that uses [x] instead of (StrictSeq x) and (Maybe x) instead of (StrictMaybe x). It transforms bewtween the two, in the toSimpleRep and fromSimpleRep methods. This makes it much easier to write Specifications, because the Constrained packaage knows about Lists and Maybe.
type ShelleyTxBodyTypes era = '[Set (TxIn (EraCrypto era)), [TxOut era], [TxCert era], Map (RewardAccount (EraCrypto era)) Coin, Coin, SlotNo, Maybe (Update era), Maybe (AuxiliaryDataHash (EraCrypto era))] Source #
This is an abstraction of the Pattern ShelleyTxBody, that uses [x] instead of (StrictSeq x) and (Maybe x) instead of (StrictMaybe x). It transforms bewtween the two, in the toSimpleRep and fromSimpleRep methods. This makes it much easier to write Specifications, because the Constrained packaage knows about Lists and Maybe.
fromShelleyBody ∷ ∀ era. EraTxBody era ⇒ ShelleyTxBody era → TxBody era Source #
fromAllegraBody ∷ ∀ era. AllegraEraTxBody era ⇒ AllegraTxBody era → TxBody era Source #
fromMaryBody ∷ ∀ era. MaryEraTxBody era ⇒ MaryTxBody era → TxBody era Source #
fromAlonzoBody ∷ ∀ era. AlonzoEraTxBody era ⇒ AlonzoTxBody era → TxBody era Source #
fromBabbageBody ∷ ∀ era. BabbageEraTxBody era ⇒ BabbageTxBody era → TxBody era Source #
class (Era era, EraPParams era) ⇒ EraSpecDeleg era where Source #
Methods
hasGenDelegs ∷ proxy era → Bool Source #
Instances
| EraSpecDeleg Allegra Source # | |
Defined in Test.Cardano.Ledger.Constrained.Conway.Deleg Methods hasGenDelegs ∷ proxy Allegra → Bool Source # | |
| EraSpecDeleg Alonzo Source # | |
Defined in Test.Cardano.Ledger.Constrained.Conway.Deleg Methods hasGenDelegs ∷ proxy Alonzo → Bool Source # | |
| EraSpecDeleg Babbage Source # | |
Defined in Test.Cardano.Ledger.Constrained.Conway.Deleg Methods hasGenDelegs ∷ proxy Babbage → Bool Source # | |
| EraSpecDeleg Conway Source # | |
Defined in Test.Cardano.Ledger.Constrained.Conway.Deleg Methods hasGenDelegs ∷ proxy Conway → Bool Source # | |
| EraSpecDeleg Mary Source # | |
Defined in Test.Cardano.Ledger.Constrained.Conway.Deleg Methods hasGenDelegs ∷ proxy Mary → Bool Source # | |
| EraSpecDeleg Shelley Source # | |
Defined in Test.Cardano.Ledger.Constrained.Conway.Deleg Methods hasGenDelegs ∷ proxy Shelley → Bool Source # | |
Used to aggregate the key used in registering a Certificate. Different certificates use different kinds of Keys, that allows us to use one type to represent all kinds of keys (Similar to DepositPurpose)
Constructors
| StakeKey !(Credential 'Staking c) | |
| PoolKey !(KeyHash 'StakePool c) | |
| DRepKey !(Credential 'DRepRole c) | |
| ColdKey !(Credential 'ColdCommitteeRole c) | |
| GenesisKey !(KeyHash 'Genesis c) | |
| MirKey !MIRPot |
Instances
| Show (CertKey c) Source # | |
| Eq (CertKey c) Source # | |
| Ord (CertKey c) Source # | |
Defined in Test.Cardano.Ledger.Constrained.Conway.Cert | |
class (Era era, IsConwayUniv fn, HasSpec fn (TxCert era)) ⇒ EraSpecCert era fn where Source #
Methods
txCertSpec ∷ CertEnv era → CertState era → Specification fn (TxCert era) Source #
Instances
| IsConwayUniv fn ⇒ EraSpecCert Allegra fn Source # | |
| IsConwayUniv fn ⇒ EraSpecCert Alonzo fn Source # | |
| IsConwayUniv fn ⇒ EraSpecCert Babbage fn Source # | |
| IsConwayUniv fn ⇒ EraSpecCert Conway fn Source # | |
| IsConwayUniv fn ⇒ EraSpecCert Mary fn Source # | |
| IsConwayUniv fn ⇒ EraSpecCert Shelley fn Source # | |
class (HasSpec fn (StashedAVVMAddresses era), EraSpecPParams era, EraSpecDeleg era, HasSpec fn (TxOut era), IsNormalType (TxOut era), EraTxOut era, IsConwayUniv fn) ⇒ EraSpecTxOut era fn where Source #
The class EraSpecTxOut supports Era parametric Specifications that primarily navigate the differences in types parameterized type Family TxOut. Additional support for phased out Type Families like InstantaneousRewards, GenDelegs, FutureGenDelegs, StashedAVVMAddresses, and Ptrs, are also provided
Methods
irewardSpec ∷ Term fn AccountState → Specification fn (InstantaneousRewards (EraCrypto era)) Source #
hasPtrs ∷ proxy era → Term fn Bool Source #
correctTxOut ∷ Term fn (Map (Credential 'Staking (EraCrypto era)) (KeyHash 'StakePool (EraCrypto era))) → Term fn (TxOut era) → Pred fn Source #
txOutValue_ ∷ Term fn (TxOut era) → Term fn (Value era) Source #
Extract a Value from a TxOut
txOutCoin_ ∷ Term fn (TxOut era) → Term fn Coin Source #
Extract a Coin from a TxOut
Instances
delegatedStakeReference ∷ (IsConwayUniv fn, Crypto c) ⇒ Term fn (Map (Credential 'Staking c) (KeyHash 'StakePool c)) → Specification fn (StakeReference c) Source #
Generate random Stake references that have a high probability of being delegated.