Documentation

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

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

module Test.Cardano.Ledger.Conformance.Utils

externalFunctions ∷ ExternalFunctions Source #

popFromInteger ∷ DSIGNAggregatable v ⇒ Integer → Maybe (PossessionProofDSIGN v) Source #

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

verkeyFromInteger96 ∷ DSIGNAlgorithm v ⇒ Integer → Maybe (VerKeyDSIGN v) Source #

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

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

verkeyToInteger ∷ DSIGNAlgorithm v ⇒ VerKeyDSIGN v → Integer Source #

popToInteger ∷ DSIGNAggregatable v ⇒ PossessionProofDSIGN v → Integer Source #

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

signatureToInteger ∷ DSIGNAlgorithm v ⇒ SigDSIGN v → Integer Source #