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

Test.Cardano.Ledger.Conformance.SpecTranslate.Conway

Documentation

vkeyFromInteger ∷ DSIGNAlgorithm (DSIGN c) ⇒ Integer → Maybe (VKey kd c) Source #

vkeyToInteger ∷ DSIGNAlgorithm (DSIGN c) ⇒ VKey kd c → Integer Source #

data ConwayTxBodyTransContext c Source #

Instances

Instances details
Inject (ConwayTxBodyTransContext c) Integer Source # 
Instance details

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

Methods

inject ∷ ConwayTxBodyTransContext c → Integer Source #

Inject (ConwayTxBodyTransContext c) (TxId c) Source # 
Instance details

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

Methods

inject ∷ ConwayTxBodyTransContext c → TxId c Source #