cardano-ledger-conformance-9.9.9.9: Testing utilities for conformance testing
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base

Documentation

data ConwayCertExecContext era Source #

Constructors

ConwayCertExecContext

The UMap of the DState has a field with type: Map (Credential 'Staking) DRep The VState field vsDReps has type: Map (Credential DRepRole) DRepState The DRepState field drepDelegs has type: Set (Credential Staking) Every (Credential 'DRepRole c) corresponds to a unique (DRep) the ccecDelegatees field helps maintain that correspondance, It is used in vstateSpec and bootstrapDStateSpec. Also see getDelegatees :: DState era -> Map (Credential 'DRepRole) (Set (Credential 'Staking)) in Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs, which defines the exact correspondance. }

Instances

Instances details
(IsConwayUniv fn, Era era) ⇒ HasSpec fn (ConwayCertExecContext era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base

Methods

emptySpecTypeSpec fn (ConwayCertExecContext era) Source #

combineSpecTypeSpec fn (ConwayCertExecContext era) → TypeSpec fn (ConwayCertExecContext era) → Specification fn (ConwayCertExecContext era) Source #

genFromTypeSpec ∷ ∀ (m ∷ TypeType). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (ConwayCertExecContext era) → GenT m (ConwayCertExecContext era) Source #

conformsToConwayCertExecContext era → TypeSpec fn (ConwayCertExecContext era) → Bool Source #

shrinkWithTypeSpecTypeSpec fn (ConwayCertExecContext era) → ConwayCertExecContext era → [ConwayCertExecContext era] Source #

toPredsTerm fn (ConwayCertExecContext era) → TypeSpec fn (ConwayCertExecContext era) → Pred fn Source #

cardinalTypeSpecTypeSpec fn (ConwayCertExecContext era) → Specification fn Integer Source #

cardinalTrueSpecSpecification fn Integer Source #

typeSpecHasErrorTypeSpec fn (ConwayCertExecContext era) → Maybe (NonEmpty String) Source #

alternateShowTypeSpec fn (ConwayCertExecContext era) → BinaryShow Source #

monadConformsToConwayCertExecContext era → TypeSpec fn (ConwayCertExecContext era) → Writer [String] Bool Source #

typeSpecOptTypeSpec fn (ConwayCertExecContext era) → [ConwayCertExecContext era] → Specification fn (ConwayCertExecContext era) Source #

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

prerequisitesEvidence (Prerequisites fn (ConwayCertExecContext era)) Source #

Reflect era ⇒ Arbitrary (ConwayCertExecContext era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base

Generic (ConwayCertExecContext era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base

Associated Types

type Rep (ConwayCertExecContext era) ∷ TypeType Source #

Show (ConwayCertExecContext era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base

Reflect era ⇒ DecCBOR (ConwayCertExecContext era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base

Era era ⇒ EncCBOR (ConwayCertExecContext era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base

HasSimpleRep (ConwayCertExecContext era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base

Associated Types

type SimpleRep (ConwayCertExecContext era) Source #

type TheSop (ConwayCertExecContext era) ∷ [Type] Source #

Era era ⇒ NFData (ConwayCertExecContext era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base

Methods

rnfConwayCertExecContext era → () Source #

Eq (ConwayCertExecContext era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base

Era era ⇒ ToExpr (ConwayCertExecContext era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base

Inject (ConwayCertExecContext era) (VotingProcedures era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base

Inject (ConwayCertExecContext era) (Map RewardAccount Coin) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base

Inject (ConwayCertExecContext era) (Map DepositPurpose Coin) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base

Inject (WitUniv ConwayEra, ConwayCertExecContext ConwayEra) (VotingProcedures ConwayEra) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.GovCert

Inject (WitUniv ConwayEra, ConwayCertExecContext ConwayEra) (Set (Credential 'DRepRole)) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Deleg

Inject (WitUniv ConwayEra, ConwayCertExecContext ConwayEra) (Map RewardAccount Coin) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.GovCert

type Prerequisites fn (ConwayCertExecContext era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base

type TypeSpec fn (ConwayCertExecContext era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base

type Rep (ConwayCertExecContext era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base

type Rep (ConwayCertExecContext era) = D1 ('MetaData "ConwayCertExecContext" "Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base" "cardano-ledger-conformance-9.9.9.9-inplace" 'False) (C1 ('MetaCons "ConwayCertExecContext" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ccecWithdrawals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map RewardAccount Coin)) :*: S1 ('MetaSel ('Just "ccecDeposits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map DepositPurpose Coin))) :*: (S1 ('MetaSel ('Just "ccecVotes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VotingProcedures era)) :*: S1 ('MetaSel ('Just "ccecDelegatees") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (Credential 'DRepRole))))))
type SimpleRep (ConwayCertExecContext era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base

type TheSop (ConwayCertExecContext era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base

data ConwayRatifyExecContext era Source #

Instances

Instances details
(IsConwayUniv fn, EraPParams era, HasSpec fn (GovActionState era)) ⇒ HasSpec fn (ConwayRatifyExecContext era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base

Methods

emptySpecTypeSpec fn (ConwayRatifyExecContext era) Source #

combineSpecTypeSpec fn (ConwayRatifyExecContext era) → TypeSpec fn (ConwayRatifyExecContext era) → Specification fn (ConwayRatifyExecContext era) Source #

genFromTypeSpec ∷ ∀ (m ∷ TypeType). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (ConwayRatifyExecContext era) → GenT m (ConwayRatifyExecContext era) Source #

conformsToConwayRatifyExecContext era → TypeSpec fn (ConwayRatifyExecContext era) → Bool Source #

shrinkWithTypeSpecTypeSpec fn (ConwayRatifyExecContext era) → ConwayRatifyExecContext era → [ConwayRatifyExecContext era] Source #

toPredsTerm fn (ConwayRatifyExecContext era) → TypeSpec fn (ConwayRatifyExecContext era) → Pred fn Source #

cardinalTypeSpecTypeSpec fn (ConwayRatifyExecContext era) → Specification fn Integer Source #

cardinalTrueSpecSpecification fn Integer Source #

typeSpecHasErrorTypeSpec fn (ConwayRatifyExecContext era) → Maybe (NonEmpty String) Source #

alternateShowTypeSpec fn (ConwayRatifyExecContext era) → BinaryShow Source #

monadConformsToConwayRatifyExecContext era → TypeSpec fn (ConwayRatifyExecContext era) → Writer [String] Bool Source #

typeSpecOptTypeSpec fn (ConwayRatifyExecContext era) → [ConwayRatifyExecContext era] → Specification fn (ConwayRatifyExecContext era) Source #

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

prerequisitesEvidence (Prerequisites fn (ConwayRatifyExecContext era)) Source #

(Era era, Arbitrary (PParamsHKD StrictMaybe era)) ⇒ Arbitrary (ConwayRatifyExecContext era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base

Generic (ConwayRatifyExecContext era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base

Associated Types

type Rep (ConwayRatifyExecContext era) ∷ TypeType Source #

EraPParams era ⇒ Show (ConwayRatifyExecContext era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base

EraPParams era ⇒ DecCBOR (ConwayRatifyExecContext era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base

EraPParams era ⇒ EncCBOR (ConwayRatifyExecContext era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base

HasSimpleRep (ConwayRatifyExecContext era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base

EraPParams era ⇒ NFData (ConwayRatifyExecContext era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base

Methods

rnfConwayRatifyExecContext era → () Source #

EraPParams era ⇒ Eq (ConwayRatifyExecContext era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base

ToExpr (PParamsHKD StrictMaybe era) ⇒ ToExpr (ConwayRatifyExecContext era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base

Inject (ConwayRatifyExecContext era) Coin Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base

Inject (ConwayRatifyExecContext era) [GovActionState era] Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base

type Prerequisites fn (ConwayRatifyExecContext era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base

type TypeSpec fn (ConwayRatifyExecContext era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base

type Rep (ConwayRatifyExecContext era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base

type Rep (ConwayRatifyExecContext era) = D1 ('MetaData "ConwayRatifyExecContext" "Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base" "cardano-ledger-conformance-9.9.9.9-inplace" 'False) (C1 ('MetaCons "ConwayRatifyExecContext" 'PrefixI 'True) (S1 ('MetaSel ('Just "crecTreasury") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin) :*: S1 ('MetaSel ('Just "crecGovActionMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [GovActionState era])))
type SimpleRep (ConwayRatifyExecContext era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base

type TheSop (ConwayRatifyExecContext era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base

Orphan instances

IsConwayUniv fn ⇒ ExecSpecRule fn "ENACT" ConwayEra Source # 
Instance details

Associated Types

type ExecContext fn "ENACT" ConwayEra Source #

type ExecEnvironment fn "ENACT" ConwayEra Source #

type ExecState fn "ENACT" ConwayEra Source #

type ExecSignal fn "ENACT" ConwayEra Source #

Methods

environmentSpecExecContext fn "ENACT" ConwayEraSpecification fn (ExecEnvironment fn "ENACT" ConwayEra) Source #

stateSpecExecContext fn "ENACT" ConwayEraExecEnvironment fn "ENACT" ConwayEraSpecification fn (ExecState fn "ENACT" ConwayEra) Source #

signalSpecExecContext fn "ENACT" ConwayEraExecEnvironment fn "ENACT" ConwayEraExecState fn "ENACT" ConwayEraSpecification fn (ExecSignal fn "ENACT" ConwayEra) Source #

classOfExecSignal fn "ENACT" ConwayEraMaybe String Source #

genExecContextGen (ExecContext fn "ENACT" ConwayEra) Source #

runAgdaRuleSpecRep (ExecEnvironment fn "ENACT" ConwayEra) → SpecRep (ExecState fn "ENACT" ConwayEra) → SpecRep (ExecSignal fn "ENACT" ConwayEra) → Either OpaqueErrorString (SpecRep (ExecState fn "ENACT" ConwayEra)) Source #

translateInputsExecEnvironment fn "ENACT" ConwayEraExecState fn "ENACT" ConwayEraExecSignal fn "ENACT" ConwayEraExecContext fn "ENACT" ConwayEraImpTestM ConwayEra (SpecRep (ExecEnvironment fn "ENACT" ConwayEra), SpecRep (ExecState fn "ENACT" ConwayEra), SpecRep (ExecSignal fn "ENACT" ConwayEra)) Source #

testConformanceExecContext fn "ENACT" ConwayEraExecEnvironment fn "ENACT" ConwayEraExecState fn "ENACT" ConwayEraExecSignal fn "ENACT" ConwayEraProperty Source #

extraInfoGlobalsExecContext fn "ENACT" ConwayEraEnvironment (EraRule "ENACT" ConwayEra) → State (EraRule "ENACT" ConwayEra) → Signal (EraRule "ENACT" ConwayEra) → Either OpaqueErrorString (State (EraRule "ENACT" ConwayEra), [Event (EraRule "ENACT" ConwayEra)]) → Doc AnsiStyle Source #

fn ~ ConwayFnExecSpecRule fn "EPOCH" ConwayEra Source # 
Instance details

Associated Types

type ExecContext fn "EPOCH" ConwayEra Source #

type ExecEnvironment fn "EPOCH" ConwayEra Source #

type ExecState fn "EPOCH" ConwayEra Source #

type ExecSignal fn "EPOCH" ConwayEra Source #

Methods

environmentSpecExecContext fn "EPOCH" ConwayEraSpecification fn (ExecEnvironment fn "EPOCH" ConwayEra) Source #

stateSpecExecContext fn "EPOCH" ConwayEraExecEnvironment fn "EPOCH" ConwayEraSpecification fn (ExecState fn "EPOCH" ConwayEra) Source #

signalSpecExecContext fn "EPOCH" ConwayEraExecEnvironment fn "EPOCH" ConwayEraExecState fn "EPOCH" ConwayEraSpecification fn (ExecSignal fn "EPOCH" ConwayEra) Source #

classOfExecSignal fn "EPOCH" ConwayEraMaybe String Source #

genExecContextGen (ExecContext fn "EPOCH" ConwayEra) Source #

runAgdaRuleSpecRep (ExecEnvironment fn "EPOCH" ConwayEra) → SpecRep (ExecState fn "EPOCH" ConwayEra) → SpecRep (ExecSignal fn "EPOCH" ConwayEra) → Either OpaqueErrorString (SpecRep (ExecState fn "EPOCH" ConwayEra)) Source #

translateInputsExecEnvironment fn "EPOCH" ConwayEraExecState fn "EPOCH" ConwayEraExecSignal fn "EPOCH" ConwayEraExecContext fn "EPOCH" ConwayEraImpTestM ConwayEra (SpecRep (ExecEnvironment fn "EPOCH" ConwayEra), SpecRep (ExecState fn "EPOCH" ConwayEra), SpecRep (ExecSignal fn "EPOCH" ConwayEra)) Source #

testConformanceExecContext fn "EPOCH" ConwayEraExecEnvironment fn "EPOCH" ConwayEraExecState fn "EPOCH" ConwayEraExecSignal fn "EPOCH" ConwayEraProperty Source #

extraInfoGlobalsExecContext fn "EPOCH" ConwayEraEnvironment (EraRule "EPOCH" ConwayEra) → State (EraRule "EPOCH" ConwayEra) → Signal (EraRule "EPOCH" ConwayEra) → Either OpaqueErrorString (State (EraRule "EPOCH" ConwayEra), [Event (EraRule "EPOCH" ConwayEra)]) → Doc AnsiStyle Source #

fn ~ ConwayFnExecSpecRule fn "NEWEPOCH" ConwayEra Source # 
Instance details

Associated Types

type ExecContext fn "NEWEPOCH" ConwayEra Source #

type ExecEnvironment fn "NEWEPOCH" ConwayEra Source #

type ExecState fn "NEWEPOCH" ConwayEra Source #

type ExecSignal fn "NEWEPOCH" ConwayEra Source #

Methods

environmentSpecExecContext fn "NEWEPOCH" ConwayEraSpecification fn (ExecEnvironment fn "NEWEPOCH" ConwayEra) Source #

stateSpecExecContext fn "NEWEPOCH" ConwayEraExecEnvironment fn "NEWEPOCH" ConwayEraSpecification fn (ExecState fn "NEWEPOCH" ConwayEra) Source #

signalSpecExecContext fn "NEWEPOCH" ConwayEraExecEnvironment fn "NEWEPOCH" ConwayEraExecState fn "NEWEPOCH" ConwayEraSpecification fn (ExecSignal fn "NEWEPOCH" ConwayEra) Source #

classOfExecSignal fn "NEWEPOCH" ConwayEraMaybe String Source #

genExecContextGen (ExecContext fn "NEWEPOCH" ConwayEra) Source #

runAgdaRuleSpecRep (ExecEnvironment fn "NEWEPOCH" ConwayEra) → SpecRep (ExecState fn "NEWEPOCH" ConwayEra) → SpecRep (ExecSignal fn "NEWEPOCH" ConwayEra) → Either OpaqueErrorString (SpecRep (ExecState fn "NEWEPOCH" ConwayEra)) Source #

translateInputsExecEnvironment fn "NEWEPOCH" ConwayEraExecState fn "NEWEPOCH" ConwayEraExecSignal fn "NEWEPOCH" ConwayEraExecContext fn "NEWEPOCH" ConwayEraImpTestM ConwayEra (SpecRep (ExecEnvironment fn "NEWEPOCH" ConwayEra), SpecRep (ExecState fn "NEWEPOCH" ConwayEra), SpecRep (ExecSignal fn "NEWEPOCH" ConwayEra)) Source #

testConformanceExecContext fn "NEWEPOCH" ConwayEraExecEnvironment fn "NEWEPOCH" ConwayEraExecState fn "NEWEPOCH" ConwayEraExecSignal fn "NEWEPOCH" ConwayEraProperty Source #

extraInfoGlobalsExecContext fn "NEWEPOCH" ConwayEraEnvironment (EraRule "NEWEPOCH" ConwayEra) → State (EraRule "NEWEPOCH" ConwayEra) → Signal (EraRule "NEWEPOCH" ConwayEra) → Either OpaqueErrorString (State (EraRule "NEWEPOCH" ConwayEra), [Event (EraRule "NEWEPOCH" ConwayEra)]) → Doc AnsiStyle Source #

IsConwayUniv fn ⇒ ExecSpecRule fn "RATIFY" ConwayEra Source # 
Instance details

Associated Types

type ExecContext fn "RATIFY" ConwayEra Source #

type ExecEnvironment fn "RATIFY" ConwayEra Source #

type ExecState fn "RATIFY" ConwayEra Source #

type ExecSignal fn "RATIFY" ConwayEra Source #

Methods

environmentSpecExecContext fn "RATIFY" ConwayEraSpecification fn (ExecEnvironment fn "RATIFY" ConwayEra) Source #

stateSpecExecContext fn "RATIFY" ConwayEraExecEnvironment fn "RATIFY" ConwayEraSpecification fn (ExecState fn "RATIFY" ConwayEra) Source #

signalSpecExecContext fn "RATIFY" ConwayEraExecEnvironment fn "RATIFY" ConwayEraExecState fn "RATIFY" ConwayEraSpecification fn (ExecSignal fn "RATIFY" ConwayEra) Source #

classOfExecSignal fn "RATIFY" ConwayEraMaybe String Source #

genExecContextGen (ExecContext fn "RATIFY" ConwayEra) Source #

runAgdaRuleSpecRep (ExecEnvironment fn "RATIFY" ConwayEra) → SpecRep (ExecState fn "RATIFY" ConwayEra) → SpecRep (ExecSignal fn "RATIFY" ConwayEra) → Either OpaqueErrorString (SpecRep (ExecState fn "RATIFY" ConwayEra)) Source #

translateInputsExecEnvironment fn "RATIFY" ConwayEraExecState fn "RATIFY" ConwayEraExecSignal fn "RATIFY" ConwayEraExecContext fn "RATIFY" ConwayEraImpTestM ConwayEra (SpecRep (ExecEnvironment fn "RATIFY" ConwayEra), SpecRep (ExecState fn "RATIFY" ConwayEra), SpecRep (ExecSignal fn "RATIFY" ConwayEra)) Source #

testConformanceExecContext fn "RATIFY" ConwayEraExecEnvironment fn "RATIFY" ConwayEraExecState fn "RATIFY" ConwayEraExecSignal fn "RATIFY" ConwayEraProperty Source #

extraInfoGlobalsExecContext fn "RATIFY" ConwayEraEnvironment (EraRule "RATIFY" ConwayEra) → State (EraRule "RATIFY" ConwayEra) → Signal (EraRule "RATIFY" ConwayEra) → Either OpaqueErrorString (State (EraRule "RATIFY" ConwayEra), [Event (EraRule "RATIFY" ConwayEra)]) → Doc AnsiStyle Source #

Inject (EpochExecEnv era) () Source # 
Instance details

Methods

injectEpochExecEnv era → () Source #