| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Consensus.Genesis.TestSuite
Contents
Description
A TestSuite data structure for quick access to ConformanceTest values.
It encodes a hierarchical nested structure allowing it to compile into a
tasty TestTree.
It's purpose is interfacing between property test execution and the
conformance testing harness.
Synopsis
- class Generic a
- newtype Generically a = Generically a
- class SmallKey a
- data TestSuite blk key
- at ∷ Ord key ⇒ TestSuite blk key → key → TestSuiteData blk
- getTest ∷ TestSuiteData blk → ConformanceTest blk
- group ∷ String → TestSuite blk key → TestSuite blk key
- grouping ∷ (key → String) → TestSuite blk key → TestSuite blk key
- mkTestSuite ∷ (Ord key, SmallKey key) ⇒ (key → TestSuiteData blk) → TestSuite blk key
- newTestSuite ∷ (Ord key, SmallKey key) ⇒ (key → ConformanceTest blk) → TestSuite blk key
- toTestTree ∷ (Condense (StateView blk), CondenseList (NodeState blk), ShowProxy blk, ShowProxy (Header blk), ConfigSupportsNode blk, LedgerSupportsProtocol blk, LedgerSupportsPeras blk, SerialiseDiskConstraints blk, BlockSupportsDiffusionPipelining blk, InspectLedger blk, HasHardForkHistory blk, ConvertRawHash blk, CanUpgradeLedgerTables LedgerState blk, HasPointScheduleTestParams blk, Eq (Header blk), Eq blk, Terse blk, Condense (NodeState blk)) ⇒ TestSuite blk key → [TestTree]
SmallKey class
Representable types of kind *.
This class is derivable in GHC with the DeriveGeneric flag on.
A Generic instance must satisfy the following laws:
from.to≡idto.from≡id