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 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
}
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
}
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 Word16
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 {
- psPPChange ∷ Integer
- psHFInitiation ∷ Integer
- psUpdateCommittee ∷ Integer
- psNewConstitution ∷ Integer
- psOthers ∷ Integer
}
type ProposalTree era = (StrictMaybe GovActionId, [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 ⇒ Term fn MaryValue → Term fn Coin
cKeyHashObj ∷ (IsConwayUniv fn, Typeable r) ⇒ Term fn (KeyHash r) → Term fn (Credential r)
cScriptHashObj ∷ (IsConwayUniv fn, Typeable r) ⇒ Term fn ScriptHash → Term fn (Credential r)
strLen_ ∷ ∀ fn s. (Member (StringFn fn) fn, StringLike s, HasSpec fn s) ⇒ Term fn s → Term fn Int
pProcDeposit_ ∷ (EraSpecPParams ConwayEra, IsConwayUniv fn) ⇒ Term fn (ProposalProcedure ConwayEra) → Term fn Coin
pProcGovAction_ ∷ (EraSpecPParams ConwayEra, IsConwayUniv fn) ⇒ Term fn (ProposalProcedure ConwayEra) → Term fn (GovAction ConwayEra)
gasId_ ∷ (EraSpecPParams ConwayEra, IsConwayUniv fn) ⇒ Term fn (GovActionState ConwayEra) → Term fn GovActionId
gasCommitteeVotes_ ∷ (EraSpecPParams ConwayEra, IsConwayUniv fn) ⇒ Term fn (GovActionState ConwayEra) → Term fn (Map (Credential 'HotCommitteeRole) Vote)
gasDRepVotes_ ∷ (EraSpecPParams ConwayEra, IsConwayUniv fn) ⇒ Term fn (GovActionState ConwayEra) → Term fn (Map (Credential 'DRepRole) Vote)
gasProposalProcedure_ ∷ (EraSpecPParams ConwayEra, IsConwayUniv fn) ⇒ Term fn (GovActionState ConwayEra) → Term fn (ProposalProcedure ConwayEra)
psPParamUpdate_ ∷ (EraSpecPParams era, Arbitrary (Proposals era), IsConwayUniv fn) ⇒ Term fn (Proposals era) → Term fn (ProposalTree era)
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, Set TxIn, Set TxIn, [Sized (TxOut era)], Maybe (Sized (TxOut era)), Maybe Coin, [TxCert era], Map RewardAccount Coin, Coin, ValidityInterval, Maybe (Update era), Set (KeyHash 'Witness), MultiAsset, Maybe ScriptIntegrityHash, Maybe TxAuxDataHash, Maybe Network]
type AlonzoTxBodyTypes era = '[Set TxIn, Set TxIn, [TxOut era], [TxCert era], Map RewardAccount Coin, Coin, ValidityInterval, Maybe (Update era), Set (KeyHash 'Witness), MultiAsset, Maybe ScriptIntegrityHash, Maybe TxAuxDataHash, Maybe Network]
type MaryTxBodyTypes era = '[Set TxIn, [TxOut era], [TxCert era], Map RewardAccount Coin, Coin, ValidityInterval, Maybe (Update era), Maybe TxAuxDataHash, MultiAsset]
type AllegraTxBodyTypes era = '[Set TxIn, [TxOut era], [TxCert era], Map RewardAccount Coin, Coin, ValidityInterval, Maybe (Update era), Maybe TxAuxDataHash]
type ShelleyTxBodyTypes era = '[Set TxIn, [TxOut era], [TxCert era], Map RewardAccount Coin, Coin, SlotNo, Maybe (Update era), Maybe TxAuxDataHash]
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
- = StakeKey !(Credential 'Staking)
- | PoolKey !(KeyHash 'StakePool)
- | DRepKey !(Credential 'DRepRole)
- | ColdKey !(Credential 'ColdCommitteeRole)
- | GenesisKey !(KeyHash 'Genesis)
- | MirKey !MIRPot
class (IsConwayUniv fn, HasSpec fn (TxCert era), Era era) ⇒ EraSpecCert era fn where
- txCertSpec ∷ WitUniv era → CertEnv era → CertState era → Specification fn (TxCert era)
- txCertKey ∷ TxCert era → CertKey
- certStateSpec ∷ WitUniv era → Set (Credential 'DRepRole) → Map RewardAccount Coin → Specification fn (CertState era)
class (HasSpec fn (StashedAVVMAddresses era), EraSpecPParams era, EraSpecDeleg era, HasSpec fn (TxOut era), IsNormalType (TxOut era), EraTxOut era, GenScript era, IsConwayUniv fn) ⇒ EraSpecTxOut era fn where
- irewardSpec ∷ WitUniv era → Term fn AccountState → Specification fn InstantaneousRewards
- hasPtrs ∷ proxy era → Term fn Bool
- txOutValue_ ∷ Term fn (TxOut era) → Term fn (Value era)
- txOutCoin_ ∷ Term fn (TxOut era) → Term fn Coin
- txOutAddr_ ∷ Term fn (TxOut era) → Term fn Addr
txOutSpec ∷ ∀ fn era. EraSpecTxOut era fn ⇒ WitUniv era → Term fn (Map (Credential 'Staking) (KeyHash 'StakePool)) → Term fn (TxOut era) → Pred fn
delegatedStakeReference ∷ IsConwayUniv fn ⇒ Term fn (Map (Credential 'Staking) (KeyHash 'StakePool)) → Specification fn StakeReference

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

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 #

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)

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))

makePrices ∷ Integer → Integer → Prices Source #

makeUnitInterval ∷ Integer → Integer → UnitInterval Source #

makeNonNegativeInterval ∷ Integer → Integer → NonNegativeInterval Source #

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 #

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 Word16 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
Fields psPPChange ∷ Integer psHFInitiation ∷ Integer psUpdateCommittee ∷ Integer psNewConstitution ∷ Integer psOthers ∷ Integer

Instances

Instances details

Generic ProposalsSplit Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Associated Types type Rep ProposalsSplit ∷ Type → Type # Methods from ∷ ProposalsSplit → Rep ProposalsSplit x # to ∷ Rep ProposalsSplit x → ProposalsSplit #
Show ProposalsSplit Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Methods showsPrec ∷ Int → ProposalsSplit → ShowS # show ∷ ProposalsSplit → String # showList ∷ [ProposalsSplit] → ShowS #
DecCBOR ProposalsSplit Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Methods decCBOR ∷ Decoder s ProposalsSplit Source # dropCBOR ∷ Proxy ProposalsSplit → Decoder s () Source # label ∷ Proxy ProposalsSplit → Text Source #
EncCBOR ProposalsSplit Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Methods encCBOR ∷ ProposalsSplit → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy ProposalsSplit → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ProposalsSplit] → Size Source #
NFData ProposalsSplit Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Methods rnf ∷ ProposalsSplit → () #
Eq ProposalsSplit Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Methods (==) ∷ ProposalsSplit → ProposalsSplit → Bool # (/=) ∷ ProposalsSplit → ProposalsSplit → Bool #
ToExpr ProposalsSplit Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Methods toExpr ∷ ProposalsSplit → Expr Source # listToExpr ∷ [ProposalsSplit] → Expr Source #
type Rep ProposalsSplit Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger type Rep ProposalsSplit = D1 ('MetaData "ProposalsSplit" "Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger" "cardano-ledger-test-9.9.9.9-inplace" 'False) (C1 ('MetaCons "ProposalsSplit" 'PrefixI 'True) ((S1 ('MetaSel ('Just "psPPChange") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :: S1 ('MetaSel ('Just "psHFInitiation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)) :: (S1 ('MetaSel ('Just "psUpdateCommittee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :: (S1 ('MetaSel ('Just "psNewConstitution") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :: S1 ('MetaSel ('Just "psOthers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))))

type ProposalTree era = (StrictMaybe GovActionId, [Tree (GAS era)]) Source #

data StringFn (fn ∷ [Type] → Type → Type) as b Source #

Instances

Instances details

FunctionLike (StringFn fn) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Methods sem ∷ ∀ (as ∷ [Type]) b. StringFn fn as b → FunTy as b Source #
IsConwayUniv fn ⇒ Functions (StringFn fn) fn Source #
Instance details 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 #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Methods showsPrec ∷ Int → StringFn fn as b → ShowS # show ∷ StringFn fn as b → String # showList ∷ [StringFn fn as b] → ShowS #
IsConwayUniv fn ⇒ Eq (StringFn fn as b) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger Methods (==) ∷ StringFn fn as b → StringFn fn as b → Bool # (/=) ∷ StringFn fn as b → StringFn fn as b → Bool #

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 #

type ConwayFn = Fix (OneofL ConwayUnivFns) Source #

sizedValue_ ∷ (HasSpec fn (Sized a), HasSpec fn a) ⇒ Term fn (Sized a) → Term fn a Source #

sizedSize_ ∷ (HasSpec fn (Sized a), HasSpec fn a) ⇒ Term fn (Sized a) → Term fn Int64 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 ⇒ Term fn MaryValue → Term fn Coin Source #

cKeyHashObj ∷ (IsConwayUniv fn, Typeable r) ⇒ Term fn (KeyHash r) → Term fn (Credential r) Source #

cScriptHashObj ∷ (IsConwayUniv fn, Typeable r) ⇒ Term fn ScriptHash → Term fn (Credential r) Source #

strLen_ ∷ ∀ fn s. (Member (StringFn fn) fn, StringLike s, HasSpec fn s) ⇒ Term fn s → Term fn Int Source #

pProcDeposit_ ∷ (EraSpecPParams ConwayEra, IsConwayUniv fn) ⇒ Term fn (ProposalProcedure ConwayEra) → Term fn Coin Source #

pProcGovAction_ ∷ (EraSpecPParams ConwayEra, IsConwayUniv fn) ⇒ Term fn (ProposalProcedure ConwayEra) → Term fn (GovAction ConwayEra) Source #

gasId_ ∷ (EraSpecPParams ConwayEra, IsConwayUniv fn) ⇒ Term fn (GovActionState ConwayEra) → Term fn GovActionId Source #

gasCommitteeVotes_ ∷ (EraSpecPParams ConwayEra, IsConwayUniv fn) ⇒ Term fn (GovActionState ConwayEra) → Term fn (Map (Credential 'HotCommitteeRole) Vote) Source #

gasDRepVotes_ ∷ (EraSpecPParams ConwayEra, IsConwayUniv fn) ⇒ Term fn (GovActionState ConwayEra) → Term fn (Map (Credential 'DRepRole) Vote) Source #

gasProposalProcedure_ ∷ (EraSpecPParams ConwayEra, IsConwayUniv fn) ⇒ Term fn (GovActionState ConwayEra) → Term fn (ProposalProcedure ConwayEra) Source #

psPParamUpdate_ ∷ (EraSpecPParams era, Arbitrary (Proposals era), IsConwayUniv fn) ⇒ Term fn (Proposals era) → Term fn (ProposalTree era) Source #

proposalSplitSum ∷ ProposalsSplit → Integer Source #

genProposalsSplit ∷ Integer → Gen ProposalsSplit 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, Set TxIn, Set TxIn, [Sized (TxOut era)], Maybe (Sized (TxOut era)), Maybe Coin, [TxCert era], Map RewardAccount Coin, Coin, ValidityInterval, Maybe (Update era), Set (KeyHash 'Witness), MultiAsset, Maybe ScriptIntegrityHash, Maybe TxAuxDataHash, 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, Set TxIn, [TxOut era], [TxCert era], Map RewardAccount Coin, Coin, ValidityInterval, Maybe (Update era), Set (KeyHash 'Witness), MultiAsset, Maybe ScriptIntegrityHash, Maybe TxAuxDataHash, 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, [TxOut era], [TxCert era], Map RewardAccount Coin, Coin, ValidityInterval, Maybe (Update era), Maybe TxAuxDataHash, MultiAsset] 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, [TxOut era], [TxCert era], Map RewardAccount Coin, Coin, ValidityInterval, Maybe (Update era), Maybe TxAuxDataHash] 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, [TxOut era], [TxCert era], Map RewardAccount Coin, Coin, SlotNo, Maybe (Update era), Maybe TxAuxDataHash] 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

Instances details

EraSpecDeleg AllegraEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Deleg Methods hasGenDelegs ∷ proxy AllegraEra → Bool Source #
EraSpecDeleg AlonzoEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Deleg Methods hasGenDelegs ∷ proxy AlonzoEra → Bool Source #
EraSpecDeleg BabbageEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Deleg Methods hasGenDelegs ∷ proxy BabbageEra → Bool Source #
EraSpecDeleg ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Deleg Methods hasGenDelegs ∷ proxy ConwayEra → Bool Source #
EraSpecDeleg MaryEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Deleg Methods hasGenDelegs ∷ proxy MaryEra → Bool Source #
EraSpecDeleg ShelleyEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Deleg Methods hasGenDelegs ∷ proxy ShelleyEra → Bool Source #

data CertKey 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)
PoolKey !(KeyHash 'StakePool)
DRepKey !(Credential 'DRepRole)
ColdKey !(Credential 'ColdCommitteeRole)
GenesisKey !(KeyHash 'Genesis)
MirKey !MIRPot

Instances

Instances details

Show CertKey Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Cert Methods showsPrec ∷ Int → CertKey → ShowS # show ∷ CertKey → String # showList ∷ [CertKey] → ShowS #
Eq CertKey Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Cert Methods (==) ∷ CertKey → CertKey → Bool # (/=) ∷ CertKey → CertKey → Bool #
Ord CertKey Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Cert Methods compare ∷ CertKey → CertKey → Ordering # (<) ∷ CertKey → CertKey → Bool # (<=) ∷ CertKey → CertKey → Bool # (>) ∷ CertKey → CertKey → Bool # (>=) ∷ CertKey → CertKey → Bool # max ∷ CertKey → CertKey → CertKey # min ∷ CertKey → CertKey → CertKey #

class (IsConwayUniv fn, HasSpec fn (TxCert era), Era era) ⇒ EraSpecCert era fn where Source #

Methods

txCertSpec ∷ WitUniv era → CertEnv era → CertState era → Specification fn (TxCert era) Source #

txCertKey ∷ TxCert era → CertKey Source #

certStateSpec ∷ WitUniv era → Set (Credential 'DRepRole) → Map RewardAccount Coin → Specification fn (CertState era) Source #

Instances

Instances details

IsConwayUniv fn ⇒ EraSpecCert AllegraEra fn Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Cert Methods txCertSpec ∷ WitUniv AllegraEra → CertEnv AllegraEra → CertState AllegraEra → Specification fn (TxCert AllegraEra) Source # txCertKey ∷ TxCert AllegraEra → CertKey Source # certStateSpec ∷ WitUniv AllegraEra → Set (Credential 'DRepRole) → Map RewardAccount Coin → Specification fn (CertState AllegraEra) Source #
IsConwayUniv fn ⇒ EraSpecCert AlonzoEra fn Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Cert Methods txCertSpec ∷ WitUniv AlonzoEra → CertEnv AlonzoEra → CertState AlonzoEra → Specification fn (TxCert AlonzoEra) Source # txCertKey ∷ TxCert AlonzoEra → CertKey Source # certStateSpec ∷ WitUniv AlonzoEra → Set (Credential 'DRepRole) → Map RewardAccount Coin → Specification fn (CertState AlonzoEra) Source #
IsConwayUniv fn ⇒ EraSpecCert BabbageEra fn Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Cert Methods txCertSpec ∷ WitUniv BabbageEra → CertEnv BabbageEra → CertState BabbageEra → Specification fn (TxCert BabbageEra) Source # txCertKey ∷ TxCert BabbageEra → CertKey Source # certStateSpec ∷ WitUniv BabbageEra → Set (Credential 'DRepRole) → Map RewardAccount Coin → Specification fn (CertState BabbageEra) Source #
IsConwayUniv fn ⇒ EraSpecCert ConwayEra fn Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Cert Methods txCertSpec ∷ WitUniv ConwayEra → CertEnv ConwayEra → CertState ConwayEra → Specification fn (TxCert ConwayEra) Source # txCertKey ∷ TxCert ConwayEra → CertKey Source # certStateSpec ∷ WitUniv ConwayEra → Set (Credential 'DRepRole) → Map RewardAccount Coin → Specification fn (CertState ConwayEra) Source #
IsConwayUniv fn ⇒ EraSpecCert MaryEra fn Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Cert Methods txCertSpec ∷ WitUniv MaryEra → CertEnv MaryEra → CertState MaryEra → Specification fn (TxCert MaryEra) Source # txCertKey ∷ TxCert MaryEra → CertKey Source # certStateSpec ∷ WitUniv MaryEra → Set (Credential 'DRepRole) → Map RewardAccount Coin → Specification fn (CertState MaryEra) Source #
IsConwayUniv fn ⇒ EraSpecCert ShelleyEra fn Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Cert Methods txCertSpec ∷ WitUniv ShelleyEra → CertEnv ShelleyEra → CertState ShelleyEra → Specification fn (TxCert ShelleyEra) Source # txCertKey ∷ TxCert ShelleyEra → CertKey Source # certStateSpec ∷ WitUniv ShelleyEra → Set (Credential 'DRepRole) → Map RewardAccount Coin → Specification fn (CertState ShelleyEra) Source #

class (HasSpec fn (StashedAVVMAddresses era), EraSpecPParams era, EraSpecDeleg era, HasSpec fn (TxOut era), IsNormalType (TxOut era), EraTxOut era, GenScript 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 ∷ WitUniv era → Term fn AccountState → Specification fn InstantaneousRewards Source #

hasPtrs ∷ proxy era → Term fn Bool 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

txOutAddr_ ∷ Term fn (TxOut era) → Term fn Addr Source #

Extract an Addr from a TxOut

Instances

Instances details

IsConwayUniv fn ⇒ EraSpecTxOut AllegraEra fn Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.ParametricSpec Methods irewardSpec ∷ WitUniv AllegraEra → Term fn AccountState → Specification fn InstantaneousRewards Source # hasPtrs ∷ proxy AllegraEra → Term fn Bool Source # txOutValue_ ∷ Term fn (TxOut AllegraEra) → Term fn (Value AllegraEra) Source # txOutCoin_ ∷ Term fn (TxOut AllegraEra) → Term fn Coin Source # txOutAddr_ ∷ Term fn (TxOut AllegraEra) → Term fn Addr Source #
IsConwayUniv fn ⇒ EraSpecTxOut AlonzoEra fn Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.ParametricSpec Methods irewardSpec ∷ WitUniv AlonzoEra → Term fn AccountState → Specification fn InstantaneousRewards Source # hasPtrs ∷ proxy AlonzoEra → Term fn Bool Source # txOutValue_ ∷ Term fn (TxOut AlonzoEra) → Term fn (Value AlonzoEra) Source # txOutCoin_ ∷ Term fn (TxOut AlonzoEra) → Term fn Coin Source # txOutAddr_ ∷ Term fn (TxOut AlonzoEra) → Term fn Addr Source #
IsConwayUniv fn ⇒ EraSpecTxOut BabbageEra fn Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.ParametricSpec Methods irewardSpec ∷ WitUniv BabbageEra → Term fn AccountState → Specification fn InstantaneousRewards Source # hasPtrs ∷ proxy BabbageEra → Term fn Bool Source # txOutValue_ ∷ Term fn (TxOut BabbageEra) → Term fn (Value BabbageEra) Source # txOutCoin_ ∷ Term fn (TxOut BabbageEra) → Term fn Coin Source # txOutAddr_ ∷ Term fn (TxOut BabbageEra) → Term fn Addr Source #
IsConwayUniv fn ⇒ EraSpecTxOut ConwayEra fn Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.ParametricSpec Methods irewardSpec ∷ WitUniv ConwayEra → Term fn AccountState → Specification fn InstantaneousRewards Source # hasPtrs ∷ proxy ConwayEra → Term fn Bool Source # txOutValue_ ∷ Term fn (TxOut ConwayEra) → Term fn (Value ConwayEra) Source # txOutCoin_ ∷ Term fn (TxOut ConwayEra) → Term fn Coin Source # txOutAddr_ ∷ Term fn (TxOut ConwayEra) → Term fn Addr Source #
IsConwayUniv fn ⇒ EraSpecTxOut MaryEra fn Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.ParametricSpec Methods irewardSpec ∷ WitUniv MaryEra → Term fn AccountState → Specification fn InstantaneousRewards Source # hasPtrs ∷ proxy MaryEra → Term fn Bool Source # txOutValue_ ∷ Term fn (TxOut MaryEra) → Term fn (Value MaryEra) Source # txOutCoin_ ∷ Term fn (TxOut MaryEra) → Term fn Coin Source # txOutAddr_ ∷ Term fn (TxOut MaryEra) → Term fn Addr Source #
IsConwayUniv fn ⇒ EraSpecTxOut ShelleyEra fn Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.ParametricSpec Methods irewardSpec ∷ WitUniv ShelleyEra → Term fn AccountState → Specification fn InstantaneousRewards Source # hasPtrs ∷ proxy ShelleyEra → Term fn Bool Source # txOutValue_ ∷ Term fn (TxOut ShelleyEra) → Term fn (Value ShelleyEra) Source # txOutCoin_ ∷ Term fn (TxOut ShelleyEra) → Term fn Coin Source # txOutAddr_ ∷ Term fn (TxOut ShelleyEra) → Term fn Addr Source #

txOutSpec ∷ ∀ fn era. EraSpecTxOut era fn ⇒ WitUniv era → Term fn (Map (Credential 'Staking) (KeyHash 'StakePool)) → Term fn (TxOut era) → Pred fn Source #

An Era polymorhic Specification for type family TxOut

delegatedStakeReference ∷ IsConwayUniv fn ⇒ Term fn (Map (Credential 'Staking) (KeyHash 'StakePool)) → Specification fn StakeReference Source #

Generate random Stake references that have a high probability of being delegated.