∷ (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

Era-aware generators

genEraProtVer ∷ Era era ⇒ Gen ProtVer Source #

Generate a ProtVer whose major version falls within the era's accepted range.

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 AccountAddress Source #
Instance details Methods arbitrary ∷ Gen AccountAddress Source # shrink ∷ AccountAddress → [AccountAddress] Source #
Arbitrary AccountId Source #
Instance details Methods arbitrary ∷ Gen AccountId Source # shrink ∷ AccountId → [AccountId] 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 DirectDeposits Source #
Instance details Methods arbitrary ∷ Gen DirectDeposits Source # shrink ∷ DirectDeposits → [DirectDeposits] 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 Milliseconds32 Source #
Instance details Methods arbitrary ∷ Gen Milliseconds32 Source # shrink ∷ Milliseconds32 → [Milliseconds32] 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 CoinPerByte Source #
Instance details Methods arbitrary ∷ Gen CoinPerByte Source # shrink ∷ CoinPerByte → [CoinPerByte] Source #
Arbitrary DeltaCoin Source #
Instance details Methods arbitrary ∷ Gen DeltaCoin Source # shrink ∷ DeltaCoin → [DeltaCoin] Source #
Arbitrary MaxPledgeLeverage Source #
Instance details Methods arbitrary ∷ Gen MaxPledgeLeverage Source # shrink ∷ MaxPledgeLeverage → [MaxPledgeLeverage] Source #
Arbitrary Ptr Source #
Instance details Methods arbitrary ∷ Gen Ptr Source # shrink ∷ Ptr → [Ptr] Source #
Arbitrary SlotNo32 Source #
Instance details Methods arbitrary ∷ Gen SlotNo32 Source # shrink ∷ SlotNo32 → [SlotNo32] 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 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 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 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 ChainAccountState Source #
Instance details Methods arbitrary ∷ Gen ChainAccountState Source # shrink ∷ ChainAccountState → [ChainAccountState] 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 GoSnapShot Source #
Instance details Methods arbitrary ∷ Gen GoSnapShot Source # shrink ∷ GoSnapShot → [GoSnapShot] Source #
Arbitrary MarkSnapShot Source #
Instance details Methods arbitrary ∷ Gen MarkSnapShot Source # shrink ∷ MarkSnapShot → [MarkSnapShot] Source #
Arbitrary SetSnapShot Source #	Builds a consistent set snapshot: its pool distribution and committee are seated from the mark it rotates, never generated independently.
Instance details Methods arbitrary ∷ Gen SetSnapShot Source # shrink ∷ SetSnapShot → [SetSnapShot] Source #
Arbitrary SnapShot Source #
Instance details Methods arbitrary ∷ Gen SnapShot Source # shrink ∷ SnapShot → [SnapShot] Source #
Arbitrary StakePoolSnapShot Source #
Instance details Methods arbitrary ∷ Gen StakePoolSnapShot Source # shrink ∷ StakePoolSnapShot → [StakePoolSnapShot] Source #
Arbitrary ActiveStake Source #
Instance details Methods arbitrary ∷ Gen ActiveStake Source # shrink ∷ ActiveStake → [ActiveStake] 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 StakeWithDelegation Source #
Instance details Methods arbitrary ∷ Gen StakeWithDelegation Source # shrink ∷ StakeWithDelegation → [StakeWithDelegation] Source #
Arbitrary BlsKey Source #
Instance details Methods arbitrary ∷ Gen BlsKey Source # shrink ∷ BlsKey → [BlsKey] Source #
Arbitrary BlsKeyState Source #
Instance details Methods arbitrary ∷ Gen BlsKeyState Source # shrink ∷ BlsKeyState → [BlsKeyState] 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 StakePoolState Source #
Instance details Methods arbitrary ∷ Gen StakePoolState Source # shrink ∷ StakePoolState → [StakePoolState] 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 Data Source #
Instance details Methods arbitrary ∷ Gen Data Source # shrink ∷ Data → [Data] Source #
Arbitrary ExBudget Source #
Instance details Methods arbitrary ∷ Gen ExBudget Source # shrink ∷ ExBudget → [ExBudget] Source #
Arbitrary ExCPU Source #
Instance details Methods arbitrary ∷ Gen ExCPU Source # shrink ∷ ExCPU → [ExCPU] Source #
Arbitrary ExMemory Source #
Instance details Methods arbitrary ∷ Gen ExMemory Source # shrink ∷ ExMemory → [ExMemory] 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 #
Arbitrary (PossessionProofDSIGN BLS12381MinSigDSIGN) Source #
Instance details Methods arbitrary ∷ Gen (PossessionProofDSIGN BLS12381MinSigDSIGN) Source # shrink ∷ PossessionProofDSIGN BLS12381MinSigDSIGN → [PossessionProofDSIGN BLS12381MinSigDSIGN] 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 #
Arbitrary a ⇒ Arbitrary (Exclusive a) Source #
Instance details Methods arbitrary ∷ Gen (Exclusive a) Source # shrink ∷ Exclusive a → [Exclusive a] Source #
Arbitrary a ⇒ Arbitrary (Inclusive a) Source #
Instance details Methods arbitrary ∷ Gen (Inclusive a) Source # shrink ∷ Inclusive a → [Inclusive a] Source #
(Arbitrary a, HasZero a) ⇒ Arbitrary (NonZero a) Source #
Instance details Methods arbitrary ∷ Gen (NonZero a) Source # shrink ∷ NonZero a → [NonZero a] 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 (PoolCert era) Source #
Instance details Methods arbitrary ∷ Gen (PoolCert era) Source # shrink ∷ PoolCert era → [PoolCert era] Source #
Arbitrary (Credential r) Source #
Instance details Methods arbitrary ∷ Gen (Credential r) Source # shrink ∷ Credential r → [Credential r] Source #
Arbitrary (NoGenesis era) Source #
Instance details Methods arbitrary ∷ Gen (NoGenesis era) Source # shrink ∷ NoGenesis era → [NoGenesis era] Source #
Arbitrary (NoUpdate a) Source #
Instance details Methods arbitrary ∷ Gen (NoUpdate a) Source # shrink ∷ NoUpdate a → [NoUpdate a] 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 (KeyHash r) Source #
Instance details Methods arbitrary ∷ Gen (KeyHash r) Source # shrink ∷ KeyHash r → [KeyHash 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 #
Era era ⇒ Arbitrary (BinaryData era) Source #
Instance details Methods arbitrary ∷ Gen (BinaryData era) Source # shrink ∷ BinaryData era → [BinaryData era] Source #
Era era ⇒ Arbitrary (Data era) Source #
Instance details Methods arbitrary ∷ Gen (Data era) Source # shrink ∷ Data era → [Data era] Source #
Era era ⇒ Arbitrary (Datum era) Source #
Instance details Methods arbitrary ∷ Gen (Datum era) Source # shrink ∷ Datum era → [Datum era] Source #
Arbitrary (CommitteeState era) Source #
Instance details Methods arbitrary ∷ Gen (CommitteeState era) Source # shrink ∷ CommitteeState era → [CommitteeState era] Source #
(Era era, Arbitrary (Accounts 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 (SnapShots era) Source #
Instance details Methods arbitrary ∷ Gen (SnapShots era) Source # shrink ∷ SnapShots era → [SnapShots era] Source #
Arbitrary (StakePoolParams era) Source #
Instance details Methods arbitrary ∷ Gen (StakePoolParams era) Source # shrink ∷ StakePoolParams era → [StakePoolParams era] 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 #