Arbitrary RawSeed Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.Arbitrary Methods arbitrary ∷ Gen RawSeed Source # shrink ∷ RawSeed → [RawSeed] Source #
Show RawSeed Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.Arbitrary Methods showsPrec ∷ Int → RawSeed → ShowS Source # show ∷ RawSeed → String Source # showList ∷ [RawSeed] → ShowS Source #
Eq RawSeed Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.Arbitrary Methods (==) ∷ RawSeed → RawSeed → Bool Source # (/=) ∷ RawSeed → RawSeed → Bool Source #

newtype ASC Source #

Constructors

ASC ActiveSlotCoeff

Instances

Instances details

Arbitrary ASC Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.Arbitrary Methods arbitrary ∷ Gen ASC Source # shrink ∷ ASC → [ASC] Source #
Show ASC Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.Arbitrary Methods showsPrec ∷ Int → ASC → ShowS Source # show ∷ ASC → String Source # showList ∷ [ASC] → ShowS Source #

newtype StakeProportion Source #

Constructors

StakeProportion Rational

Instances

Instances details

Arbitrary StakeProportion Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.Arbitrary Methods arbitrary ∷ Gen StakeProportion Source # shrink ∷ StakeProportion → [StakeProportion] Source #
Show StakeProportion Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.Arbitrary Methods showsPrec ∷ Int → StakeProportion → ShowS Source # show ∷ StakeProportion → String Source # showList ∷ [StakeProportion] → ShowS Source #

newtype VRFNatVal Source #

Constructors

VRFNatVal Natural

Instances

Instances details

Arbitrary VRFNatVal Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.Arbitrary Methods arbitrary ∷ Gen VRFNatVal Source # shrink ∷ VRFNatVal → [VRFNatVal] Source #
Show VRFNatVal Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.Arbitrary Methods showsPrec ∷ Int → VRFNatVal → ShowS Source # show ∷ VRFNatVal → String Source # showList ∷ [VRFNatVal] → ShowS Source #

sizedNativeScriptGens ∷ ShelleyEraScript era ⇒ Int → [Gen (NativeScript era)] Source #

Orphan instances

