cardano-ledger-core-1.16.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 ∷ Crypto c ⇒ Gen (Addr c) Source #

genCompactAddrBadPtr ∷ Crypto c ⇒ Gen (CompactAddr c) Source #

genBadPtr ∷ Gen Ptr Source #

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

genValidUMap ∷ Gen (UMap StandardCrypto) Source #

genValidUMapNonEmpty ∷ Gen (UMap StandardCrypto) Source #

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

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

Used for testing UMap operations

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

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

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

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

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

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

genInsertDeleteRoundtripDRep ∷ Gen (UMap StandardCrypto, Credential 'Staking StandardCrypto, DRep StandardCrypto) 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 ActiveSlotCoeff Source # 
Instance details

Methods

arbitrary ∷ Gen ActiveSlotCoeff Source #

shrink ∷ ActiveSlotCoeff → [ActiveSlotCoeff] 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 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 Ptr Source # 
Instance details

Methods

arbitrary ∷ Gen Ptr Source #

shrink ∷ Ptr → [Ptr] 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 PoolMetadata Source # 
Instance details

Methods

arbitrary ∷ Gen PoolMetadata Source #

shrink ∷ PoolMetadata → [PoolMetadata] 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 RewardType Source # 
Instance details

Methods

arbitrary ∷ Gen RewardType Source #

shrink ∷ RewardType → [RewardType] Source #

Arbitrary RDPair Source # 
Instance details

Methods

arbitrary ∷ Gen RDPair Source #

shrink ∷ RDPair → [RDPair] 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 #

Crypto c ⇒ Arbitrary (Addr c) Source # 
Instance details

Methods

arbitrary ∷ Gen (Addr c) Source #

shrink ∷ Addr c → [Addr c] Source #

Arbitrary (BootstrapAddress c) Source # 
Instance details

Methods

arbitrary ∷ Gen (BootstrapAddress c) Source #

shrink ∷ BootstrapAddress c → [BootstrapAddress c] Source #

Crypto c ⇒ Arbitrary (CompactAddr c) Source # 
Instance details

Methods

arbitrary ∷ Gen (CompactAddr c) Source #

shrink ∷ CompactAddr c → [CompactAddr c] Source #

Crypto c ⇒ Arbitrary (RewardAccount c) Source # 
Instance details

Methods

arbitrary ∷ Gen (RewardAccount c) Source #

shrink ∷ RewardAccount c → [RewardAccount c] Source #

Crypto c ⇒ Arbitrary (Withdrawals c) Source # 
Instance details

Methods

arbitrary ∷ Gen (Withdrawals c) Source #

shrink ∷ Withdrawals c → [Withdrawals c] Source #

Crypto c ⇒ Arbitrary (AuxiliaryDataHash c) Source # 
Instance details

Methods

arbitrary ∷ Gen (AuxiliaryDataHash c) Source #

shrink ∷ AuxiliaryDataHash c → [AuxiliaryDataHash c] Source #

Crypto c ⇒ Arbitrary (Anchor c) Source # 
Instance details

Methods

arbitrary ∷ Gen (Anchor c) Source #

shrink ∷ Anchor c → [Anchor c] Source #

Crypto c ⇒ Arbitrary (BlocksMade c) Source # 
Instance details

Methods

arbitrary ∷ Gen (BlocksMade c) Source #

shrink ∷ BlocksMade c → [BlocksMade c] Source #

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

Methods

arbitrary ∷ Gen (CertState era) Source #

shrink ∷ CertState era → [CertState era] Source #

Crypto c ⇒ Arbitrary (CommitteeAuthorization c) Source # 
Instance details

Methods

arbitrary ∷ Gen (CommitteeAuthorization c) Source #

shrink ∷ CommitteeAuthorization c → [CommitteeAuthorization c] Source #

Era era ⇒ 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 #

Crypto c ⇒ Arbitrary (FutureGenDeleg c) Source # 
Instance details

Methods

arbitrary ∷ Gen (FutureGenDeleg c) Source #

shrink ∷ FutureGenDeleg c → [FutureGenDeleg c] Source #

Crypto c ⇒ Arbitrary (InstantaneousRewards c) Source # 
Instance details

Methods

arbitrary ∷ Gen (InstantaneousRewards c) Source #

shrink ∷ InstantaneousRewards c → [InstantaneousRewards c] Source #

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

Methods

arbitrary ∷ Gen (PState era) Source #

shrink ∷ PState era → [PState era] Source #

Era era ⇒ 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 #

Crypto c ⇒ Arbitrary (PoolCert c) Source # 
Instance details

Methods

arbitrary ∷ Gen (PoolCert c) Source #

shrink ∷ PoolCert c → [PoolCert c] Source #

Crypto c ⇒ Arbitrary (StakeReference c) Source # 
Instance details

Methods

arbitrary ∷ Gen (StakeReference c) Source #

shrink ∷ StakeReference c → [StakeReference c] Source #

Crypto c ⇒ Arbitrary (DRep c) Source # 
Instance details

Methods

arbitrary ∷ Gen (DRep c) Source #

shrink ∷ DRep c → [DRep c] Source #

Crypto c ⇒ Arbitrary (DRepState c) Source # 
Instance details

Methods

arbitrary ∷ Gen (DRepState c) Source #

shrink ∷ DRepState c → [DRepState c] Source #

Crypto c ⇒ Arbitrary (SnapShot c) Source # 
Instance details

Methods

arbitrary ∷ Gen (SnapShot c) Source #

shrink ∷ SnapShot c → [SnapShot c] Source #

Crypto c ⇒ Arbitrary (SnapShots c) Source # 
Instance details

Methods

arbitrary ∷ Gen (SnapShots c) Source #

shrink ∷ SnapShots c → [SnapShots c] Source #

Crypto c ⇒ Arbitrary (Stake c) 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 c) Source #

