Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.Constrained.Conway.MiniTrace

Synopsis

spec ∷ Spec
data ConstrainedGeneratorBundle ctx rule 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 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

Generic (ConwayCertGenContext era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.MiniTrace Associated Types type Rep (ConwayCertGenContext era) ∷ Type → Type # Methods from ∷ ConwayCertGenContext era → Rep (ConwayCertGenContext era) x # to ∷ Rep (ConwayCertGenContext era) x → ConwayCertGenContext era #
Show (ConwayCertGenContext era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.MiniTrace Methods showsPrec ∷ Int → ConwayCertGenContext era → ShowS # show ∷ ConwayCertGenContext era → String # showList ∷ [ConwayCertGenContext era] → ShowS #
Era era ⇒ HasSpec (ConwayCertGenContext era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.MiniTrace Associated Types type TypeSpec (ConwayCertGenContext era) Source # type Prerequisites (ConwayCertGenContext era) Source # 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 # 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 # monadConformsTo ∷ ConwayCertGenContext era → TypeSpec (ConwayCertGenContext era) → Writer [String] Bool 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) Source # type TheSop (ConwayCertGenContext era) ∷ [Type] Source # Methods toSimpleRep ∷ ConwayCertGenContext era → SimpleRep (ConwayCertGenContext era) Source # fromSimpleRep ∷ SimpleRep (ConwayCertGenContext era) → ConwayCertGenContext era Source #
Eq (ConwayCertGenContext era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.MiniTrace Methods (==) ∷ ConwayCertGenContext era → ConwayCertGenContext era → Bool # (/=) ∷ ConwayCertGenContext era → ConwayCertGenContext era → Bool #
type Rep (ConwayCertGenContext era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.MiniTrace type Rep (ConwayCertGenContext era) = D1 ('MetaData "ConwayCertGenContext" "Test.Cardano.Ledger.Constrained.Conway.MiniTrace" "cardano-ledger-test-9.9.9.9-inplace" 'False) (C1 ('MetaCons "ConwayCertGenContext" 'PrefixI 'True) (S1 ('MetaSel ('Just "ccccWithdrawals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map RewardAccount Coin)) :: (S1 ('MetaSel ('Just "ccccVotes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VotingProcedures era)) :: S1 ('MetaSel ('Just "ccccDelegatees") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'DRepRole) (Set (Credential 'Staking)))))))
type Prerequisites (ConwayCertGenContext era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.MiniTrace type Prerequisites (ConwayCertGenContext era) = ()
type TypeSpec (ConwayCertGenContext era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.MiniTrace type TypeSpec (ConwayCertGenContext era) = TypeSpec (SimpleRep (ConwayCertGenContext era))
type SimpleRep (ConwayCertGenContext era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.MiniTrace type SimpleRep (ConwayCertGenContext era) = SOP (TheSop (ConwayCertGenContext era))
type TheSop (ConwayCertGenContext era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.MiniTrace type TheSop (ConwayCertGenContext era) = SOPOf (Rep (ConwayCertGenContext era))

constrainedCert ∷ ConstrainedGeneratorBundle (WitUniv ConwayEra, ConwayCertGenContext ConwayEra) "CERT" ConwayEra Source #

constrainedCerts ∷ ConstrainedGeneratorBundle (WitUniv ConwayEra, ConwayCertGenContext ConwayEra) "CERTS" ConwayEra Source #

constrainedDeleg ∷ ConstrainedGeneratorBundle (WitUniv ConwayEra, ConwayCertGenContext ConwayEra) "DELEG" ConwayEra Source #

constrainedEnact ∷ ConstrainedGeneratorBundle EpochNo "ENACT" ConwayEra Source #

constrainedEpoch ∷ ConstrainedGeneratorBundle EpochNo "EPOCH" ConwayEra Source #

constrainedGov ∷ ConstrainedGeneratorBundle () "GOV" ConwayEra Source #

constrainedGovCert ∷ ConstrainedGeneratorBundle (WitUniv ConwayEra, ConwayCertGenContext ConwayEra) "GOVCERT" ConwayEra Source #

constrainedNewEpoch ∷ ConstrainedGeneratorBundle EpochNo "NEWEPOCH" ConwayEra Source #

constrainedPool ∷ ConstrainedGeneratorBundle (WitUniv ConwayEra) "POOL" ConwayEra Source #

constrainedRatify ∷ ConstrainedGeneratorBundle [GovActionState ConwayEra] "RATIFY" ConwayEra Source #

constrainedUtxo ∷ ConstrainedGeneratorBundle (UtxoExecContext ConwayEra) "UTXO" ConwayEra Source #