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

Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Cert

Orphan instances

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

Associated Types

type ExecContext fn "CERT" Conway Source #

type ExecEnvironment fn "CERT" Conway Source #

type ExecState fn "CERT" Conway Source #

type ExecSignal fn "CERT" Conway Source #

Methods

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

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

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

genExecContextGen (ExecContext fn "CERT" Conway) Source #

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

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

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

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