Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.Constrained.Preds.Universes

Synopsis

data UnivSize = UnivSize {
- usNumTxOuts ∷ Int
- usMaxAssets ∷ Int
- usMaxPolicyID ∷ Int
- usNumMultiAsset ∷ Int
- usNumPtr ∷ Int
- usNumAddr ∷ Int
- usNumKeys ∷ Int
- usNumPools ∷ Int
- usNumStakeKeys ∷ Int
- usNumGenesisKeys ∷ Int
- usNumVoteKeys ∷ Int
- usNumCredentials ∷ Int
- usNumDatums ∷ Int
- usNumTxIn ∷ Int
- usNumPreUtxo ∷ Int
- usNumColUtxo ∷ Int
- usNumDReps ∷ Int
- usMinCerts ∷ Int
- usMaxCerts ∷ Int
- usDatumFreq ∷ Int
- usGenerateWithdrawals ∷ Bool
- usMinInputs ∷ Int
- usMaxInputs ∷ Int
- usMinCollaterals ∷ Int
- usMaxCollaterals ∷ Int
- usRegKeyFreq ∷ Int
- usUnRegKeyFreq ∷ Int
- usAllowReRegisterPool ∷ Bool
- usSpendScriptFreq ∷ Int
- usCredScriptFreq ∷ Int
}
variedCoin ∷ Gen Coin
noZeroCoin ∷ Gen Coin
genAddrPair ∷ Network → Gen (BootstrapAddress, SigningKey)
genByronUniv ∷ Network → Gen (Map (KeyHash 'Payment) (Addr, SigningKey))
bootWitness ∷ Hash HASH EraIndependentTxBody → [BootstrapAddress] → Map (KeyHash 'Payment) (Addr, SigningKey) → Set BootstrapWitness
genDatums ∷ Era era ⇒ UnivSize → Int → Map DataHash (Data era) → Gen [Datum era]
genDatum ∷ Era era ⇒ UnivSize → Map DataHash (Data era) → Gen (Datum era)
genTxOut ∷ Reflect era ⇒ UnivSize → (Coin → Map ScriptHash (ScriptF era) → Gen (Value era)) → Proof era → Coin → Set Addr → Map ScriptHash (ScriptF era) → Map ScriptHash (ScriptF era) → Map DataHash (Data era) → Gen (TxOut era)
needsDatum ∷ EraScript era ⇒ Credential 'Payment → Map ScriptHash (ScriptF era) → Bool
genTxOuts ∷ Reflect era ⇒ UnivSize → (Coin → Map ScriptHash (ScriptF era) → Gen (Value era)) → Proof era → Int → Set Addr → Map ScriptHash (ScriptF era) → Map ScriptHash (ScriptF era) → Map DataHash (Data era) → Gen [TxOutF era]
genMultiAssetTriple ∷ Map ScriptHash (ScriptF era) → Set AssetName → Gen Integer → Gen (PolicyID, AssetName, Integer)
pick1 ∷ [String] → Set t → Gen t
makeHashScriptMap ∷ Reflect era ⇒ Proof era → Int → PlutusPurposeTag → Map (KeyHash 'Witness) (KeyPair 'Witness) → ValidityInterval → Gen (Map ScriptHash (ScriptF era))
genDataWits ∷ Era era ⇒ Proof era → Int → Gen (Map DataHash (Data era))
genAddrWith ∷ Proof era → Network → Set (Credential 'Payment) → Set Ptr → Set (Credential 'Staking) → Map (KeyHash 'Payment) (Addr, SigningKey) → Gen Addr
genPtr ∷ SlotNo → Gen Ptr
genStakeRefWith ∷ ∀ era. Proof era → Set Ptr → Set (Credential 'Staking) → Gen StakeReference
noScripts ∷ Proof era → Addr → Bool
genDReps ∷ Set (Credential 'Staking) → Gen [DRep]
genDRepsT ∷ UnivSize → Term era (Set (Credential 'Staking)) → Target era (Gen (Set DRep))
txOutT ∷ Reflect era ⇒ Proof era → Addr → Coin → TxOutF era
colTxOutT ∷ EraTxOut era ⇒ Proof era → Set Addr → Gen (TxOutF era)
colTxOutSetT ∷ EraTxOut era ⇒ Proof era → Set Addr → Gen (Set (TxOutF era))
scriptHashObjT ∷ Term era ScriptHash → Target era (Credential k)
keyHashObjT ∷ Term era (KeyHash 'Witness) → Target era (Credential k)
makeValidityT ∷ Term era SlotNo → Term era SlotNo → Term era SlotNo → Target era ValidityInterval
ptrUnivT ∷ Int → Term era SlotNo → Target era (Gen (Set Ptr))
addrUnivT ∷ Proof era → Int → Term era Network → Term era (Set (Credential 'Payment)) → Term era (Set Ptr) → Term era (Set (Credential 'Staking)) → Term era (Map (KeyHash 'Payment) (Addr, SigningKey)) → Target era (Gen (Set Addr))
makeHashScriptMapT ∷ Proof era → Int → PlutusPurposeTag → Term era (Map (KeyHash 'Witness) (KeyPair 'Witness)) → Term era ValidityInterval → Target era (Gen (Map ScriptHash (ScriptF era)))
cast ∷ ∀ k. Set (KeyHash 'Witness) → Set (KeyHash k)
castCredCold ∷ Set (KeyHash 'Witness) → Set (Credential 'ColdCommitteeRole)
castCredHot ∷ Set (KeyHash 'Witness) → Set (Credential 'HotCommitteeRole)
txinToGovactionId ∷ TxIn → GovActionId
universePreds ∷ Reflect era ⇒ UnivSize → Proof era → [Pred era]
multiAsset ∷ UnivSize → Map ScriptHash (ScriptF era) → Gen MultiAsset
genValueF ∷ UnivSize → Proof era → Coin → Map ScriptHash (ScriptF era) → Gen (Value era)
stakeToDRepRole ∷ Credential 'Staking → Credential 'DRepRole
stakeToHotCommittee ∷ Credential 'Staking → Credential 'HotCommitteeRole
stakeToColdCommittee ∷ Credential 'Staking → Credential 'ColdCommitteeRole
solveUniv ∷ Reflect era ⇒ UnivSize → Proof era → Gen (Subst era)
universeStage ∷ Reflect era ⇒ UnivSize → Proof era → Subst era → Gen (Subst era)
demo ∷ ReplMode → IO ()
demoTest ∷ TestTree
main ∷ IO ()

Documentation

data UnivSize Source #

Constructors

UnivSize

Fields

usNumTxOuts ∷ Int
usMaxAssets ∷ Int
usMaxPolicyID ∷ Int
usNumMultiAsset ∷ Int
usNumPtr ∷ Int
usNumAddr ∷ Int
usNumKeys ∷ Int
usNumPools ∷ Int
usNumStakeKeys ∷ Int
usNumGenesisKeys ∷ Int
usNumVoteKeys ∷ Int
usNumCredentials ∷ Int
usNumDatums ∷ Int
usNumTxIn ∷ Int
usNumPreUtxo ∷ Int
usNumColUtxo ∷ Int
usNumDReps ∷ Int
usMinCerts ∷ Int
usMaxCerts ∷ Int
usDatumFreq ∷ Int
usGenerateWithdrawals ∷ Bool
usMinInputs ∷ Int
usMaxInputs ∷ Int
usMinCollaterals ∷ Int
usMaxCollaterals ∷ Int
usRegKeyFreq ∷ Int
usUnRegKeyFreq ∷ Int
usAllowReRegisterPool ∷ Bool
usSpendScriptFreq ∷ Int
usCredScriptFreq ∷ Int

Instances

Instances details

Default UnivSize Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Preds.Universes Methods def ∷ UnivSize Source #

variedCoin ∷ Gen Coin Source #

noZeroCoin ∷ Gen Coin Source #

genAddrPair ∷ Network → Gen (BootstrapAddress, SigningKey) Source #

Generate a pair, A Byron address, and the key that can sign it.

genByronUniv ∷ Network → Gen (Map (KeyHash 'Payment) (Addr, SigningKey)) Source #

Generate a Map, that maps the Hash of a Byron address to a pair of the actual Byron address and the key that can sign it.

bootWitness ∷ Hash HASH EraIndependentTxBody → [BootstrapAddress] → Map (KeyHash 'Payment) (Addr, SigningKey) → Set BootstrapWitness Source #

Given a list of Byron addresses, compute BootStrap witnesses of all of those addresses Can only be used with StandardCrypto

genDatums ∷ Era era ⇒ UnivSize → Int → Map DataHash (Data era) → Gen [Datum era] Source #

The universe of non-empty Datums. i.e. There are no NoDatum Datums in this list

genDatum ∷ Era era ⇒ UnivSize → Map DataHash (Data era) → Gen (Datum era) Source #

Only generate non-empty Datums. I.e. There are no NoDatum Datums generated.

genTxOut ∷ Reflect era ⇒ UnivSize → (Coin → Map ScriptHash (ScriptF era) → Gen (Value era)) → Proof era → Coin → Set Addr → Map ScriptHash (ScriptF era) → Map ScriptHash (ScriptF era) → Map DataHash (Data era) → Gen (TxOut era) Source #

needsDatum ∷ EraScript era ⇒ Credential 'Payment → Map ScriptHash (ScriptF era) → Bool Source #

genTxOuts ∷ Reflect era ⇒ UnivSize → (Coin → Map ScriptHash (ScriptF era) → Gen (Value era)) → Proof era → Int → Set Addr → Map ScriptHash (ScriptF era) → Map ScriptHash (ScriptF era) → Map DataHash (Data era) → Gen [TxOutF era] Source #

genMultiAssetTriple ∷ Map ScriptHash (ScriptF era) → Set AssetName → Gen Integer → Gen (PolicyID, AssetName, Integer) Source #

pick1 ∷ [String] → Set t → Gen t Source #

makeHashScriptMap ∷ Reflect era ⇒ Proof era → Int → PlutusPurposeTag → Map (KeyHash 'Witness) (KeyPair 'Witness) → ValidityInterval → Gen (Map ScriptHash (ScriptF era)) Source #

genDataWits ∷ Era era ⇒ Proof era → Int → Gen (Map DataHash (Data era)) Source #

genAddrWith ∷ Proof era → Network → Set (Credential 'Payment) → Set Ptr → Set (Credential 'Staking) → Map (KeyHash 'Payment) (Addr, SigningKey) → Gen Addr Source #

genPtr ∷ SlotNo → Gen Ptr Source #

genStakeRefWith ∷ ∀ era. Proof era → Set Ptr → Set (Credential 'Staking) → Gen StakeReference Source #

noScripts ∷ Proof era → Addr → Bool Source #

genDReps ∷ Set (Credential 'Staking) → Gen [DRep] Source #

Make some candidate DReps. The 'Always...' and one from each Credential.

genDRepsT ∷ UnivSize → Term era (Set (Credential 'Staking)) → Target era (Gen (Set DRep)) Source #

txOutT ∷ Reflect era ⇒ Proof era → Addr → Coin → TxOutF era Source #

colTxOutT ∷ EraTxOut era ⇒ Proof era → Set Addr → Gen (TxOutF era) Source #

The collateral consists only of VKey addresses and the collateral outputs in the UTxO do not contain any non-ADA part

colTxOutSetT ∷ EraTxOut era ⇒ Proof era → Set Addr → Gen (Set (TxOutF era)) Source #

The collateral consists only of VKey addresses and the collateral outputs in the UTxO do not contain any non-ADA part

scriptHashObjT ∷ Term era ScriptHash → Target era (Credential k) Source #

keyHashObjT ∷ Term era (KeyHash 'Witness) → Target era (Credential k) Source #

makeValidityT ∷ Term era SlotNo → Term era SlotNo → Term era SlotNo → Target era ValidityInterval Source #

ptrUnivT ∷ Int → Term era SlotNo → Target era (Gen (Set Ptr)) Source #

addrUnivT ∷ Proof era → Int → Term era Network → Term era (Set (Credential 'Payment)) → Term era (Set Ptr) → Term era (Set (Credential 'Staking)) → Term era (Map (KeyHash 'Payment) (Addr, SigningKey)) → Target era (Gen (Set Addr)) Source #

makeHashScriptMapT ∷ Proof era → Int → PlutusPurposeTag → Term era (Map (KeyHash 'Witness) (KeyPair 'Witness)) → Term era ValidityInterval → Target era (Gen (Map ScriptHash (ScriptF era))) Source #

cast ∷ ∀ k. Set (KeyHash 'Witness) → Set (KeyHash k) Source #

castCredCold ∷ Set (KeyHash 'Witness) → Set (Credential 'ColdCommitteeRole) Source #

castCredHot ∷ Set (KeyHash 'Witness) → Set (Credential 'HotCommitteeRole) Source #

txinToGovactionId ∷ TxIn → GovActionId Source #

universePreds ∷ Reflect era ⇒ UnivSize → Proof era → [Pred era] Source #

multiAsset ∷ UnivSize → Map ScriptHash (ScriptF era) → Gen MultiAsset Source #

genValueF ∷ UnivSize → Proof era → Coin → Map ScriptHash (ScriptF era) → Gen (Value era) Source #

stakeToDRepRole ∷ Credential 'Staking → Credential 'DRepRole Source #

stakeToHotCommittee ∷ Credential 'Staking → Credential 'HotCommitteeRole Source #

stakeToColdCommittee ∷ Credential 'Staking → Credential 'ColdCommitteeRole Source #

solveUniv ∷ Reflect era ⇒ UnivSize → Proof era → Gen (Subst era) Source #

universeStage ∷ Reflect era ⇒ UnivSize → Proof era → Subst era → Gen (Subst era) Source #

demo ∷ ReplMode → IO () Source #

demoTest ∷ TestTree Source #

main ∷ IO () Source #