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

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

Documentation

data ConwayCertExecContext era Source #

Instances

Instances details
Era 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

Era 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

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

c ~ EraCrypto era ⇒ Inject (ConwayCertExecContext era) (Map (RewardAccount c) Coin) Source # 
Instance details

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

c ~ EraCrypto era ⇒ Inject (ConwayCertExecContext era) (Map (DepositPurpose c) Coin) 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-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ConwayCertExecContext" 'PrefixI 'True) (S1 ('MetaSel ('Just "ccecWithdrawals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (RewardAccount (EraCrypto era)) Coin)) :*: (S1 ('MetaSel ('Just "ccecDeposits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (DepositPurpose (EraCrypto era)) Coin)) :*: S1 ('MetaSel ('Just "ccecVotes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VotingProcedures era)))))

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

(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-0.1.0.0-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" Conway Source # 
Instance details

Associated Types

type ExecContext fn "ENACT" Conway Source #

type ExecEnvironment fn "ENACT" Conway Source #

type ExecState fn "ENACT" Conway Source #

type ExecSignal fn "ENACT" Conway Source #

Methods

environmentSpecExecContext fn "ENACT" ConwaySpecification fn (ExecEnvironment fn "ENACT" Conway) Source #

stateSpecExecContext fn "ENACT" ConwayExecEnvironment fn "ENACT" ConwaySpecification fn (ExecState fn "ENACT" Conway) Source #

signalSpecExecContext fn "ENACT" ConwayExecEnvironment fn "ENACT" ConwayExecState fn "ENACT" ConwaySpecification fn (ExecSignal fn "ENACT" Conway) Source #

classOfExecSignal fn "ENACT" ConwayMaybe String Source #

genExecContextGen (ExecContext fn "ENACT" Conway) Source #

runAgdaRuleSpecRep (ExecEnvironment fn "ENACT" Conway) → SpecRep (ExecState fn "ENACT" Conway) → SpecRep (ExecSignal fn "ENACT" Conway) → Either (NonEmpty (SpecRep (PredicateFailure (EraRule "ENACT" Conway)))) (SpecRep (ExecState fn "ENACT" Conway)) Source #

translateInputsExecEnvironment fn "ENACT" ConwayExecState fn "ENACT" ConwayExecSignal fn "ENACT" ConwayExecContext fn "ENACT" ConwayImpTestM Conway (SpecRep (ExecEnvironment fn "ENACT" Conway), SpecRep (ExecState fn "ENACT" Conway), SpecRep (ExecSignal fn "ENACT" Conway)) Source #

testConformanceExecContext fn "ENACT" ConwayExecEnvironment fn "ENACT" ConwayExecState fn "ENACT" ConwayExecSignal fn "ENACT" ConwayProperty Source #

extraInfoExecContext fn "ENACT" ConwayEnvironment (EraRule "ENACT" Conway) → State (EraRule "ENACT" Conway) → Signal (EraRule "ENACT" Conway) → Doc AnsiStyle Source #

IsConwayUniv fn ⇒ ExecSpecRule fn "EPOCH" Conway Source # 
Instance details

Associated Types

type ExecContext fn "EPOCH" Conway Source #

type ExecEnvironment fn "EPOCH" Conway Source #

type ExecState fn "EPOCH" Conway Source #

type ExecSignal fn "EPOCH" Conway Source #

Methods

environmentSpecExecContext fn "EPOCH" ConwaySpecification fn (ExecEnvironment fn "EPOCH" Conway) Source #

stateSpecExecContext fn "EPOCH" ConwayExecEnvironment fn "EPOCH" ConwaySpecification fn (ExecState fn "EPOCH" Conway) Source #

signalSpecExecContext fn "EPOCH" ConwayExecEnvironment fn "EPOCH" ConwayExecState fn "EPOCH" ConwaySpecification fn (ExecSignal fn "EPOCH" Conway) Source #

classOfExecSignal fn "EPOCH" ConwayMaybe String Source #

genExecContextGen (ExecContext fn "EPOCH" Conway) Source #

runAgdaRuleSpecRep (ExecEnvironment fn "EPOCH" Conway) → SpecRep (ExecState fn "EPOCH" Conway) → SpecRep (ExecSignal fn "EPOCH" Conway) → Either (NonEmpty (SpecRep (PredicateFailure (EraRule "EPOCH" Conway)))) (SpecRep (ExecState fn "EPOCH" Conway)) Source #

translateInputsExecEnvironment fn "EPOCH" ConwayExecState fn "EPOCH" ConwayExecSignal fn "EPOCH" ConwayExecContext fn "EPOCH" ConwayImpTestM Conway (SpecRep (ExecEnvironment fn "EPOCH" Conway), SpecRep (ExecState fn "EPOCH" Conway), SpecRep (ExecSignal fn "EPOCH" Conway)) Source #

testConformanceExecContext fn "EPOCH" ConwayExecEnvironment fn "EPOCH" ConwayExecState fn "EPOCH" ConwayExecSignal fn "EPOCH" ConwayProperty Source #

extraInfoExecContext fn "EPOCH" ConwayEnvironment (EraRule "EPOCH" Conway) → State (EraRule "EPOCH" Conway) → Signal (EraRule "EPOCH" Conway) → Doc AnsiStyle Source #

IsConwayUniv fn ⇒ ExecSpecRule fn "NEWEPOCH" Conway Source # 
Instance details

Associated Types

type ExecContext fn "NEWEPOCH" Conway Source #

type ExecEnvironment fn "NEWEPOCH" Conway Source #

type ExecState fn "NEWEPOCH" Conway Source #

type ExecSignal fn "NEWEPOCH" Conway Source #

Methods

environmentSpecExecContext fn "NEWEPOCH" ConwaySpecification fn (ExecEnvironment fn "NEWEPOCH" Conway) Source #

stateSpecExecContext fn "NEWEPOCH" ConwayExecEnvironment fn "NEWEPOCH" ConwaySpecification fn (ExecState fn "NEWEPOCH" Conway) Source #

signalSpecExecContext fn "NEWEPOCH" ConwayExecEnvironment fn "NEWEPOCH" ConwayExecState fn "NEWEPOCH" ConwaySpecification fn (ExecSignal fn "NEWEPOCH" Conway) Source #

classOfExecSignal fn "NEWEPOCH" ConwayMaybe String Source #

genExecContextGen (ExecContext fn "NEWEPOCH" Conway) Source #

runAgdaRuleSpecRep (ExecEnvironment fn "NEWEPOCH" Conway) → SpecRep (ExecState fn "NEWEPOCH" Conway) → SpecRep (ExecSignal fn "NEWEPOCH" Conway) → Either (NonEmpty (SpecRep (PredicateFailure (EraRule "NEWEPOCH" Conway)))) (SpecRep (ExecState fn "NEWEPOCH" Conway)) Source #

translateInputsExecEnvironment fn "NEWEPOCH" ConwayExecState fn "NEWEPOCH" ConwayExecSignal fn "NEWEPOCH" ConwayExecContext fn "NEWEPOCH" ConwayImpTestM Conway (SpecRep (ExecEnvironment fn "NEWEPOCH" Conway), SpecRep (ExecState fn "NEWEPOCH" Conway), SpecRep (ExecSignal fn "NEWEPOCH" Conway)) Source #

testConformanceExecContext fn "NEWEPOCH" ConwayExecEnvironment fn "NEWEPOCH" ConwayExecState fn "NEWEPOCH" ConwayExecSignal fn "NEWEPOCH" ConwayProperty Source #

extraInfoExecContext fn "NEWEPOCH" ConwayEnvironment (EraRule "NEWEPOCH" Conway) → State (EraRule "NEWEPOCH" Conway) → Signal (EraRule "NEWEPOCH" Conway) → Doc AnsiStyle Source #

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

Associated Types

type ExecContext fn "RATIFY" Conway Source #

type ExecEnvironment fn "RATIFY" Conway Source #

type ExecState fn "RATIFY" Conway Source #

type ExecSignal fn "RATIFY" Conway Source #

Methods

environmentSpecExecContext fn "RATIFY" ConwaySpecification fn (ExecEnvironment fn "RATIFY" Conway) Source #

stateSpecExecContext fn "RATIFY" ConwayExecEnvironment fn "RATIFY" ConwaySpecification fn (ExecState fn "RATIFY" Conway) Source #

signalSpecExecContext fn "RATIFY" ConwayExecEnvironment fn "RATIFY" ConwayExecState fn "RATIFY" ConwaySpecification fn (ExecSignal fn "RATIFY" Conway) Source #

classOfExecSignal fn "RATIFY" ConwayMaybe String Source #

genExecContextGen (ExecContext fn "RATIFY" Conway) Source #

runAgdaRuleSpecRep (ExecEnvironment fn "RATIFY" Conway) → SpecRep (ExecState fn "RATIFY" Conway) → SpecRep (ExecSignal fn "RATIFY" Conway) → Either (NonEmpty (SpecRep (PredicateFailure (EraRule "RATIFY" Conway)))) (SpecRep (ExecState fn "RATIFY" Conway)) Source #

translateInputsExecEnvironment fn "RATIFY" ConwayExecState fn "RATIFY" ConwayExecSignal fn "RATIFY" ConwayExecContext fn "RATIFY" ConwayImpTestM Conway (SpecRep (ExecEnvironment fn "RATIFY" Conway), SpecRep (ExecState fn "RATIFY" Conway), SpecRep (ExecSignal fn "RATIFY" Conway)) Source #

testConformanceExecContext fn "RATIFY" ConwayExecEnvironment fn "RATIFY" ConwayExecState fn "RATIFY" ConwayExecSignal fn "RATIFY" ConwayProperty Source #

extraInfoExecContext fn "RATIFY" ConwayEnvironment (EraRule "RATIFY" Conway) → State (EraRule "RATIFY" Conway) → Signal (EraRule "RATIFY" Conway) → Doc AnsiStyle Source #

IsConwayUniv fn ⇒ ExecSpecRule fn "UTXO" Conway Source # 
Instance details

Associated Types

type ExecContext fn "UTXO" Conway Source #

type ExecEnvironment fn "UTXO" Conway Source #

type ExecState fn "UTXO" Conway Source #

type ExecSignal fn "UTXO" Conway Source #

Inject (EpochExecEnv era) () Source # 
Instance details

Methods

injectEpochExecEnv era → () Source #