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

Contents

nameGovCert ∷ ConwayGovCert c → String Source #

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

environmentSpec ∷ ExecContext fn "GOVCERT" Conway → Specification fn (ExecEnvironment fn "GOVCERT" Conway) Source #

stateSpec ∷ ExecContext fn "GOVCERT" Conway → ExecEnvironment fn "GOVCERT" Conway → Specification fn (ExecState fn "GOVCERT" Conway) Source #

signalSpec ∷ ExecContext fn "GOVCERT" Conway → ExecEnvironment fn "GOVCERT" Conway → ExecState fn "GOVCERT" Conway → Specification fn (ExecSignal fn "GOVCERT" Conway) Source #

classOf ∷ ExecSignal fn "GOVCERT" Conway → Maybe String Source #

genExecContext ∷ Gen (ExecContext fn "GOVCERT" Conway) Source #

runAgdaRule ∷ SpecRep (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 #

translateInputs ∷ ExecEnvironment fn "GOVCERT" Conway → ExecState fn "GOVCERT" Conway → ExecSignal fn "GOVCERT" Conway → ExecContext fn "GOVCERT" Conway → ImpTestM Conway (SpecRep (ExecEnvironment fn "GOVCERT" Conway), SpecRep (ExecState fn "GOVCERT" Conway), SpecRep (ExecSignal fn "GOVCERT" Conway)) Source #

testConformance ∷ ExecContext fn "GOVCERT" Conway → ExecEnvironment fn "GOVCERT" Conway → ExecState fn "GOVCERT" Conway → ExecSignal fn "GOVCERT" Conway → Property Source #

extraInfo ∷ ExecContext fn "GOVCERT" Conway → Environment (EraRule "GOVCERT" Conway) → State (EraRule "GOVCERT" Conway) → Signal (EraRule "GOVCERT" Conway) → String Source #