cardano-ledger-core-1.17.0.0: Core components of Cardano ledgers from the Shelley release on.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Core.Arbitrary

Synopsis

Documentation

module Test.Cardano.Ledger.Binary.Arbitrary

genAddrBadPtr ∷ Gen Addr Source #

genCompactAddrBadPtr ∷ Gen CompactAddr Source #

genBadPtr ∷ Gen Ptr Source #

Generate a Ptr with full 64bit range for values. Not allowed starting in Babbage

genValidUMap ∷ Gen UMap Source #

genValidUMapNonEmpty ∷ Gen UMap Source #

genValidUMapWithCreds ∷ Gen (UMap, Set (Credential 'Staking)) Source #

genValidTuples ∷ Gen (Map (Credential 'Staking) RDPair, Map Ptr (Credential 'Staking), Map (Credential 'Staking) (KeyHash 'StakePool), Map (Credential 'Staking) DRep) Source #

Used for testing UMap operations

genValidTuplesNonEmpty ∷ Gen (Map (Credential 'Staking) RDPair, Map Ptr (Credential 'Staking), Map (Credential 'Staking) (KeyHash 'StakePool), Map (Credential 'Staking) DRep) Source #

genInvariantNonEmpty ∷ Gen (Credential 'Staking, Ptr, UMap) Source #

genRightPreferenceUMap ∷ Gen (UMap, Map (Credential 'Staking) RDPair) Source #

genInsertDeleteRoundtripRDPair ∷ Gen (UMap, Credential 'Staking, RDPair) Source #

genInsertDeleteRoundtripPtr ∷ Gen (UMap, Ptr, Credential 'Staking) Source #

genInsertDeleteRoundtripSPool ∷ Gen (UMap, Credential 'Staking, KeyHash 'StakePool) Source #

genInsertDeleteRoundtripDRep ∷ Gen (UMap, Credential 'Staking, DRep) Source #

Plutus

genValidAndUnknownCostModels ∷ Gen CostModels Source #

genValidCostModel ∷ Language → Gen CostModel Source #

genValidCostModels ∷ Set Language → Gen CostModels Source #

Utils

Will need to find a better home in the future

uniformSubSet Source #

Arguments

∷ (StatefulGen g m, Ord k) 
⇒ Maybe Int

Size of the subset. If supplied will be clamped to [0, Set.size s] interval, otherwise will be generated randomly.

→ Set k 
→ g 
→ m (Set k) 

uniformSubMap Source #

Arguments

∷ (StatefulGen g m, Ord k) 
⇒ Maybe Int

Size of the subMap. If supplied will be clamped to [0, Map.size s] interval, otherwise will be generated randomly.

→ Map k v 
→ g 
→ m (Map k v) 

uniformSubMapElems Source #

Arguments

∷ (StatefulGen g m, Monoid f) 
⇒ (k → v → f → f) 
→ Maybe Int

Size of the subMap. If supplied will be clamped to [0, Map.size s] interval, otherwise will be generated randomly.

→ Map k v 
→ g 
→ m f 

Orphan instances

Arbitrary AddrAttributes Source # 
Instance details

Methods

arbitrary ∷ Gen AddrAttributes Source #

shrink ∷ AddrAttributes → [AddrAttributes] Source #

Arbitrary Address Source # 
Instance details

Methods

arbitrary ∷ Gen Address Source #

shrink ∷ Address → [Address] Source #

Arbitrary Addr Source # 
Instance details

Methods

arbitrary ∷ Gen Addr Source #

shrink ∷ Addr → [Addr] Source #

Arbitrary BootstrapAddress Source # 
Instance details

Methods

arbitrary ∷ Gen BootstrapAddress Source #

shrink ∷ BootstrapAddress → [BootstrapAddress] Source #

Arbitrary CompactAddr Source # 
Instance details

Methods

arbitrary ∷ Gen CompactAddr Source #

shrink ∷ CompactAddr → [CompactAddr] Source #

Arbitrary RewardAccount Source # 
Instance details

Methods

arbitrary ∷ Gen RewardAccount Source #

shrink ∷ RewardAccount → [RewardAccount] Source #

Arbitrary Withdrawals Source # 
Instance details

Methods

arbitrary ∷ Gen Withdrawals Source #

shrink ∷ Withdrawals → [Withdrawals] Source #

Arbitrary ActiveSlotCoeff Source # 
Instance details

Methods

arbitrary ∷ Gen ActiveSlotCoeff Source #

shrink ∷ ActiveSlotCoeff → [ActiveSlotCoeff] Source #

Arbitrary Anchor Source # 
Instance details

Methods

arbitrary ∷ Gen Anchor Source #

shrink ∷ Anchor → [Anchor] Source #

Arbitrary BlocksMade Source # 
Instance details

Methods

arbitrary ∷ Gen BlocksMade Source #

shrink ∷ BlocksMade → [BlocksMade] Source #

Arbitrary CertIx Source # 
Instance details

Methods

arbitrary ∷ Gen CertIx Source #

shrink ∷ CertIx → [CertIx] Source #

Arbitrary DnsName Source # 
Instance details

Methods

arbitrary ∷ Gen DnsName Source #

shrink ∷ DnsName → [DnsName] Source #

Arbitrary Network Source # 
Instance details

Methods

arbitrary ∷ Gen Network Source #

shrink ∷ Network → [Network] Source #

Arbitrary NonNegativeInterval Source #

Decimal numbers only

Instance details

Methods

arbitrary ∷ Gen NonNegativeInterval Source #

shrink ∷ NonNegativeInterval → [NonNegativeInterval] Source #

Arbitrary Nonce Source # 
Instance details

Methods

arbitrary ∷ Gen Nonce Source #

shrink ∷ Nonce → [Nonce] Source #

Arbitrary Port Source # 
Instance details

Methods

arbitrary ∷ Gen Port Source #

shrink ∷ Port → [Port] Source #

Arbitrary PositiveInterval Source #

Decimal numbers only

Instance details

Methods

arbitrary ∷ Gen PositiveInterval Source #

shrink ∷ PositiveInterval → [PositiveInterval] Source #

Arbitrary PositiveUnitInterval Source #

Decimal numbers only

Instance details

Methods

arbitrary ∷ Gen PositiveUnitInterval Source #

shrink ∷ PositiveUnitInterval → [PositiveUnitInterval] Source #

Arbitrary ProtVer Source # 
Instance details

Methods

arbitrary ∷ Gen ProtVer Source #

shrink ∷ ProtVer → [ProtVer] Source #

Arbitrary TxIx Source # 
Instance details

Methods

arbitrary ∷ Gen TxIx Source #

shrink ∷ TxIx → [TxIx] Source #

Arbitrary UnitInterval Source #

Decimal numbers only

Instance details

Methods

arbitrary ∷ Gen UnitInterval Source #

shrink ∷ UnitInterval → [UnitInterval] Source #

Arbitrary Url Source # 
Instance details

Methods

arbitrary ∷ Gen Url Source #

shrink ∷ Url → [Url] Source #

Arbitrary CommitteeAuthorization Source # 
Instance details

Methods

arbitrary ∷ Gen CommitteeAuthorization Source #

shrink ∷ CommitteeAuthorization → [CommitteeAuthorization] Source #

Arbitrary FutureGenDeleg Source # 
Instance details

Methods

arbitrary ∷ Gen FutureGenDeleg Source #

shrink ∷ FutureGenDeleg → [FutureGenDeleg] Source #

Arbitrary InstantaneousRewards Source # 
Instance details

Methods

arbitrary ∷ Gen InstantaneousRewards Source #

shrink ∷ InstantaneousRewards → [InstantaneousRewards] Source #

Arbitrary Coin Source # 
Instance details

Methods

arbitrary ∷ Gen Coin Source #

shrink ∷ Coin → [Coin] Source #

Arbitrary DeltaCoin Source # 
Instance details

Methods

arbitrary ∷ Gen DeltaCoin Source #

shrink ∷ DeltaCoin → [DeltaCoin] Source #

Arbitrary PoolCert Source # 
Instance details

Methods

arbitrary ∷ Gen PoolCert Source #

shrink ∷ PoolCert → [PoolCert] Source #

Arbitrary Ptr Source # 
Instance details

Methods

arbitrary ∷ Gen Ptr Source #

shrink ∷ Ptr → [Ptr] Source #

Arbitrary StakeReference Source # 
Instance details

Methods

arbitrary ∷ Gen StakeReference Source #

shrink ∷ StakeReference → [StakeReference] Source #

Arbitrary DRep Source # 
Instance details

Methods

arbitrary ∷ Gen DRep Source #

shrink ∷ DRep → [DRep] Source #

Arbitrary DRepState Source # 
Instance details

Methods

arbitrary ∷ Gen DRepState Source #

shrink ∷ DRepState → [DRepState] Source #

Arbitrary SnapShot Source # 
Instance details

Methods

arbitrary ∷ Gen SnapShot Source #

shrink ∷ SnapShot → [SnapShot] Source #

Arbitrary SnapShots Source # 
Instance details

Methods

arbitrary ∷ Gen SnapShots Source #

shrink ∷ SnapShots → [SnapShots] Source #

Arbitrary Stake Source #

In the system, Stake never contains more than the sum of all Ada (which is constant). This makes it safe to store individual Coins (in CompactForm) as Word64. But we must be careful that we never generate Stake where the sum of all the coins exceeds (maxBound :: Word64) There will never be a real Stake in the system with that many Ada, because total Ada is constant. So using a restricted Arbitrary Generator is OK.

Instance details

Methods

arbitrary ∷ Gen Stake Source #

shrink ∷ Stake → [Stake] Source #

Arbitrary GenDelegPair Source # 
Instance details

Methods

arbitrary ∷ Gen GenDelegPair Source #

shrink ∷ GenDelegPair → [GenDelegPair] Source #

Arbitrary GenDelegs Source # 
Instance details

Methods

arbitrary ∷ Gen GenDelegs Source #

shrink ∷ GenDelegs → [GenDelegs] Source #

Arbitrary ScriptHash Source # 
Instance details

Methods

arbitrary ∷ Gen ScriptHash Source #

shrink ∷ ScriptHash → [ScriptHash] Source #

Arbitrary TxAuxDataHash Source # 
Instance details

Methods

arbitrary ∷ Gen TxAuxDataHash Source #

shrink ∷ TxAuxDataHash → [TxAuxDataHash] Source #

Arbitrary BootstrapWitness Source # 
Instance details

Methods

arbitrary ∷ Gen BootstrapWitness Source #

shrink ∷ BootstrapWitness → [BootstrapWitness] Source #

Arbitrary ChainCode Source # 
Instance details

Methods

arbitrary ∷ Gen ChainCode Source #

shrink ∷ ChainCode → [ChainCode] Source #

Arbitrary CostModel Source # 
Instance details

Methods

arbitrary ∷ Gen CostModel Source #

shrink ∷ CostModel → [CostModel] Source #

Arbitrary CostModels Source #

This Arbitrary instance assumes the inflexible deserialization scheme prior to version 9.

Instance details

Methods

arbitrary ∷ Gen CostModels Source #

shrink ∷ CostModels → [CostModels] Source #

Arbitrary ExUnits Source # 
Instance details

Methods

arbitrary ∷ Gen ExUnits Source #

shrink ∷ ExUnits → [ExUnits] Source #

Arbitrary Prices Source # 
Instance details

Methods

arbitrary ∷ Gen Prices Source #

shrink ∷ Prices → [Prices] Source #

Arbitrary Language Source # 
Instance details

Methods

arbitrary ∷ Gen Language Source #

shrink ∷ Language → [Language] Source #

Arbitrary IndividualPoolStake Source # 
Instance details

Methods

arbitrary ∷ Gen IndividualPoolStake Source #

shrink ∷ IndividualPoolStake → [IndividualPoolStake] Source #

Arbitrary PoolDistr Source # 
Instance details

Methods

arbitrary ∷ Gen PoolDistr Source #

shrink ∷ PoolDistr → [PoolDistr] Source #

Arbitrary PoolMetadata Source # 
Instance details

Methods

arbitrary ∷ Gen PoolMetadata Source #

shrink ∷ PoolMetadata → [PoolMetadata] Source #

Arbitrary PoolParams Source # 
Instance details

Methods

arbitrary ∷ Gen PoolParams Source #

shrink ∷ PoolParams → [PoolParams] Source #

Arbitrary SizeOfPoolOwners Source # 
Instance details

Methods

arbitrary ∷ Gen SizeOfPoolOwners Source #

shrink ∷ SizeOfPoolOwners → [SizeOfPoolOwners] Source #

Arbitrary SizeOfPoolRelays Source # 
Instance details

Methods

arbitrary ∷ Gen SizeOfPoolRelays Source #

shrink ∷ SizeOfPoolRelays → [SizeOfPoolRelays] Source #

Arbitrary StakePoolRelay Source # 
Instance details

Methods

arbitrary ∷ Gen StakePoolRelay Source #

shrink ∷ StakePoolRelay → [StakePoolRelay] Source #

Arbitrary Reward Source # 
Instance details

Methods

arbitrary ∷ Gen Reward Source #

shrink ∷ Reward → [Reward] Source #

Arbitrary RewardType Source # 
Instance details

Methods

arbitrary ∷ Gen RewardType Source #

shrink ∷ RewardType → [RewardType] Source #

Arbitrary TxId Source # 
Instance details

Methods

arbitrary ∷ Gen TxId Source #

shrink ∷ TxId → [TxId] Source #

Arbitrary TxIn Source # 
Instance details

Methods

arbitrary ∷ Gen TxIn Source #

shrink ∷ TxIn → [TxIn] Source #

Arbitrary RDPair Source # 
Instance details

Methods

arbitrary ∷ Gen RDPair Source #

shrink ∷ RDPair → [RDPair] Source #

Arbitrary UMElem Source # 
Instance details

Methods

arbitrary ∷ Gen UMElem Source #

shrink ∷ UMElem → [UMElem] Source #

Arbitrary UMap Source # 
Instance details

Methods

arbitrary ∷ Gen UMap Source #

shrink ∷ UMap → [UMap] Source #

Arbitrary EpochInterval Source # 
Instance details

Methods

arbitrary ∷ Gen EpochInterval Source #

shrink ∷ EpochInterval → [EpochInterval] Source #

GenValid ActiveSlotCoeff Source # 
Instance details

Methods

genValid ∷ Gen ActiveSlotCoeff Source #

shrinkValid ∷ ActiveSlotCoeff → [ActiveSlotCoeff] Source #

GenValid NonNegativeInterval Source # 
Instance details

Methods

genValid ∷ Gen NonNegativeInterval Source #

shrinkValid ∷ NonNegativeInterval → [NonNegativeInterval] Source #

GenValid PositiveInterval Source # 
Instance details

Methods

genValid ∷ Gen PositiveInterval Source #

shrinkValid ∷ PositiveInterval → [PositiveInterval] Source #

GenValid PositiveUnitInterval Source # 
Instance details

Methods

genValid ∷ Gen PositiveUnitInterval Source #

shrinkValid ∷ PositiveUnitInterval → [PositiveUnitInterval] Source #

GenValid UnitInterval Source # 
Instance details

Methods

genValid ∷ Gen UnitInterval Source #

shrinkValid ∷ UnitInterval → [UnitInterval] Source #

Validity ActiveSlotCoeff Source # 
Instance details

Methods

validate ∷ ActiveSlotCoeff → Validation Source #

Validity NonNegativeInterval Source # 
Instance details

Methods

validate ∷ NonNegativeInterval → Validation Source #

Validity PositiveInterval Source # 
Instance details

Methods

validate ∷ PositiveInterval → Validation Source #

Validity PositiveUnitInterval Source # 
Instance details

Methods

validate ∷ PositiveUnitInterval → Validation Source #

Validity UnitInterval Source # 
Instance details

Methods

validate ∷ UnitInterval → Validation Source #

(Era era, EncCBOR (f era), Arbitrary (f era)) ⇒ Arbitrary (Sized (f era)) Source # 
Instance details

Methods

arbitrary ∷ Gen (Sized (f era)) Source #

shrink ∷ Sized (f era) → [Sized (f era)] Source #

Arbitrary (Attributes AddrAttributes) Source # 
Instance details

Methods

arbitrary ∷ Gen (Attributes AddrAttributes) Source #

shrink ∷ Attributes AddrAttributes → [Attributes AddrAttributes] Source #

Era era ⇒ Arbitrary (CertState era) Source # 
Instance details

Methods

arbitrary ∷ Gen (CertState era) Source #

shrink ∷ CertState era → [CertState era] Source #

Arbitrary (CommitteeState era) Source # 
Instance details

Methods

arbitrary ∷ Gen (CommitteeState era) Source #

shrink ∷ CommitteeState era → [CommitteeState era] Source #

Era era ⇒ Arbitrary (DState era) Source # 
Instance details

Methods

arbitrary ∷ Gen (DState era) Source #

shrink ∷ DState era → [DState era] Source #

Arbitrary (PState era) Source # 
Instance details

Methods

arbitrary ∷ Gen (PState era) Source #

shrink ∷ PState era → [PState era] Source #

Arbitrary (VState era) Source # 
Instance details

Methods

arbitrary ∷ Gen (VState era) Source #

shrink ∷ VState era → [VState era] Source #

Arbitrary (CompactForm Coin) Source # 
Instance details

Methods

arbitrary ∷ Gen (CompactForm Coin) Source #

shrink ∷ CompactForm Coin → [CompactForm Coin] Source #

(Era era, Arbitrary (PParamsHKD Identity era)) ⇒ Arbitrary (PParams era) Source # 
Instance details

Methods

arbitrary ∷ Gen (PParams era) Source #

shrink ∷ PParams era → [PParams era] Source #

(Era era, Arbitrary (PParamsHKD StrictMaybe era)) ⇒ Arbitrary (PParamsUpdate era) Source # 
Instance details

Methods

arbitrary ∷ Gen (PParamsUpdate era) Source #

shrink ∷ PParamsUpdate era → [PParamsUpdate era] Source #

Arbitrary (Credential r) Source # 
Instance details

Methods

arbitrary ∷ Gen (Credential r) Source #

shrink ∷ Credential r → [Credential r] Source #

Arbitrary (NoUpdate a) Source # 
Instance details

Methods

arbitrary ∷ Gen (NoUpdate a) Source #

shrink ∷ NoUpdate a → [NoUpdate a] Source #

Arbitrary (KeyHash r) Source # 
Instance details

Methods

arbitrary ∷ Gen (KeyHash r) Source #

shrink ∷ KeyHash r → [KeyHash r] Source #

Arbitrary (SafeHash i) Source # 
Instance details

Methods

arbitrary ∷ Gen (SafeHash i) Source #

shrink ∷ SafeHash i → [SafeHash i] Source #

Arbitrary (VRFVerKeyHash r) Source # 
Instance details

Methods

arbitrary ∷ Gen (VRFVerKeyHash r) Source #

shrink ∷ VRFVerKeyHash r → [VRFVerKeyHash r] Source #

Arbitrary (VKey kd) Source # 
Instance details

Methods

arbitrary ∷ Gen (VKey kd) Source #

shrink ∷ VKey kd → [VKey kd] Source #

Typeable kr ⇒ Arbitrary (WitVKey kr) Source # 
Instance details

Methods

arbitrary ∷ Gen (WitVKey kr) Source #

shrink ∷ WitVKey kr → [WitVKey kr] Source #

(EraTxOut era, Arbitrary (TxOut era)) ⇒ Arbitrary (UTxO era) Source # 
Instance details

Methods

arbitrary ∷ Gen (UTxO era) Source #

shrink ∷ UTxO era → [UTxO era] Source #

Arbitrary a ⇒ Arbitrary (Mismatch r a) Source # 
Instance details

Methods

arbitrary ∷ Gen (Mismatch r a) Source #

shrink ∷ Mismatch r a → [Mismatch r a] Source #