| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Consensus.Shelley.MockCrypto
Synopsis
- type Block = ShelleyBlock (TPraos MockCrypto) ShelleyEra
- type CanMock proto era = (ShelleyCompatible proto era, LedgerSupportsProtocol (ShelleyBlock proto era), PraosCrypto (ProtoCrypto proto), PraosCrypto (ProtoCrypto proto), EraTx era, SignableRepresentation Seed, SignableRepresentation (BHBody (ProtoCrypto proto)), Signable (KES (ProtoCrypto proto)) ~ SignableRepresentation, Eq (PredicateFailure (EraRule "LEDGER" era)), Show (PredicateFailure (EraRule "LEDGER" era)), Arbitrary (TxAuxData era), Arbitrary (PParams era), Arbitrary (PParamsUpdate era), Arbitrary (Script era), Arbitrary (TxBody 'TopTx era), Arbitrary (Tx 'TopTx era), Arbitrary (TxOut era), Arbitrary (Value era), Arbitrary (PredicateFailure (UTXOW era)), Arbitrary (TxWits era), Arbitrary (StashedAVVMAddresses era), Arbitrary (GovState era), Arbitrary (CertState era), Arbitrary (BlockBody era))
- data MockCrypto
Documentation
type Block = ShelleyBlock (TPraos MockCrypto) ShelleyEra Source #
type CanMock proto era = (ShelleyCompatible proto era, LedgerSupportsProtocol (ShelleyBlock proto era), PraosCrypto (ProtoCrypto proto), PraosCrypto (ProtoCrypto proto), EraTx era, SignableRepresentation Seed, SignableRepresentation (BHBody (ProtoCrypto proto)), Signable (KES (ProtoCrypto proto)) ~ SignableRepresentation, Eq (PredicateFailure (EraRule "LEDGER" era)), Show (PredicateFailure (EraRule "LEDGER" era)), Arbitrary (TxAuxData era), Arbitrary (PParams era), Arbitrary (PParamsUpdate era), Arbitrary (Script era), Arbitrary (TxBody 'TopTx era), Arbitrary (Tx 'TopTx era), Arbitrary (TxOut era), Arbitrary (Value era), Arbitrary (PredicateFailure (UTXOW era)), Arbitrary (TxWits era), Arbitrary (StashedAVVMAddresses era), Arbitrary (GovState era), Arbitrary (CertState era), Arbitrary (BlockBody era)) Source #
Cryptography that can easily be mocked
data MockCrypto 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.