| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Protocol.TPraos.Examples
Documentation
ledgerExamplesTPraos ∷ ∀ era. EraBlockBody era ⇒ LedgerExamples era → ProtocolLedgerExamples (BHeader StandardCrypto) era Source #
mkProtocolLedgerExamples ∷ EraBlockBody era ⇒ HashHeader → (Hash HASH EraIndependentBlockBody → bh) → ChainDepState → LedgerExamples era → ProtocolLedgerExamples bh era Source #
data ProtocolLedgerExamples bh era Source #
Constructors
| ProtocolLedgerExamples | |
Fields
| |
Instances
| (EraTx era, Eq bh, Eq (PParamsHKD Identity era), Eq (PParamsHKD StrictMaybe era), EraGov era, Eq (BlockBody era), Eq (PredicateFailure (EraRule "LEDGER" era)), Eq (StashedAVVMAddresses era), Eq (TranslationContext era), Eq (CertState era), Eq (InstantStake era)) ⇒ Eq (ProtocolLedgerExamples bh era) Source # | |
Defined in Test.Cardano.Protocol.TPraos.Examples Methods (==) ∷ ProtocolLedgerExamples bh era → ProtocolLedgerExamples bh era → Bool # (/=) ∷ ProtocolLedgerExamples bh era → ProtocolLedgerExamples bh era → Bool # | |
data LedgerExamples era Source #
Constructors
| LedgerExamples | |
Fields
| |
Instances
| (EraTx era, Eq (PParams era), Eq (PParamsUpdate era), EraGov era, Eq (Tx era), Eq (PredicateFailure (EraRule "LEDGER" era)), Eq (StashedAVVMAddresses era), Eq (TranslationContext era), Eq (CertState era), Eq (InstantStake era)) ⇒ Eq (LedgerExamples era) | |
Defined in Test.Cardano.Ledger.Shelley.Examples Methods (==) ∷ LedgerExamples era → LedgerExamples era → Bool # (/=) ∷ LedgerExamples era → LedgerExamples era → Bool # | |