shrink ∷ Stake c → [Stake c] Source #

Arbitrary (NoUpdate a) Source # 
Instance details

Methods

arbitrary ∷ Gen (NoUpdate a) Source #

shrink ∷ NoUpdate a → [NoUpdate a] Source #

Crypto c ⇒ Arbitrary (ScriptHash c) Source # 
Instance details

Methods

arbitrary ∷ Gen (ScriptHash c) Source #

shrink ∷ ScriptHash c → [ScriptHash c] Source #

Crypto c ⇒ Arbitrary (BootstrapWitness c) Source # 
Instance details

Methods

arbitrary ∷ Gen (BootstrapWitness c) Source #

shrink ∷ BootstrapWitness c → [BootstrapWitness c] Source #

Crypto c ⇒ Arbitrary (GenDelegPair c) Source # 
Instance details

Methods

arbitrary ∷ Gen (GenDelegPair c) Source #

shrink ∷ GenDelegPair c → [GenDelegPair c] Source #

Crypto c ⇒ Arbitrary (GenDelegs c) Source # 
Instance details

Methods

arbitrary ∷ Gen (GenDelegs c) Source #

shrink ∷ GenDelegs c → [GenDelegs c] Source #

Crypto c ⇒ Arbitrary (IndividualPoolStake c) Source # 
Instance details

Methods

arbitrary ∷ Gen (IndividualPoolStake c) Source #

shrink ∷ IndividualPoolStake c → [IndividualPoolStake c] Source #

Crypto c ⇒ Arbitrary (PoolDistr c) Source # 
Instance details

Methods

arbitrary ∷ Gen (PoolDistr c) Source #

shrink ∷ PoolDistr c → [PoolDistr c] Source #

Crypto c ⇒ Arbitrary (PoolParams c) Source # 
Instance details

Methods

arbitrary ∷ Gen (PoolParams c) Source #

shrink ∷ PoolParams c → [PoolParams c] Source #

Crypto c ⇒ Arbitrary (Reward c) Source # 
Instance details

Methods

arbitrary ∷ Gen (Reward c) Source #

shrink ∷ Reward c → [Reward c] Source #

Crypto c ⇒ Arbitrary (TxId c) Source # 
Instance details

Methods

arbitrary ∷ Gen (TxId c) Source #

shrink ∷ TxId c → [TxId c] Source #

Crypto c ⇒ Arbitrary (TxIn c) Source # 
Instance details

Methods

arbitrary ∷ Gen (TxIn c) Source #

shrink ∷ TxIn c → [TxIn c] Source #

Crypto c ⇒ Arbitrary (UMElem c) Source # 
Instance details

Methods

arbitrary ∷ Gen (UMElem c) Source #

shrink ∷ UMElem c → [UMElem c] Source #

Crypto c ⇒ Arbitrary (UMap c) Source # 
Instance details

Methods

arbitrary ∷ Gen (UMap c) Source #

shrink ∷ UMap c → [UMap c] 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 #

Crypto c ⇒ Arbitrary (Credential r c) Source # 
Instance details

Methods

arbitrary ∷ Gen (Credential r c) Source #

shrink ∷ Credential r c → [Credential r c] Source #

Crypto c ⇒ Arbitrary (KeyHash r c) Source # 
Instance details

Methods

arbitrary ∷ Gen (KeyHash r c) Source #

shrink ∷ KeyHash r c → [KeyHash r c] Source #

DSIGNAlgorithm (DSIGN c) ⇒ Arbitrary (VKey kd c) Source # 
Instance details

Methods

arbitrary ∷ Gen (VKey kd c) Source #

shrink ∷ VKey kd c → [VKey kd c] Source #

Crypto c ⇒ Arbitrary (VRFVerKeyHash r c) Source # 
Instance details

Methods

arbitrary ∷ Gen (VRFVerKeyHash r c) Source #

shrink ∷ VRFVerKeyHash r c → [VRFVerKeyHash r c] Source #

(Typeable kr, Crypto c) ⇒ Arbitrary (WitVKey kr c) Source # 
Instance details

Methods

arbitrary ∷ Gen (WitVKey kr c) Source #

shrink ∷ WitVKey kr c → [WitVKey kr c] Source #

Crypto c ⇒ Arbitrary (SafeHash c i) Source # 
Instance details

Methods

arbitrary ∷ Gen (SafeHash c i) Source #

shrink ∷ SafeHash c i → [SafeHash c i] Source #