| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Conway.Arbitrary
Contents
Synopsis
- genUpdateCommittee ∷ Era era ⇒ Gen (GovAction era)
- genNoConfidence ∷ Era era ⇒ Gen (GovAction era)
- genTreasuryWithdrawals ∷ Era era ⇒ Gen (GovAction era)
- genHardForkInitiation ∷ Era era ⇒ Gen (GovAction era)
- genParameterChange ∷ (Era era, Arbitrary (PParamsUpdate era)) ⇒ Gen (GovAction era)
- genNewConstitution ∷ Era era ⇒ Gen (GovAction era)
- govActionGenerators ∷ (Era era, Arbitrary (PParamsUpdate era)) ⇒ [Gen (GovAction era)]
- genConwayPlutusPurposePointer ∷ Word32 → Gen (ConwayPlutusPurpose AsIx era)
- genGovAction ∷ ∀ era. (Era era, Arbitrary (PParamsHKD StrictMaybe era)) ⇒ Proposals era → Gen (GovAction era)
- genGovActionState ∷ Era era ⇒ GovAction era → Gen (GovActionState era)
- genPParamUpdateGovAction ∷ (Era era, Arbitrary (PParamsHKD StrictMaybe era)) ⇒ StrictMaybe (GovPurposeId 'PParamUpdatePurpose era) → Gen (GovAction era)
- genHardForkGovAction ∷ StrictMaybe (GovPurposeId 'HardForkPurpose era) → Gen (GovAction era)
- genCommitteeGovAction ∷ Era era ⇒ StrictMaybe (GovPurposeId 'CommitteePurpose era) → Gen (GovAction era)
- genConstitutionGovAction ∷ Era era ⇒ StrictMaybe (GovPurposeId 'ConstitutionPurpose era) → Gen (GovAction era)
- genProposals ∷ ∀ era. (HasCallStack, EraPParams era, Arbitrary (PParamsHKD StrictMaybe era)) ⇒ (Int, Int) → Gen (Proposals era)
- data ProposalsNewActions era = ProposalsNewActions (Proposals era) [GovActionState era]
- data ProposalsForEnactment era = ProposalsForEnactment {
- pfeProposals ∷ Proposals era
- pfeToEnact ∷ Seq (GovActionState era)
- pfeToRemove ∷ Set (GovActionId (EraCrypto era))
- pfeToRetain ∷ Set (GovActionId (EraCrypto era))
- data ShuffledGovActionStates era = ShuffledGovActionStates [GovActionState era] [GovActionState era]
Documentation
genParameterChange ∷ (Era era, Arbitrary (PParamsUpdate era)) ⇒ Gen (GovAction era) Source #
govActionGenerators ∷ (Era era, Arbitrary (PParamsUpdate era)) ⇒ [Gen (GovAction era)] Source #
genGovAction ∷ ∀ era. (Era era, Arbitrary (PParamsHKD StrictMaybe era)) ⇒ Proposals era → Gen (GovAction era) Source #
genGovActionState ∷ Era era ⇒ GovAction era → Gen (GovActionState era) Source #
genPParamUpdateGovAction ∷ (Era era, Arbitrary (PParamsHKD StrictMaybe era)) ⇒ StrictMaybe (GovPurposeId 'PParamUpdatePurpose era) → Gen (GovAction era) Source #
genHardForkGovAction ∷ StrictMaybe (GovPurposeId 'HardForkPurpose era) → Gen (GovAction era) Source #
genCommitteeGovAction ∷ Era era ⇒ StrictMaybe (GovPurposeId 'CommitteePurpose era) → Gen (GovAction era) Source #
genConstitutionGovAction ∷ Era era ⇒ StrictMaybe (GovPurposeId 'ConstitutionPurpose era) → Gen (GovAction era) Source #
genProposals ∷ ∀ era. (HasCallStack, EraPParams era, Arbitrary (PParamsHKD StrictMaybe era)) ⇒ (Int, Int) → Gen (Proposals era) Source #
data ProposalsNewActions era Source #
Constructors
| ProposalsNewActions (Proposals era) [GovActionState era] |
Instances
| (EraPParams era, Arbitrary (PParamsUpdate era), Arbitrary (PParamsHKD StrictMaybe era)) ⇒ Arbitrary (ProposalsNewActions era) Source # | |
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 # | |
Defined in Test.Cardano.Ledger.Conway.Arbitrary | |
| EraPParams era ⇒ Eq (ProposalsNewActions era) Source # | |
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
| |
Instances
| (EraPParams era, Arbitrary (PParamsUpdate era), Arbitrary (PParamsHKD StrictMaybe era)) ⇒ Arbitrary (ProposalsForEnactment era) Source # | |
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 # | |
Defined in Test.Cardano.Ledger.Conway.Arbitrary | |
| EraPParams era ⇒ Eq (ProposalsForEnactment era) Source # | |
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
| (Era era, Arbitrary (PParamsUpdate era)) ⇒ Arbitrary (ShuffledGovActionStates era) Source # | |
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 # | |
Defined in Test.Cardano.Ledger.Conway.Arbitrary | |