Safe Haskell	None
Language	Haskell2010

Test.Cardano.Ledger.Constrained.Conway.MiniTrace

Synopsis

spec ∷ Spec
data ConstrainedGeneratorBundle ctx (rule ∷ Symbol) era = ConstrainedGeneratorBundle {
- cgbContextGen ∷ Gen ctx
- cgbEnvironmentSpec ∷ ctx → Specification (Environment (EraRule rule era))
- cgbStateSpec ∷ ctx → Environment (EraRule rule era) → Specification (State (EraRule rule era))
- cgbSignalSpec ∷ ctx → Environment (EraRule rule era) → State (EraRule rule era) → Specification (Signal (EraRule rule era))
}
data ConwayCertGenContext era = ConwayCertGenContext {
- ccccWithdrawals ∷ !(Map RewardAccount Coin)
- ccccVotes ∷ !(VotingProcedures era)
- ccccDelegatees ∷ !(Map (Credential 'DRepRole) (Set (Credential 'Staking)))
}
constrainedCert ∷ ConstrainedGeneratorBundle (WitUniv ConwayEra, ConwayCertGenContext ConwayEra) "CERT" ConwayEra
constrainedCerts ∷ ConstrainedGeneratorBundle (WitUniv ConwayEra, ConwayCertGenContext ConwayEra) "CERTS" ConwayEra
constrainedDeleg ∷ ConstrainedGeneratorBundle (WitUniv ConwayEra, ConwayCertGenContext ConwayEra) "DELEG" ConwayEra
constrainedEnact ∷ ConstrainedGeneratorBundle EpochNo "ENACT" ConwayEra
constrainedEpoch ∷ ConstrainedGeneratorBundle EpochNo "EPOCH" ConwayEra
constrainedGov ∷ ConstrainedGeneratorBundle () "GOV" ConwayEra
constrainedGovCert ∷ ConstrainedGeneratorBundle (WitUniv ConwayEra, ConwayCertGenContext ConwayEra) "GOVCERT" ConwayEra
constrainedNewEpoch ∷ ConstrainedGeneratorBundle EpochNo "NEWEPOCH" ConwayEra
constrainedPool ∷ ConstrainedGeneratorBundle (WitUniv ConwayEra) "POOL" ConwayEra
constrainedRatify ∷ ConstrainedGeneratorBundle [GovActionState ConwayEra] "RATIFY" ConwayEra
constrainedUtxo ∷ ConstrainedGeneratorBundle (UtxoExecContext ConwayEra) "UTXO" ConwayEra

Documentation

spec ∷ Spec Source #

Run a minitrace for every instance of ExecRuleSpec

data ConstrainedGeneratorBundle ctx (rule ∷ Symbol) era Source #

Constructors

ConstrainedGeneratorBundle
Fields cgbContextGen ∷ Gen ctx cgbEnvironmentSpec ∷ ctx → Specification (Environment (EraRule rule era)) cgbStateSpec ∷ ctx → Environment (EraRule rule era) → Specification (State (EraRule rule era)) cgbSignalSpec ∷ ctx → Environment (EraRule rule era) → State (EraRule rule era) → Specification (Signal (EraRule rule era))

data ConwayCertGenContext era Source #

Constructors

ConwayCertGenContext
Fields ccccWithdrawals ∷ !(Map RewardAccount Coin) ccccVotes ∷ !(VotingProcedures era) ccccDelegatees ∷ !(Map (Credential 'DRepRole) (Set (Credential 'Staking)))

Instances

Instances details

Era era ⇒ HasSpec (ConwayCertGenContext era) Source #

Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.MiniTrace

Associated Types

type TypeSpec (ConwayCertGenContext era)
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.MiniTrace type TypeSpec (ConwayCertGenContext era) = TypeSpec (SimpleRep (ConwayCertGenContext era))
type Prerequisites (ConwayCertGenContext era)
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.MiniTrace type Prerequisites (ConwayCertGenContext era) = ()

Methods

emptySpec ∷ TypeSpec (ConwayCertGenContext era) Source #

combineSpec ∷ TypeSpec (ConwayCertGenContext era) → TypeSpec (ConwayCertGenContext era) → Specification (ConwayCertGenContext era) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (ConwayCertGenContext era) → GenT m (ConwayCertGenContext era) Source #

conformsTo ∷ ConwayCertGenContext era → TypeSpec (ConwayCertGenContext era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec (ConwayCertGenContext era) → ConwayCertGenContext era → [ConwayCertGenContext era] Source #

fixupWithTypeSpec ∷ TypeSpec (ConwayCertGenContext era) → ConwayCertGenContext era → Maybe (ConwayCertGenContext era) Source #

toPreds ∷ Term (ConwayCertGenContext era) → TypeSpec (ConwayCertGenContext era) → Pred Source #

cardinalTypeSpec ∷ TypeSpec (ConwayCertGenContext era) → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec (ConwayCertGenContext era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec (ConwayCertGenContext era) → BinaryShow Source #

typeSpecOpt ∷ TypeSpec (ConwayCertGenContext era) → [ConwayCertGenContext era] → Specification (ConwayCertGenContext era) Source #

guardTypeSpec ∷ [String] → TypeSpec (ConwayCertGenContext era) → Specification (ConwayCertGenContext era) Source #

prerequisites ∷ Evidence (Prerequisites (ConwayCertGenContext era)) Source #

Era era ⇒ HasSimpleRep (ConwayCertGenContext era) Source #

Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.MiniTrace

Associated Types

type SimpleRep (ConwayCertGenContext era)
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.MiniTrace type SimpleRep (ConwayCertGenContext era) = SOP (TheSop (ConwayCertGenContext era))
type TheSop (ConwayCertGenContext era)
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.MiniTrace type TheSop (ConwayCertGenContext era) = SOPOf (Rep (ConwayCertGenContext era))