Arbitrary CompactTxOut Source #
Instance details Methods arbitrary ∷ Gen CompactTxOut Source # shrink ∷ CompactTxOut → [CompactTxOut] Source #
Arbitrary Metadatum Source #
Instance details Methods arbitrary ∷ Gen Metadatum Source # shrink ∷ Metadatum → [Metadatum] Source #
Arbitrary NominalDiffTimeMicro Source #
Instance details Methods arbitrary ∷ Gen NominalDiffTimeMicro Source # shrink ∷ NominalDiffTimeMicro → [NominalDiffTimeMicro] Source #
Arbitrary AccountState Source #
Instance details Methods arbitrary ∷ Gen AccountState Source # shrink ∷ AccountState → [AccountState] Source #
Arbitrary Likelihood Source #
Instance details Methods arbitrary ∷ Gen Likelihood Source # shrink ∷ Likelihood → [Likelihood] Source #
Arbitrary LogWeight Source #
Instance details Methods arbitrary ∷ Gen LogWeight Source # shrink ∷ LogWeight → [LogWeight] Source #
Arbitrary PerformanceEstimate Source #
Instance details Methods arbitrary ∷ Gen PerformanceEstimate Source # shrink ∷ PerformanceEstimate → [PerformanceEstimate] Source #
Arbitrary StakeShare Source #
Instance details Methods arbitrary ∷ Gen StakeShare Source # shrink ∷ StakeShare → [StakeShare] Source #
Arbitrary VotingPeriod Source #
Instance details Methods arbitrary ∷ Gen VotingPeriod Source # shrink ∷ VotingPeriod → [VotingPeriod] Source #
Arbitrary MIRPot Source #
Instance details Methods arbitrary ∷ Gen MIRPot Source # shrink ∷ MIRPot → [MIRPot] Source #
(Era era, Arbitrary (PredicateFailure (EraRule "LEDGER" era))) ⇒ Arbitrary (ApplyTxError era) Source #
Instance details Methods arbitrary ∷ Gen (ApplyTxError era) Source # shrink ∷ ApplyTxError era → [ApplyTxError era] Source #
(Crypto c, Arbitrary (PParams (ShelleyEra c))) ⇒ Arbitrary (ShelleyGenesis c) Source #
Instance details Methods arbitrary ∷ Gen (ShelleyGenesis c) Source # shrink ∷ ShelleyGenesis c → [ShelleyGenesis c] Source #
Crypto c ⇒ Arbitrary (ShelleyGenesisStaking c) Source #
Instance details Methods arbitrary ∷ Gen (ShelleyGenesisStaking c) Source # shrink ∷ ShelleyGenesisStaking c → [ShelleyGenesisStaking c] Source #
Arbitrary (PParams era) ⇒ Arbitrary (FuturePParams era) Source #
Instance details Methods arbitrary ∷ Gen (FuturePParams era) Source # shrink ∷ FuturePParams era → [FuturePParams era] Source #
(Era era, Arbitrary (PParamsUpdate era), Arbitrary (PParams era)) ⇒ Arbitrary (ShelleyGovState era) Source #
Instance details Methods arbitrary ∷ Gen (ShelleyGovState era) Source # shrink ∷ ShelleyGovState era → [ShelleyGovState era] Source #
(EraTxOut era, Arbitrary (TxOut era), Arbitrary (GovState era)) ⇒ Arbitrary (EpochState era) Source #
Instance details Methods arbitrary ∷ Gen (EpochState era) Source # shrink ∷ EpochState era → [EpochState era] Source #
Crypto c ⇒ Arbitrary (IncrementalStake c) Source #
Instance details Methods arbitrary ∷ Gen (IncrementalStake c) Source # shrink ∷ IncrementalStake c → [IncrementalStake c] Source #
(EraTxOut era, Arbitrary (TxOut era), Arbitrary (GovState era)) ⇒ Arbitrary (LedgerState era) Source #
Instance details Methods arbitrary ∷ Gen (LedgerState era) Source # shrink ∷ LedgerState era → [LedgerState era] Source #
(EraTxOut era, Arbitrary (TxOut era), Arbitrary (Value era), Arbitrary (PParams era), Arbitrary (StashedAVVMAddresses era), Arbitrary (GovState era)) ⇒ Arbitrary (NewEpochState era) Source #
Instance details Methods arbitrary ∷ Gen (NewEpochState era) Source # shrink ∷ NewEpochState era → [NewEpochState era] Source #
(EraTxOut era, Arbitrary (TxOut era), Arbitrary (GovState era)) ⇒ Arbitrary (UTxOState era) Source #
Instance details Methods arbitrary ∷ Gen (UTxOState era) Source # shrink ∷ UTxOState era → [UTxOState era] Source #
(Era era, Arbitrary (PParamsUpdate era)) ⇒ Arbitrary (ProposedPPUpdates era) Source #
Instance details Methods arbitrary ∷ Gen (ProposedPPUpdates era) Source # shrink ∷ ProposedPPUpdates era → [ProposedPPUpdates era] Source #
(Era era, Arbitrary (PParamsUpdate era)) ⇒ Arbitrary (Update era) Source #
Instance details Methods arbitrary ∷ Gen (Update era) Source # shrink ∷ Update era → [Update era] Source #
Crypto c ⇒ Arbitrary (NonMyopic c) Source #
Instance details Methods arbitrary ∷ Gen (NonMyopic c) Source # shrink ∷ NonMyopic c → [NonMyopic c] Source #
Crypto c ⇒ Arbitrary (FreeVars c) Source #
Instance details Methods arbitrary ∷ Gen (FreeVars c) Source # shrink ∷ FreeVars c → [FreeVars c] Source #
Crypto c ⇒ Arbitrary (PulsingRewUpdate c) Source #
Instance details Methods arbitrary ∷ Gen (PulsingRewUpdate c) Source # shrink ∷ PulsingRewUpdate c → [PulsingRewUpdate c] Source #
Crypto c ⇒ Arbitrary (RewardAns c) Source #
Instance details Methods arbitrary ∷ Gen (RewardAns c) Source # shrink ∷ RewardAns c → [RewardAns c] Source #
Crypto c ⇒ Arbitrary (RewardSnapShot c) Source #
Instance details Methods arbitrary ∷ Gen (RewardSnapShot c) Source # shrink ∷ RewardSnapShot c → [RewardSnapShot c] Source #
Crypto c ⇒ Arbitrary (RewardUpdate c) Source #
Instance details Methods arbitrary ∷ Gen (RewardUpdate c) Source # shrink ∷ RewardUpdate c → [RewardUpdate c] Source #
Crypto c ⇒ Arbitrary (LeaderOnlyReward c) Source #
Instance details Methods arbitrary ∷ Gen (LeaderOnlyReward c) Source # shrink ∷ LeaderOnlyReward c → [LeaderOnlyReward c] Source #
Crypto c ⇒ Arbitrary (PoolRewardInfo c) Source #
Instance details Methods arbitrary ∷ Gen (PoolRewardInfo c) Source # shrink ∷ PoolRewardInfo c → [PoolRewardInfo c] Source #
Era era ⇒ Arbitrary (ShelleyDelegPredFailure era) Source #
Instance details Methods arbitrary ∷ Gen (ShelleyDelegPredFailure era) Source # shrink ∷ ShelleyDelegPredFailure era → [ShelleyDelegPredFailure era] Source #
(Era era, Arbitrary (PredicateFailure (EraRule "DELPL" era))) ⇒ Arbitrary (ShelleyDelegsPredFailure era) Source #
Instance details Methods arbitrary ∷ Gen (ShelleyDelegsPredFailure era) Source # shrink ∷ ShelleyDelegsPredFailure era → [ShelleyDelegsPredFailure era] Source #
(Era era, Arbitrary (PredicateFailure (EraRule "POOL" era)), Arbitrary (PredicateFailure (EraRule "DELEG" era))) ⇒ Arbitrary (ShelleyDelplPredFailure era) Source #
Instance details Methods arbitrary ∷ Gen (ShelleyDelplPredFailure era) Source # shrink ∷ ShelleyDelplPredFailure era → [ShelleyDelplPredFailure era] Source #
(Era era, Arbitrary (PredicateFailure (EraRule "DELEGS" era)), Arbitrary (PredicateFailure (EraRule "UTXOW" era))) ⇒ Arbitrary (ShelleyLedgerPredFailure era) Source #
Instance details Methods arbitrary ∷ Gen (ShelleyLedgerPredFailure era) Source # shrink ∷ ShelleyLedgerPredFailure era → [ShelleyLedgerPredFailure era] Source #
(Era era, Arbitrary (PredicateFailure (EraRule "LEDGER" era))) ⇒ Arbitrary (ShelleyLedgersPredFailure era) Source #
Instance details Methods arbitrary ∷ Gen (ShelleyLedgersPredFailure era) Source # shrink ∷ ShelleyLedgersPredFailure era → [ShelleyLedgersPredFailure era] Source #
Era era ⇒ Arbitrary (ShelleyPoolPredFailure era) Source #
Instance details Methods arbitrary ∷ Gen (ShelleyPoolPredFailure era) Source # shrink ∷ ShelleyPoolPredFailure era → [ShelleyPoolPredFailure era] Source #
Era era ⇒ Arbitrary (ShelleyPpupPredFailure era) Source #
Instance details Methods arbitrary ∷ Gen (ShelleyPpupPredFailure era) Source # shrink ∷ ShelleyPpupPredFailure era → [ShelleyPpupPredFailure era] Source #
(Era era, Arbitrary (Value era), Arbitrary (TxOut era), Arbitrary (EraRuleFailure "PPUP" era)) ⇒ Arbitrary (ShelleyUtxoPredFailure era) Source #
Instance details Methods arbitrary ∷ Gen (ShelleyUtxoPredFailure era) Source # shrink ∷ ShelleyUtxoPredFailure era → [ShelleyUtxoPredFailure era] Source #
(Era era, Arbitrary (PredicateFailure (EraRule "UTXO" era))) ⇒ Arbitrary (ShelleyUtxowPredFailure era) Source #
Instance details Methods arbitrary ∷ Gen (ShelleyUtxowPredFailure era) Source # shrink ∷ ShelleyUtxowPredFailure era → [ShelleyUtxowPredFailure era] Source #
(ShelleyEraScript era, NativeScript era ~ MultiSig era) ⇒ Arbitrary (MultiSig era) Source #
Instance details Methods arbitrary ∷ Gen (MultiSig era) Source # shrink ∷ MultiSig era → [MultiSig era] Source #
(EraTx era, Arbitrary (TxBody era), Arbitrary (Value era), Arbitrary (TxAuxData era), Arbitrary (Script era), Arbitrary (TxWits era)) ⇒ Arbitrary (ShelleyTx era) Source #
Instance details Methods arbitrary ∷ Gen (ShelleyTx era) Source # shrink ∷ ShelleyTx era → [ShelleyTx era] Source #
Era era ⇒ Arbitrary (ShelleyTxAuxData era) Source #
Instance details Methods arbitrary ∷ Gen (ShelleyTxAuxData era) Source # shrink ∷ ShelleyTxAuxData era → [ShelleyTxAuxData era] Source #
(EraTxOut era, ShelleyEraScript era, Arbitrary (PParamsUpdate era), Arbitrary (TxOut era), Arbitrary (TxCert era), EncCBOR (TxCert era)) ⇒ Arbitrary (ShelleyTxBody era) Source #
Instance details Methods arbitrary ∷ Gen (ShelleyTxBody era) Source # shrink ∷ ShelleyTxBody era → [ShelleyTxBody era] Source #
Crypto c ⇒ Arbitrary (GenesisDelegCert c) Source #
Instance details Methods arbitrary ∷ Gen (GenesisDelegCert c) Source # shrink ∷ GenesisDelegCert c → [GenesisDelegCert c] Source #
Crypto c ⇒ Arbitrary (MIRCert c) Source #
Instance details Methods arbitrary ∷ Gen (MIRCert c) Source # shrink ∷ MIRCert c → [MIRCert c] Source #
Crypto c ⇒ Arbitrary (MIRTarget c) Source #
Instance details Methods arbitrary ∷ Gen (MIRTarget c) Source # shrink ∷ MIRTarget c → [MIRTarget c] Source #
Crypto c ⇒ Arbitrary (ShelleyDelegCert c) Source #
Instance details Methods arbitrary ∷ Gen (ShelleyDelegCert c) Source # shrink ∷ ShelleyDelegCert c → [ShelleyDelegCert c] Source #
Era era ⇒ Arbitrary (ShelleyTxCert era) Source #
Instance details Methods arbitrary ∷ Gen (ShelleyTxCert era) Source # shrink ∷ ShelleyTxCert era → [ShelleyTxCert era] Source #
(EraTxOut era, Arbitrary (Value era)) ⇒ Arbitrary (ShelleyTxOut era) Source #
Instance details Methods arbitrary ∷ Gen (ShelleyTxOut era) Source # shrink ∷ ShelleyTxOut era → [ShelleyTxOut era] Source #
(Era era, EraScript era, Arbitrary (Script era)) ⇒ Arbitrary (ShelleyTxWits era) Source #
Instance details Methods arbitrary ∷ Gen (ShelleyTxWits era) Source # shrink ∷ ShelleyTxWits era → [ShelleyTxWits era] Source #
(Arbitrary k, Arbitrary v) ⇒ Arbitrary (ListMap k v) Source #
Instance details Methods arbitrary ∷ Gen (ListMap k v) Source # shrink ∷ ListMap k v → [ListMap k v] Source #
Era era ⇒ Arbitrary (ShelleyPParams Identity era) Source #
Instance details Methods arbitrary ∷ Gen (ShelleyPParams Identity era) Source # shrink ∷ ShelleyPParams Identity era → [ShelleyPParams Identity era] Source #
Era era ⇒ Arbitrary (ShelleyPParams StrictMaybe era) Source #
Instance details Methods arbitrary ∷ Gen (ShelleyPParams StrictMaybe era) Source # shrink ∷ ShelleyPParams StrictMaybe era → [ShelleyPParams StrictMaybe era] Source #
(Crypto c, a ~ RewardAns c) ⇒ Arbitrary (RewardPulser c ShelleyBase a) Source #
Instance details Methods arbitrary ∷ Gen (RewardPulser c ShelleyBase a) Source # shrink ∷ RewardPulser c ShelleyBase a → [RewardPulser c ShelleyBase a] Source #