cardano-ledger-shelley-test-1.4.0.3: Test helpers from cardano-ledger-shelley exposed to other packages
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Shelley.ConcreteCryptoTypes

Synopsis

Documentation

type Mock c = (PraosCrypto c, Signable (KES c) ~ SignableRepresentation, Signable (DSIGN c) ~ SignableRepresentation, Signable (VRF c) Seed) Source #

Mocking constraints used in generators

type ExMock c = (Mock c, Num (SignKeyDSIGN (DSIGN c)), Num (VerKeyDSIGN (DSIGN c)), VRF c ~ FakeVRF) Source #

Additional mocking constraints used in examples.

data StandardCrypto Source #

The same crypto used on the net