(EraPParams era, Arbitrary (PParamsUpdate era), Arbitrary (PParamsHKD StrictMaybe era)) ⇒ Arbitrary (ProposalsNewActions era) Source #
Instance details Defined in Test.Cardano.Ledger.Conway.Arbitrary Methods arbitrary ∷ Gen (ProposalsNewActions era) Source # shrink ∷ ProposalsNewActions era → [ProposalsNewActions era] Source #
EraPParams era ⇒ Show (ProposalsNewActions era) Source #
Instance details Defined in Test.Cardano.Ledger.Conway.Arbitrary Methods showsPrec ∷ Int → ProposalsNewActions era → ShowS Source # show ∷ ProposalsNewActions era → String Source # showList ∷ [ProposalsNewActions era] → ShowS Source #
EraPParams era ⇒ Eq (ProposalsNewActions era) Source #
Instance details Defined in Test.Cardano.Ledger.Conway.Arbitrary Methods (==) ∷ ProposalsNewActions era → ProposalsNewActions era → Bool Source # (/=) ∷ ProposalsNewActions era → ProposalsNewActions era → Bool Source #

data ProposalsForEnactment era Source #

Constructors

ProposalsForEnactment
Fields pfeProposals ∷ Proposals era pfeToEnact ∷ Seq (GovActionState era) pfeToRemove ∷ Set GovActionId pfeToRetain ∷ Set GovActionId Those that are retained can only be the ones that don't have any lineage

Instances

Instances details

(EraPParams era, Arbitrary (PParamsUpdate era), Arbitrary (PParamsHKD StrictMaybe era)) ⇒ Arbitrary (ProposalsForEnactment era) Source #
Instance details Defined in Test.Cardano.Ledger.Conway.Arbitrary Methods arbitrary ∷ Gen (ProposalsForEnactment era) Source # shrink ∷ ProposalsForEnactment era → [ProposalsForEnactment era] Source #
EraPParams era ⇒ Show (ProposalsForEnactment era) Source #
Instance details Defined in Test.Cardano.Ledger.Conway.Arbitrary Methods showsPrec ∷ Int → ProposalsForEnactment era → ShowS Source # show ∷ ProposalsForEnactment era → String Source # showList ∷ [ProposalsForEnactment era] → ShowS Source #
EraPParams era ⇒ Eq (ProposalsForEnactment era) Source #
Instance details Defined in Test.Cardano.Ledger.Conway.Arbitrary Methods (==) ∷ ProposalsForEnactment era → ProposalsForEnactment era → Bool Source # (/=) ∷ ProposalsForEnactment era → ProposalsForEnactment era → Bool Source #

data ShuffledGovActionStates era Source #

These lists of GovActionStates contain only one of a priority. In other words, no two GovActionStates in the list have the same actionPriority.

Constructors

ShuffledGovActionStates [GovActionState era] [GovActionState era]

Instances

Instances details

(Era era, Arbitrary (PParamsUpdate era)) ⇒ Arbitrary (ShuffledGovActionStates era) Source #
Instance details Defined in Test.Cardano.Ledger.Conway.Arbitrary Methods arbitrary ∷ Gen (ShuffledGovActionStates era) Source # shrink ∷ ShuffledGovActionStates era → [ShuffledGovActionStates era] Source #
EraPParams era ⇒ Show (ShuffledGovActionStates era) Source #
Instance details Defined in Test.Cardano.Ledger.Conway.Arbitrary Methods showsPrec ∷ Int → ShuffledGovActionStates era → ShowS Source # show ∷ ShuffledGovActionStates era → String Source # showList ∷ [ShuffledGovActionStates era] → ShowS Source #

Orphan instances

