cardano-ledger-shelley-test-1.4.0.1: 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 C_Crypto Source #

Instances

Instances details
Crypto C_Crypto Source # 
Instance details

Defined in Test.Cardano.Ledger.Shelley.ConcreteCryptoTypes

Associated Types

type HASH C_Crypto Source #

type ADDRHASH C_Crypto Source #

type DSIGN C_Crypto Source #

type KES C_Crypto Source #

type VRF C_Crypto Source #

PraosCrypto C_Crypto Source # 
Instance details

Defined in Test.Cardano.Ledger.Shelley.ConcreteCryptoTypes

type ADDRHASH C_Crypto Source # 
Instance details

Defined in Test.Cardano.Ledger.Shelley.ConcreteCryptoTypes

type ADDRHASH C_Crypto = ADDRHASH StandardCrypto
type DSIGN C_Crypto Source # 
Instance details

Defined in Test.Cardano.Ledger.Shelley.ConcreteCryptoTypes

type DSIGN C_Crypto = MockDSIGN
type HASH C_Crypto Source # 
Instance details

Defined in Test.Cardano.Ledger.Shelley.ConcreteCryptoTypes

type HASH C_Crypto = HASH StandardCrypto
type KES C_Crypto Source # 
Instance details

Defined in Test.Cardano.Ledger.Shelley.ConcreteCryptoTypes

type KES C_Crypto = MockKES 10
type VRF C_Crypto Source # 
Instance details

Defined in Test.Cardano.Ledger.Shelley.ConcreteCryptoTypes

type VRF C_Crypto = FakeVRF

type C = ShelleyEra C_Crypto Source #

type TestCrypto = C_Crypto Source #

data StandardCrypto Source #

The same crypto used on the net

Instances

Instances details
Crypto StandardCrypto 
Instance details

Defined in Cardano.Ledger.Crypto

Associated Types

type HASH StandardCrypto Source #

type ADDRHASH StandardCrypto Source #

type DSIGN StandardCrypto Source #

type KES StandardCrypto Source #

type VRF StandardCrypto Source #

PraosCrypto StandardCrypto 
Instance details

Defined in Cardano.Protocol.TPraos.API

type ADDRHASH StandardCrypto 
Instance details

Defined in Cardano.Ledger.Crypto

type ADDRHASH StandardCrypto = Blake2b_224
type DSIGN StandardCrypto 
Instance details

Defined in Cardano.Ledger.Crypto

type DSIGN StandardCrypto = Ed25519DSIGN
type HASH StandardCrypto 
Instance details

Defined in Cardano.Ledger.Crypto

type HASH StandardCrypto = Blake2b_256
type KES StandardCrypto 
Instance details

Defined in Cardano.Ledger.Crypto

type KES StandardCrypto = Sum6KES Ed25519DSIGN Blake2b_256
type VRF StandardCrypto 
Instance details

Defined in Cardano.Ledger.Crypto

type VRF StandardCrypto = PraosVRF