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

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 (Network, Credential 'Staking 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 (Network, Credential 'Staking (EraCrypto era)) Coin)) :*: S1 ('MetaSel ('Just "ccecVotes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VotingProcedures era))))

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 #

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) → String 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 #

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) → String Source #

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

Associated Types

type ExecContext fn "GOVCERT" Conway Source #

type ExecEnvironment fn "GOVCERT" Conway Source #

type ExecState fn "GOVCERT" Conway Source #

type ExecSignal fn "GOVCERT" Conway Source #

Methods

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

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

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

genExecContextGen (ExecContext fn "GOVCERT" Conway) Source #

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

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

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

extraInfoExecContext fn "GOVCERT" ConwayEnvironment (EraRule "GOVCERT" Conway) → State (EraRule "GOVCERT" Conway) → Signal (EraRule "GOVCERT" Conway) → String 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 #

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) → String 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 #

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) → String 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 #

Methods

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

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

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

genExecContextGen (ExecContext fn "UTXO" Conway) Source #

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

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

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

extraInfoExecContext fn "UTXO" ConwayEnvironment (EraRule "UTXO" Conway) → State (EraRule "UTXO" Conway) → Signal (EraRule "UTXO" Conway) → String Source #

Inject (EpochExecEnv era) () Source # 
Instance details

Methods

injectEpochExecEnv era → () Source #