Arbitrary ConwayGenesis Source #
Instance details Methods arbitrary ∷ Gen ConwayGenesis Source # shrink ∷ ConwayGenesis → [ConwayGenesis] Source #
Arbitrary GovActionId Source #
Instance details Methods arbitrary ∷ Gen GovActionId Source # shrink ∷ GovActionId → [GovActionId] Source #
Arbitrary GovActionIx Source #
Instance details Methods arbitrary ∷ Gen GovActionIx Source # shrink ∷ GovActionIx → [GovActionIx] Source #
Arbitrary Vote Source #
Instance details Methods arbitrary ∷ Gen Vote Source # shrink ∷ Vote → [Vote] Source #
Arbitrary Voter Source #
Instance details Methods arbitrary ∷ Gen Voter Source # shrink ∷ Voter → [Voter] Source #
Arbitrary DRepVotingThresholds Source #
Instance details Methods arbitrary ∷ Gen DRepVotingThresholds Source # shrink ∷ DRepVotingThresholds → [DRepVotingThresholds] Source #
Arbitrary PoolVotingThresholds Source #
Instance details Methods arbitrary ∷ Gen PoolVotingThresholds Source # shrink ∷ PoolVotingThresholds → [PoolVotingThresholds] Source #
Arbitrary ConwayDelegCert Source #
Instance details Methods arbitrary ∷ Gen ConwayDelegCert Source # shrink ∷ ConwayDelegCert → [ConwayDelegCert] Source #
Arbitrary ConwayGovCert Source #
Instance details Methods arbitrary ∷ Gen ConwayGovCert Source # shrink ∷ ConwayGovCert → [ConwayGovCert] Source #
Arbitrary Delegatee Source #
Instance details Methods arbitrary ∷ Gen Delegatee Source # shrink ∷ Delegatee → [Delegatee] Source #
(EraPParams era, Arbitrary (PParams era), Arbitrary (PParamsHKD StrictMaybe era)) ⇒ Arbitrary (ConwayGovState era) Source #
Instance details Methods arbitrary ∷ Gen (ConwayGovState era) Source # shrink ∷ ConwayGovState era → [ConwayGovState era] Source #
(Arbitrary (PParams era), Arbitrary (PParamsUpdate era), Era era) ⇒ Arbitrary (DRepPulsingState era) Source #
Instance details Methods arbitrary ∷ Gen (DRepPulsingState era) Source # shrink ∷ DRepPulsingState era → [DRepPulsingState era] Source #
(Era era, Arbitrary (PParamsUpdate era)) ⇒ Arbitrary (PulsingSnapshot era) Source #
Instance details Methods arbitrary ∷ Gen (PulsingSnapshot era) Source # shrink ∷ PulsingSnapshot era → [PulsingSnapshot era] Source #
(Era era, Arbitrary (PParams era)) ⇒ Arbitrary (EnactState era) Source #
Instance details Methods arbitrary ∷ Gen (EnactState era) Source # shrink ∷ EnactState era → [EnactState era] Source #
Era era ⇒ Arbitrary (RatifyEnv era) Source #
Instance details Methods arbitrary ∷ Gen (RatifyEnv era) Source # shrink ∷ RatifyEnv era → [RatifyEnv era] Source #
(Era era, Arbitrary (PParams era), Arbitrary (PParamsUpdate era)) ⇒ Arbitrary (RatifyState era) Source #
Instance details Methods arbitrary ∷ Gen (RatifyState era) Source # shrink ∷ RatifyState era → [RatifyState era] Source #
Era era ⇒ Arbitrary (Committee era) Source #
Instance details Methods arbitrary ∷ Gen (Committee era) Source # shrink ∷ Committee era → [Committee era] Source #
Era era ⇒ Arbitrary (Constitution era) Source #
Instance details Methods arbitrary ∷ Gen (Constitution era) Source # shrink ∷ Constitution era → [Constitution era] Source #
(Era era, Arbitrary (PParamsUpdate era)) ⇒ Arbitrary (GovAction era) Source #
Instance details Methods arbitrary ∷ Gen (GovAction era) Source # shrink ∷ GovAction era → [GovAction era] Source #
(Era era, Arbitrary (PParamsUpdate era)) ⇒ Arbitrary (GovActionState era) Source #
Instance details Methods arbitrary ∷ Gen (GovActionState era) Source # shrink ∷ GovActionState era → [GovActionState era] Source #
(Era era, Arbitrary (PParamsUpdate era)) ⇒ Arbitrary (ProposalProcedure era) Source #
Instance details Methods arbitrary ∷ Gen (ProposalProcedure era) Source # shrink ∷ ProposalProcedure era → [ProposalProcedure era] Source #
Era era ⇒ Arbitrary (VotingProcedure era) Source #
Instance details Methods arbitrary ∷ Gen (VotingProcedure era) Source # shrink ∷ VotingProcedure era → [VotingProcedure era] Source #
Era era ⇒ Arbitrary (VotingProcedures era) Source #
Instance details Methods arbitrary ∷ Gen (VotingProcedures era) Source # shrink ∷ VotingProcedures era → [VotingProcedures era] Source #
(EraPParams era, Arbitrary (PParamsHKD StrictMaybe era)) ⇒ Arbitrary (Proposals era) Source #
Instance details Methods arbitrary ∷ Gen (Proposals era) Source # shrink ∷ Proposals era → [Proposals era] Source #
Arbitrary (UpgradeConwayPParams Identity) Source #
Instance details Methods arbitrary ∷ Gen (UpgradeConwayPParams Identity) Source # shrink ∷ UpgradeConwayPParams Identity → [UpgradeConwayPParams Identity] Source #
(Era era, Arbitrary (PredicateFailure (EraRule "DELEG" era)), Arbitrary (PredicateFailure (EraRule "POOL" era)), Arbitrary (PredicateFailure (EraRule "GOVCERT" era))) ⇒ Arbitrary (ConwayCertPredFailure era) Source #
Instance details Methods arbitrary ∷ Gen (ConwayCertPredFailure era) Source # shrink ∷ ConwayCertPredFailure era → [ConwayCertPredFailure era] Source #
(Era era, Arbitrary (PredicateFailure (EraRule "CERT" era))) ⇒ Arbitrary (ConwayCertsPredFailure era) Source #
Instance details Methods arbitrary ∷ Gen (ConwayCertsPredFailure era) Source # shrink ∷ ConwayCertsPredFailure era → [ConwayCertsPredFailure era] Source #
Era era ⇒ Arbitrary (ConwayDelegPredFailure era) Source #
Instance details Methods arbitrary ∷ Gen (ConwayDelegPredFailure era) Source # shrink ∷ ConwayDelegPredFailure era → [ConwayDelegPredFailure era] Source #
(Era era, Arbitrary (Event (EraRule "POOLREAP" era)), Arbitrary (Event (EraRule "SNAP" era))) ⇒ Arbitrary (ConwayEpochEvent era) Source #
Instance details Methods arbitrary ∷ Gen (ConwayEpochEvent era) Source # shrink ∷ ConwayEpochEvent era → [ConwayEpochEvent era] Source #
(Era era, Arbitrary (PParamsHKD StrictMaybe era)) ⇒ Arbitrary (ConwayGovPredFailure era) Source #
Instance details Methods arbitrary ∷ Gen (ConwayGovPredFailure era) Source # shrink ∷ ConwayGovPredFailure era → [ConwayGovPredFailure era] Source #
(Era era, Arbitrary (PParamsHKD Identity era)) ⇒ Arbitrary (GovEnv era) Source #
Instance details Methods arbitrary ∷ Gen (GovEnv era) Source # shrink ∷ GovEnv era → [GovEnv era] Source #
(EraPParams era, Arbitrary (PParamsUpdate era), Arbitrary (TxCert era)) ⇒ Arbitrary (GovSignal era) Source #
Instance details Methods arbitrary ∷ Gen (GovSignal era) Source # shrink ∷ GovSignal era → [GovSignal era] Source #
Era era ⇒ Arbitrary (ConwayGovCertPredFailure era) Source #
Instance details Methods arbitrary ∷ Gen (ConwayGovCertPredFailure era) Source # shrink ∷ ConwayGovCertPredFailure era → [ConwayGovCertPredFailure era] Source #
(Era era, Arbitrary (PredicateFailure (EraRule "UTXOW" era)), Arbitrary (PredicateFailure (EraRule "CERTS" era)), Arbitrary (PredicateFailure (EraRule "GOV" era))) ⇒ Arbitrary (ConwayLedgerPredFailure era) Source #
Instance details Methods arbitrary ∷ Gen (ConwayLedgerPredFailure era) Source # shrink ∷ ConwayLedgerPredFailure era → [ConwayLedgerPredFailure era] Source #
(Era era, Arbitrary (Event (EraRule "RUPD" era))) ⇒ Arbitrary (ConwayNewEpochEvent era) Source #
Instance details Methods arbitrary ∷ Gen (ConwayNewEpochEvent era) Source # shrink ∷ ConwayNewEpochEvent era → [ConwayNewEpochEvent era] Source #
(EraTxOut era, Arbitrary (Value era), Arbitrary (TxOut era), Arbitrary (PredicateFailure (EraRule "UTXOS" era))) ⇒ Arbitrary (ConwayUtxoPredFailure era) Source #
Instance details Methods arbitrary ∷ Gen (ConwayUtxoPredFailure era) Source # shrink ∷ ConwayUtxoPredFailure era → [ConwayUtxoPredFailure era] Source #
(Era era, Arbitrary (CollectError era)) ⇒ Arbitrary (ConwayUtxosPredFailure era) Source #
Instance details Methods arbitrary ∷ Gen (ConwayUtxosPredFailure era) Source # shrink ∷ ConwayUtxosPredFailure era → [ConwayUtxosPredFailure era] Source #
(Era era, Arbitrary (PredicateFailure (EraRule "UTXO" era)), Arbitrary (TxCert era), Arbitrary (PlutusPurpose AsItem era), Arbitrary (PlutusPurpose AsIx era)) ⇒ Arbitrary (ConwayUtxowPredFailure era) Source #
Instance details Methods arbitrary ∷ Gen (ConwayUtxowPredFailure era) Source # shrink ∷ ConwayUtxowPredFailure era → [ConwayUtxowPredFailure era] Source #
(ConwayEraTxBody era, Arbitrary (Sized (TxOut era)), Arbitrary (TxOut era), Arbitrary (Value era), Arbitrary (Script era), Arbitrary (PParamsUpdate era)) ⇒ Arbitrary (ConwayTxBody era) Source #
Instance details Methods arbitrary ∷ Gen (ConwayTxBody era) Source # shrink ∷ ConwayTxBody era → [ConwayTxBody era] Source #
Era era ⇒ Arbitrary (ConwayTxCert era) Source #
Instance details Methods arbitrary ∷ Gen (ConwayTxCert era) Source # shrink ∷ ConwayTxCert era → [ConwayTxCert era] Source #
(EraPParams era, Arbitrary (PlutusPurpose AsItem era), Arbitrary (PlutusPurpose AsIx era), Arbitrary (TxCert era), Arbitrary (PParamsHKD StrictMaybe era)) ⇒ Arbitrary (ConwayContextError era) Source #
Instance details Methods arbitrary ∷ Gen (ConwayContextError era) Source # shrink ∷ ConwayContextError era → [ConwayContextError era] Source #
Arbitrary (GovPurposeId p era) Source #
Instance details Methods arbitrary ∷ Gen (GovPurposeId p era) Source # shrink ∷ GovPurposeId p era → [GovPurposeId p era] Source #
(∀ (p ∷ GovActionPurpose). Arbitrary (f (GovPurposeId p era))) ⇒ Arbitrary (GovRelation f era) Source #
Instance details Methods arbitrary ∷ Gen (GovRelation f era) Source # shrink ∷ GovRelation f era → [GovRelation f era] Source #
Era era ⇒ Arbitrary (ConwayPParams Identity era) Source #
Instance details Methods arbitrary ∷ Gen (ConwayPParams Identity era) Source # shrink ∷ ConwayPParams Identity era → [ConwayPParams Identity era] Source #
Era era ⇒ Arbitrary (ConwayPParams StrictMaybe era) Source #
Instance details Methods arbitrary ∷ Gen (ConwayPParams StrictMaybe era) Source # shrink ∷ ConwayPParams StrictMaybe era → [ConwayPParams StrictMaybe era] Source #
(Era era, Arbitrary (TxCert era), Arbitrary (PParamsHKD StrictMaybe era)) ⇒ Arbitrary (ConwayPlutusPurpose AsItem era) Source #
Instance details Methods arbitrary ∷ Gen (ConwayPlutusPurpose AsItem era) Source # shrink ∷ ConwayPlutusPurpose AsItem era → [ConwayPlutusPurpose AsItem era] Source #
Era era ⇒ Arbitrary (ConwayPlutusPurpose AsIx era) Source #
Instance details Methods arbitrary ∷ Gen (ConwayPlutusPurpose AsIx era) Source # shrink ∷ ConwayPlutusPurpose AsIx era → [ConwayPlutusPurpose AsIx era] Source #
(Era era, Arbitrary (TxCert era), Arbitrary (PParamsHKD StrictMaybe era)) ⇒ Arbitrary (ConwayPlutusPurpose AsIxItem era) Source #
Instance details Methods arbitrary ∷ Gen (ConwayPlutusPurpose AsIxItem era) Source # shrink ∷ ConwayPlutusPurpose AsIxItem era → [ConwayPlutusPurpose AsIxItem era] Source #
Arbitrary (HKD f a) ⇒ Arbitrary (THKD t f a) Source #
Instance details Methods arbitrary ∷ Gen (THKD t f a) Source # shrink ∷ THKD t f a → [THKD t f a] Source #