Documentation

module Test.Cardano.Ledger.Conformance.ExecSpecRule.Core

module Test.Cardano.Ledger.Conformance.SpecTranslate.Base

module Test.Cardano.Ledger.Conformance.Utils

signatureFromInteger ∷ DSIGNAlgorithm v ⇒ Integer → Maybe (SigDSIGN v) Source #

vkeyFromInteger ∷ ∀ (kd ∷ KeyRole). Integer → Maybe (VKey kd) Source #

committeeCredentialToStrictMaybe ∷ CommitteeAuthorization → StrictMaybe (Credential 'HotCommitteeRole) Source #

vkeyToInteger ∷ ∀ (kd ∷ KeyRole). VKey kd → Integer Source #

signatureToInteger ∷ DSIGNAlgorithm v ⇒ SigDSIGN v → Integer Source #