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 # show ∷ RawSeed → String # showList ∷ [RawSeed] → ShowS #
EncCBOR RawSeed Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.Arbitrary Methods encCBOR ∷ RawSeed → Encoding Source #
Eq RawSeed Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.Arbitrary Methods (==) ∷ RawSeed → RawSeed → Bool # (/=) ∷ RawSeed → RawSeed → Bool #

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 # show ∷ ASC → String # showList ∷ [ASC] → ShowS #

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 # show ∷ StakeProportion → String # showList ∷ [StakeProportion] → ShowS #

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 (PParams ShelleyEra) ⇒ Arbitrary ShelleyGenesis Source #
Instance details Methods arbitrary ∷ Gen ShelleyGenesis Source # shrink ∷ ShelleyGenesis → [ShelleyGenesis] Source #
Arbitrary ShelleyGenesisStaking Source #
Instance details Methods arbitrary ∷ Gen ShelleyGenesisStaking Source # shrink ∷ ShelleyGenesisStaking → [ShelleyGenesisStaking] 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 NonMyopic Source #
Instance details Methods arbitrary ∷ Gen NonMyopic Source # shrink ∷ NonMyopic → [NonMyopic] Source #
Arbitrary PerformanceEstimate Source #
Instance details Methods arbitrary ∷ Gen PerformanceEstimate Source # shrink ∷ PerformanceEstimate → [PerformanceEstimate] Source #
Arbitrary FreeVars Source #
Instance details Methods arbitrary ∷ Gen FreeVars Source # shrink ∷ FreeVars → [FreeVars] Source #
Arbitrary PulsingRewUpdate Source #
Instance details Methods arbitrary ∷ Gen PulsingRewUpdate Source # shrink ∷ PulsingRewUpdate → [PulsingRewUpdate] Source #
Arbitrary RewardAns Source #
Instance details Methods arbitrary ∷ Gen RewardAns Source # shrink ∷ RewardAns → [RewardAns] Source #
Arbitrary RewardSnapShot Source #
Instance details Methods arbitrary ∷ Gen RewardSnapShot Source # shrink ∷ RewardSnapShot → [RewardSnapShot] Source #
Arbitrary RewardUpdate Source #
Instance details Methods arbitrary ∷ Gen RewardUpdate Source # shrink ∷ RewardUpdate → [RewardUpdate] Source #
Arbitrary LeaderOnlyReward Source #
Instance details Methods arbitrary ∷ Gen LeaderOnlyReward Source # shrink ∷ LeaderOnlyReward → [LeaderOnlyReward] Source #
Arbitrary PoolRewardInfo Source #
Instance details Methods arbitrary ∷ Gen PoolRewardInfo Source # shrink ∷ PoolRewardInfo → [PoolRewardInfo] 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 FromByronTranslationContext Source #
Instance details Methods arbitrary ∷ Gen FromByronTranslationContext Source # shrink ∷ FromByronTranslationContext → [FromByronTranslationContext] Source #
Arbitrary GenesisDelegCert Source #
Instance details Methods arbitrary ∷ Gen GenesisDelegCert Source # shrink ∷ GenesisDelegCert → [GenesisDelegCert] Source #
Arbitrary MIRCert Source #
Instance details Methods arbitrary ∷ Gen MIRCert Source # shrink ∷ MIRCert → [MIRCert] Source #
Arbitrary MIRPot Source #
Instance details Methods arbitrary ∷ Gen MIRPot Source # shrink ∷ MIRPot → [MIRPot] Source #
Arbitrary MIRTarget Source #
Instance details Methods arbitrary ∷ Gen MIRTarget Source # shrink ∷ MIRTarget → [MIRTarget] Source #
Arbitrary ShelleyDelegCert Source #
Instance details Methods arbitrary ∷ Gen ShelleyDelegCert Source # shrink ∷ ShelleyDelegCert → [ShelleyDelegCert] Source #
Arbitrary (Tx ShelleyEra) Source #
Instance details Methods arbitrary ∷ Gen (Tx ShelleyEra) Source # shrink ∷ Tx ShelleyEra → [Tx ShelleyEra] Source #
Arbitrary (TxBody ShelleyEra) Source #
Instance details Methods arbitrary ∷ Gen (TxBody ShelleyEra) Source # shrink ∷ TxBody ShelleyEra → [TxBody ShelleyEra] 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 (PredicateFailure (EraRule "LEDGER" era))) ⇒ Arbitrary (ApplyTxError era) Source #
Instance details Methods arbitrary ∷ Gen (ApplyTxError era) Source # shrink ∷ ApplyTxError era → [ApplyTxError era] Source #
(EraBlockBody era, BlockBody era ~ ShelleyBlockBody era, Arbitrary (Tx era), SafeToHash (TxWits era)) ⇒ Arbitrary (ShelleyBlockBody era) Source #
Instance details Methods arbitrary ∷ Gen (ShelleyBlockBody era) Source # shrink ∷ ShelleyBlockBody era → [ShelleyBlockBody 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 (CertState era), Arbitrary (InstantStake era)) ⇒ Arbitrary (EpochState era) Source #
Instance details Methods arbitrary ∷ Gen (EpochState era) Source # shrink ∷ EpochState era → [EpochState era] Source #
(EraTxOut era, Arbitrary (TxOut era), Arbitrary (GovState era), Arbitrary (CertState era), Arbitrary (InstantStake 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 (CertState era), Arbitrary (InstantStake 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 (InstantStake 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 #
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 #
Arbitrary (ShelleyAccountState era) Source #
Instance details Methods arbitrary ∷ Gen (ShelleyAccountState era) Source # shrink ∷ ShelleyAccountState era → [ShelleyAccountState era] Source #
Arbitrary (ShelleyAccounts era) Source #
Instance details Methods arbitrary ∷ Gen (ShelleyAccounts era) Source # shrink ∷ ShelleyAccounts era → [ShelleyAccounts era] Source #
(Era era, Arbitrary (Accounts era)) ⇒ Arbitrary (ShelleyCertState era) Source #
Instance details Methods arbitrary ∷ Gen (ShelleyCertState era) Source # shrink ∷ ShelleyCertState era → [ShelleyCertState era] Source #
Arbitrary (ShelleyInstantStake era) Source #
Instance details Methods arbitrary ∷ Gen (ShelleyInstantStake era) Source # shrink ∷ ShelleyInstantStake era → [ShelleyInstantStake era] Source #
Arbitrary (TransitionConfig ShelleyEra) Source #
Instance details Methods arbitrary ∷ Gen (TransitionConfig ShelleyEra) Source # shrink ∷ TransitionConfig ShelleyEra → [TransitionConfig ShelleyEra] 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 #
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 #
Arbitrary (RewardPulser ShelleyBase RewardAns) Source #
Instance details Methods arbitrary ∷ Gen (RewardPulser ShelleyBase RewardAns) Source # shrink ∷ RewardPulser ShelleyBase RewardAns → [RewardPulser ShelleyBase RewardAns] Source #