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

Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Pool

Orphan instances

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

Associated Types

type ExecContext fn "POOL" Conway Source #

type ExecEnvironment fn "POOL" Conway Source #

type ExecState fn "POOL" Conway Source #

type ExecSignal fn "POOL" Conway Source #

Methods

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

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

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

genExecContextGen (ExecContext fn "POOL" Conway) Source #

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

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

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

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