| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Consensus.Shelley.MockCrypto
Synopsis
- type Block h = ShelleyBlock (TPraos (MockCrypto h)) (MockShelley h)
- type CanMock proto era = (ShelleyCompatible proto era, LedgerSupportsProtocol (ShelleyBlock proto era), Mock (EraCrypto era), PraosCrypto (EraCrypto era), EraTx era, Arbitrary (TxAuxData era), Arbitrary (PParams era), Arbitrary (PParamsUpdate era), Arbitrary (Script era), Arbitrary (TxBody era), Arbitrary (Tx era), Arbitrary (TxOut era), Arbitrary (Value era), Arbitrary (PredicateFailure (ShelleyUTXOW era)), Arbitrary (TxWits era), Arbitrary (StashedAVVMAddresses era), Arbitrary (GovState era))
- data MockCrypto h
- type MockShelley h = ShelleyEra (MockCrypto h)
Documentation
type Block h = ShelleyBlock (TPraos (MockCrypto h)) (MockShelley h) Source #
type CanMock proto era = (ShelleyCompatible proto era, LedgerSupportsProtocol (ShelleyBlock proto era), Mock (EraCrypto era), PraosCrypto (EraCrypto era), EraTx era, Arbitrary (TxAuxData era), Arbitrary (PParams era), Arbitrary (PParamsUpdate era), Arbitrary (Script era), Arbitrary (TxBody era), Arbitrary (Tx era), Arbitrary (TxOut era), Arbitrary (Value era), Arbitrary (PredicateFailure (ShelleyUTXOW era)), Arbitrary (TxWits era), Arbitrary (StashedAVVMAddresses era), Arbitrary (GovState era)) Source #
Cryptography that can easily be mocked
data MockCrypto h Source #
A mock replacement for StandardCrypto
We run the tests with this mock crypto, as it is easier to generate and debug things. The code is parametric in the crypto, so it shouldn't make much of a difference. This also has the important advantage that we can reuse the generators from cardano-ledger-specs.
Instances
| HashAlgorithm h => Crypto (MockCrypto h) Source # | |
Defined in Test.Consensus.Shelley.MockCrypto Associated Types type HASH (MockCrypto h) type ADDRHASH (MockCrypto h) type DSIGN (MockCrypto h) type KES (MockCrypto h) type VRF (MockCrypto h) | |
| HashAlgorithm h => PraosCrypto (MockCrypto h) Source # | |
Defined in Test.Consensus.Shelley.MockCrypto | |
| HashAlgorithm h => PraosCrypto (MockCrypto h) Source # | |
Defined in Test.Consensus.Shelley.MockCrypto | |
| HashAlgorithm h => TxGen (ShelleyBlock (TPraos (MockCrypto h)) (MockShelley h)) | |
Defined in Test.ThreadNet.TxGen.Shelley Associated Types type TxGenExtra (ShelleyBlock (TPraos (MockCrypto h)) (MockShelley h)) Methods testGenTxs :: CoreNodeId -> NumCoreNodes -> SlotNo -> TopLevelConfig (ShelleyBlock (TPraos (MockCrypto h)) (MockShelley h)) -> TxGenExtra (ShelleyBlock (TPraos (MockCrypto h)) (MockShelley h)) -> LedgerState (ShelleyBlock (TPraos (MockCrypto h)) (MockShelley h)) -> Gen [GenTx (ShelleyBlock (TPraos (MockCrypto h)) (MockShelley h))] | |
| type ADDRHASH (MockCrypto h) Source # | |
Defined in Test.Consensus.Shelley.MockCrypto type ADDRHASH (MockCrypto h) = h | |
| type DSIGN (MockCrypto h) Source # | |
Defined in Test.Consensus.Shelley.MockCrypto type DSIGN (MockCrypto h) = MockDSIGN | |
| type HASH (MockCrypto h) Source # | |
Defined in Test.Consensus.Shelley.MockCrypto type HASH (MockCrypto h) = h | |
| type KES (MockCrypto h) Source # | |
Defined in Test.Consensus.Shelley.MockCrypto type KES (MockCrypto h) = MockKES 10 | |
| type VRF (MockCrypto h) Source # | |
Defined in Test.Consensus.Shelley.MockCrypto type VRF (MockCrypto h) = MockVRF | |
| type TxGenExtra (ShelleyBlock (TPraos (MockCrypto h)) (MockShelley h)) | |
Defined in Test.ThreadNet.TxGen.Shelley | |
type MockShelley h = ShelleyEra (MockCrypto h) Source #