| ! | Test.Util.RefEnv |
| + | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| - | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| :< | Test.Util.Stream |
| =:= | Test.Util.QuickCheck |
| ActiveSlotE | Test.Ouroboros.Consensus.ChainGenerator.Slot |
| AddBlock | Test.Util.ChainUpdates |
| adjustQuickCheckMaxSize | Test.Util.TestEnv |
| adjustQuickCheckTests | Test.Util.TestEnv |
| AdversarialRecipe | |
| 1 (Type/Class) | Test.Ouroboros.Consensus.ChainGenerator.Adversarial |
| 2 (Data Constructor) | Test.Ouroboros.Consensus.ChainGenerator.Adversarial |
| AdversarialViolation | Test.Ouroboros.Consensus.ChainGenerator.Adversarial |
| AdversaryWonRace | Test.Ouroboros.Consensus.ChainGenerator.Adversarial |
| AnchorViolation | Test.Ouroboros.Consensus.ChainGenerator.Adversarial |
| andId | Test.Util.Shrink |
| applyCorruption | Test.Util.Corruption |
| applyDirectlyToPayloadDependentState | Test.Util.TestBlock |
| applyPayload | Test.Util.TestBlock |
| Arbitrary' | Test.Util.Serialisation.Roundtrip |
| arHonest | Test.Ouroboros.Consensus.ChainGenerator.Adversarial |
| arParams | Test.Ouroboros.Consensus.ChainGenerator.Adversarial |
| arPrefix | Test.Ouroboros.Consensus.ChainGenerator.Adversarial |
| Asc | |
| 1 (Type/Class) | Test.Ouroboros.Consensus.ChainGenerator.Params |
| 2 (Data Constructor) | Test.Ouroboros.Consensus.ChainGenerator.Params |
| ascFromBits | Test.Ouroboros.Consensus.ChainGenerator.Params |
| ascFromDouble | Test.Ouroboros.Consensus.ChainGenerator.Params |
| ascVal | Test.Ouroboros.Consensus.ChainGenerator.Params |
| askTestEnv | Test.Util.TestEnv |
| attachSlotTime | Test.Util.Header |
| attachSlotTimeToFragment | Test.Util.Header |
| BadAnchor | Test.Ouroboros.Consensus.ChainGenerator.Adversarial |
| BadCount | |
| 1 (Data Constructor) | Test.Ouroboros.Consensus.ChainGenerator.Honest |
| 2 (Data Constructor) | Test.Ouroboros.Consensus.ChainGenerator.Adversarial |
| BadDensity | Test.Ouroboros.Consensus.ChainGenerator.Adversarial |
| BadKcp | Test.Ouroboros.Consensus.ChainGenerator.Honest |
| BadLen | Test.Ouroboros.Consensus.ChainGenerator.Honest |
| BadLength | Test.Ouroboros.Consensus.ChainGenerator.Honest |
| BadRace | Test.Ouroboros.Consensus.ChainGenerator.Adversarial |
| BadScgWindow | Test.Ouroboros.Consensus.ChainGenerator.Honest |
| blockCDDL | Test.Util.Serialisation.CDDL |
| BlockChain | |
| 1 (Type/Class) | Test.Util.TestBlock |
| 2 (Data Constructor) | Test.Util.TestBlock |
| blockChain | Test.Util.TestBlock |
| BlockConfig | Test.Util.TestBlock, Test.Ouroboros.Storage.TestBlock |
| Blocked | Test.Util.BoolProps |
| BlockQuery | Test.Util.TestBlock |
| BlockTree | |
| 1 (Type/Class) | Test.Util.TestBlock |
| 2 (Data Constructor) | Test.Util.TestBlock |
| blockTree | Test.Util.TestBlock |
| blockUntilSlot | Test.Util.HardFork.OracularClock |
| blockUntilTick | Test.Util.LogicalClock |
| carHonest | Test.Ouroboros.Consensus.ChainGenerator.Adversarial |
| carParams | Test.Ouroboros.Consensus.ChainGenerator.Adversarial |
| carWin | Test.Ouroboros.Consensus.ChainGenerator.Adversarial |
| CDDLsForNodeToNode | |
| 1 (Type/Class) | Test.Util.Serialisation.CDDL |
| 2 (Data Constructor) | Test.Util.Serialisation.CDDL |
| cddlTest | Test.Util.Serialisation.CDDL |
| cddlTestCase | Test.Util.Serialisation.CDDL |
| ChainLength | |
| 1 (Type/Class) | Test.Ouroboros.Storage.TestBlock |
| 2 (Data Constructor) | Test.Ouroboros.Storage.TestBlock |
| ChainSchema | |
| 1 (Type/Class) | Test.Ouroboros.Consensus.ChainGenerator.Honest, Test.Ouroboros.Consensus.ChainGenerator.Adversarial |
| 2 (Data Constructor) | Test.Ouroboros.Consensus.ChainGenerator.Honest, Test.Ouroboros.Consensus.ChainGenerator.Adversarial |
| chainToBlocks | Test.Util.TestBlock |
| ChainUpdate | Test.Util.ChainUpdates |
| checkAdversarialChain | Test.Ouroboros.Consensus.ChainGenerator.Adversarial |
| checkAdversarialRecipe | Test.Ouroboros.Consensus.ChainGenerator.Adversarial |
| CheckCBORValidity | Test.Util.Serialisation.Roundtrip |
| CheckedAdversarialRecipe | Test.Ouroboros.Consensus.ChainGenerator.Adversarial |
| CheckedHonestRecipe | Test.Ouroboros.Consensus.ChainGenerator.Honest |
| checkGenerator | Test.Util.QuickCheck |
| checkHonestChain | Test.Ouroboros.Consensus.ChainGenerator.Honest |
| checkHonestRecipe | Test.Ouroboros.Consensus.ChainGenerator.Honest |
| checkInvariant | Test.Util.QuickCheck |
| checkReqs | Test.Util.BoolProps |
| checkShrinker | Test.Util.QuickCheck |
| chrScgDensity | Test.Ouroboros.Consensus.ChainGenerator.Honest |
| chrWin | Test.Ouroboros.Consensus.ChainGenerator.Honest |
| CI | Test.Util.TestEnv |
| CodecConfig | Test.Util.TestBlock, Test.Ouroboros.Storage.TestBlock |
| Coherent | |
| 1 (Type/Class) | Test.Util.Serialisation.Roundtrip |
| 2 (Data Constructor) | Test.Util.Serialisation.Roundtrip |
| CollectReqs | Test.Util.BoolProps |
| collectReqs | Test.Util.BoolProps |
| collects | Test.Util.QuickCheck |
| combineExamples | Test.Util.Serialisation.Examples |
| commonPrefix | Test.Util.MockChain |
| complementActive | Test.Ouroboros.Consensus.ChainGenerator.Slot |
| complementEmpty | Test.Ouroboros.Consensus.ChainGenerator.Slot |
| constrName | Test.Util.SOP |
| constrNames | Test.Util.SOP |
| Contains | |
| 1 (Type/Class) | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| 2 (Data Constructor) | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| Corrupt | Test.Ouroboros.Storage.TestBlock |
| corruptFile | Test.Ouroboros.Storage.TestBlock |
| Corruption | |
| 1 (Type/Class) | Test.Util.Corruption |
| 2 (Data Constructor) | Test.Util.Corruption |
| corruptionFiles | Test.Ouroboros.Storage.TestBlock |
| Corruptions | Test.Ouroboros.Storage.TestBlock |
| Count | |
| 1 (Type/Class) | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| 2 (Data Constructor) | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| countActivesInMV | Test.Ouroboros.Consensus.ChainGenerator.BitVector |
| countActivesInV | Test.Ouroboros.Consensus.ChainGenerator.BitVector |
| countChainSchema | Test.Ouroboros.Consensus.ChainGenerator.Honest |
| createV | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| cshrinkNP | Test.Util.QuickCheck |
| dawnOfTime | Test.Util.Time |
| defaultMainWithTestEnv | Test.Util.TestEnv |
| defaultTestEnvConfig | Test.Util.TestEnv |
| delayUntilNextSlot | Test.Util.HardFork.OracularClock |
| DeleteFile | Test.Ouroboros.Storage.TestBlock |
| Delta | |
| 1 (Type/Class) | Test.Ouroboros.Consensus.ChainGenerator.Params |
| 2 (Data Constructor) | Test.Ouroboros.Consensus.ChainGenerator.Params |
| detectCorruption | Test.Util.Corruption |
| Dev | Test.Util.TestEnv |
| DisableDiffusionPipeliningBlockConfig | Test.Util.TestBlock, Test.Ouroboros.Storage.TestBlock |
| DisableDiffusionPipeliningHeader | Test.Util.TestBlock, Test.Ouroboros.Storage.TestBlock |
| DoNotCheckCBORValidity | Test.Util.Serialisation.Roundtrip |
| dropId | Test.Util.Shrink |
| dropLastBlocks | Test.Util.MockChain |
| DropLastBytes | Test.Ouroboros.Storage.TestBlock |
| dropTimeFromFragment | Test.Util.Header |
| E | Test.Ouroboros.Consensus.ChainGenerator.Slot |
| EBB | |
| 1 (Type/Class) | Test.Ouroboros.Storage.TestBlock |
| 2 (Data Constructor) | Test.Ouroboros.Storage.TestBlock |
| elems | Test.Util.RefEnv |
| empty | Test.Util.RefEnv |
| emptyNodeDBs | Test.Util.ChainDB |
| emptyOTLedgerState | Test.Util.LedgerStateOnlyTables |
| EmptyPLDS | Test.Util.TestBlock |
| EmptySlotE | Test.Ouroboros.Consensus.ChainGenerator.Slot |
| Enabled | Test.Util.BoolProps |
| enabledIf | Test.Util.BoolProps |
| EndOfDaysException | |
| 1 (Type/Class) | Test.Util.HardFork.OracularClock |
| 2 (Data Constructor) | Test.Util.HardFork.OracularClock |
| EraCons | Test.Util.HardFork.Future |
| EraFinal | Test.Util.HardFork.Future |
| EraSize | |
| 1 (Type/Class) | Test.Util.HardFork.Future |
| 2 (Data Constructor) | Test.Util.HardFork.Future |
| Example | Test.Util.QSM |
| example | Test.Util.QSM |
| exampleAnnTip | Test.Util.Serialisation.Examples |
| exampleApplyTxErr | Test.Util.Serialisation.Examples |
| exampleBlock | Test.Util.Serialisation.Examples |
| exampleChainDepState | Test.Util.Serialisation.Examples |
| exampleExtLedgerState | Test.Util.Serialisation.Examples |
| exampleGenTx | Test.Util.Serialisation.Examples |
| exampleGenTxId | Test.Util.Serialisation.Examples |
| exampleHeader | Test.Util.Serialisation.Examples |
| exampleHeaderHash | Test.Util.Serialisation.Examples |
| exampleLedgerConfig | Test.Util.Serialisation.Examples |
| exampleLedgerState | Test.Util.Serialisation.Examples |
| exampleLedgerTables | Test.Util.Serialisation.Examples |
| exampleQuery | Test.Util.Serialisation.Examples |
| exampleResult | Test.Util.Serialisation.Examples |
| Examples | |
| 1 (Type/Class) | Test.Util.Serialisation.Examples |
| 2 (Data Constructor) | Test.Util.Serialisation.Examples |
| exampleSerialisedBlock | Test.Util.Serialisation.Examples |
| exampleSerialisedHeader | Test.Util.Serialisation.Examples |
| exampleSlotNo | Test.Util.Serialisation.Examples |
| examplesRoundtrip | Test.Util.Serialisation.Roundtrip |
| exhaustiveSupportedNetworkProtocolVersions | Test.Util.SupportedNetworkProtocolVersion |
| expectRight | Test.Util.QuickCheck |
| FileCorruption | Test.Ouroboros.Storage.TestBlock |
| fillInWindow | Test.Ouroboros.Consensus.ChainGenerator.BitVector |
| filter | Test.Util.RefEnv |
| findIthActiveInV | Test.Ouroboros.Consensus.ChainGenerator.BitVector |
| findIthEmptyInMV | Test.Ouroboros.Consensus.ChainGenerator.BitVector |
| findIthEmptyInV | Test.Ouroboros.Consensus.ChainGenerator.BitVector |
| finiteSystemTime | Test.Util.HardFork.OracularClock |
| firstBlock | |
| 1 (Function) | Test.Util.TestBlock |
| 2 (Function) | Test.Ouroboros.Storage.TestBlock |
| firstBlockWithPayload | Test.Util.TestBlock |
| firstEBB | Test.Ouroboros.Storage.TestBlock |
| forAllGenRunShrinkCheck | Test.Util.QuickCheck |
| forgetBase | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| forgetElem | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| forgetWindow | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| Forgotten | Test.Ouroboros.Consensus.ChainGenerator.Some |
| forgotten | Test.Ouroboros.Consensus.ChainGenerator.Some |
| forkBlock | Test.Util.TestBlock |
| forkEachSlot | Test.Util.HardFork.OracularClock |
| forkEachSlot_ | Test.Util.HardFork.OracularClock |
| forRange_ | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| frequency' | Test.Util.QuickCheck |
| fromList | Test.Util.RefEnv |
| fromMap | Test.Util.InvertedMap |
| fromMinimalChainDbArgs | Test.Util.ChainDB |
| fromWindow | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| fromWindowVar | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| Future | Test.Util.HardFork.Future |
| futureEpochInFirstEra | Test.Util.HardFork.Future |
| futureFirstEpochSize | Test.Util.HardFork.Future |
| futureFirstSlotLength | Test.Util.HardFork.Future |
| futureSlotLengths | Test.Util.HardFork.Future |
| futureSlotToEpoch | Test.Util.HardFork.Future |
| futureSlotToTime | Test.Util.HardFork.Future |
| futureTimeToSlot | Test.Util.HardFork.Future |
| gCollectReqs | Test.Util.BoolProps |
| ge | Test.Util.QuickCheck |
| genAsc | Test.Ouroboros.Consensus.ChainGenerator.Params |
| genChainUpdates | Test.Util.ChainUpdates |
| generateCorruptions | Test.Ouroboros.Storage.TestBlock |
| genHonestRecipe | Test.Ouroboros.Consensus.ChainGenerator.Honest |
| genKSD | Test.Ouroboros.Consensus.ChainGenerator.Params |
| genLimitedEpochSize | Test.Util.Orphans.Arbitrary |
| genLimitedSlotNo | Test.Util.Orphans.Arbitrary |
| genNominalDiffTime50Years | Test.Util.Orphans.Arbitrary |
| genPrefixBlockCount | Test.Ouroboros.Consensus.ChainGenerator.Adversarial |
| genS | Test.Ouroboros.Consensus.ChainGenerator.Slot |
| genSchedule | Test.Util.Schedule |
| genSmallEpochNo | Test.Util.Orphans.Arbitrary |
| genSmallSlotNo | Test.Util.Orphans.Arbitrary |
| genUTCTime50Years | Test.Util.Orphans.Arbitrary |
| getCoherent | Test.Util.Serialisation.Roundtrip |
| getCount | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| getCurrentSlot | Test.Util.HardFork.OracularClock |
| getCurrentTick | Test.Util.LogicalClock |
| getGoldenDir | Test.Util.Paths |
| getId | Test.Util.WithEq |
| getLedgerTables | Test.Util.TestBlock |
| getMVector | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| getPayloadKeySets | Test.Util.TestBlock |
| getRelPath | Test.Util.Paths |
| getSchedule | Test.Util.Schedule |
| getTickedTestLedger | Test.Util.TestBlock |
| getVector | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| goldenTest_all | Test.Util.Serialisation.Golden |
| goldenTest_SerialiseDisk | Test.Util.Serialisation.Golden |
| goldenTest_SerialiseNodeToClient | Test.Util.Serialisation.Golden |
| goldenTest_SerialiseNodeToNode | Test.Util.Serialisation.Golden |
| gt | Test.Util.QuickCheck |
| Header | Test.Util.TestBlock, Test.Ouroboros.Storage.TestBlock |
| headerCDDL | Test.Util.Serialisation.CDDL |
| HonestActiveMustAnchorAdversarial | Test.Ouroboros.Consensus.ChainGenerator.Adversarial |
| HonestChainViolation | Test.Ouroboros.Consensus.ChainGenerator.Honest |
| HonestLbl | Test.Ouroboros.Consensus.ChainGenerator.Honest |
| HonestRecipe | |
| 1 (Type/Class) | Test.Ouroboros.Consensus.ChainGenerator.Honest |
| 2 (Data Constructor) | Test.Ouroboros.Consensus.ChainGenerator.Honest |
| Id | |
| 1 (Type/Class) | Test.Util.WithEq |
| 2 (Data Constructor) | Test.Util.WithEq |
| implies | Test.Util.QuickCheck |
| Index | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| init | Test.Ouroboros.Consensus.ChainGenerator.RaceIterator |
| initConservative | Test.Ouroboros.Consensus.ChainGenerator.RaceIterator |
| inNixBuild | Test.Util.Paths |
| Invalid | Test.Util.TestBlock |
| InvalidBlock | |
| 1 (Data Constructor) | Test.Util.TestBlock |
| 2 (Data Constructor) | Test.Ouroboros.Storage.TestBlock |
| InvalidHash | |
| 1 (Data Constructor) | Test.Util.TestBlock |
| 2 (Data Constructor) | Test.Ouroboros.Storage.TestBlock |
| InvalidPayload | Test.Util.TestBlock |
| Inverted | Test.Ouroboros.Consensus.ChainGenerator.Slot |
| inverted | Test.Ouroboros.Consensus.ChainGenerator.Slot |
| InvertedMap | Test.Util.InvertedMap |
| isAncestorOf | Test.Util.TestBlock |
| isCDDLCDisabled | Test.Util.Serialisation.CDDL |
| isDescendentOf | Test.Util.TestBlock |
| isStrictAncestorOf | Test.Util.TestBlock |
| isStrictDescendentOf | Test.Util.TestBlock |
| isSubmapOfBy | Test.Util.QuickCheck |
| joinSchedule | Test.Util.Schedule |
| joinVar | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| joinWin | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| JustFound | Test.Ouroboros.Consensus.ChainGenerator.BitVector |
| Kcp | |
| 1 (Type/Class) | Test.Ouroboros.Consensus.ChainGenerator.Params |
| 2 (Data Constructor) | Test.Ouroboros.Consensus.ChainGenerator.Params |
| keys | Test.Util.RefEnv |
| Labelled | Test.Util.Serialisation.Examples |
| labelled | Test.Util.Serialisation.Examples |
| lastAppliedPoint | Test.Util.TestBlock |
| lastIndex | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| lastSlot | Test.Util.MockChain |
| lastTick | Test.Util.Schedule |
| Lbl | |
| 1 (Type/Class) | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| 2 (Data Constructor) | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| le | Test.Util.QuickCheck |
| LedgerState | Test.Util.TestBlock |
| LedgerTables | |
| 1 (Type/Class) | Test.Util.TestBlock |
| 2 (Data Constructor) | Test.Util.TestBlock |
| Len | |
| 1 (Type/Class) | Test.Ouroboros.Consensus.ChainGenerator.Params |
| 2 (Data Constructor) | Test.Ouroboros.Consensus.ChainGenerator.Params |
| lengthMV | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| lengthV | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| LogicalClock | |
| 1 (Type/Class) | Test.Util.LogicalClock |
| 2 (Data Constructor) | Test.Util.LogicalClock |
| lookup | Test.Util.RefEnv |
| lt | Test.Util.QuickCheck |
| mapExamples | Test.Util.Serialisation.Examples |
| MaybeFound | Test.Ouroboros.Consensus.ChainGenerator.BitVector |
| mcdbChunkInfo | Test.Util.ChainDB |
| mcdbInitLedger | Test.Util.ChainDB |
| mcdbNodeDBs | Test.Util.ChainDB |
| mcdbRegistry | Test.Util.ChainDB |
| mcdbTopLevelConfig | Test.Util.ChainDB |
| MinimalChainDbArgs | |
| 1 (Type/Class) | Test.Util.ChainDB |
| 2 (Data Constructor) | Test.Util.ChainDB |
| minViewWithKey | Test.Util.InvertedMap |
| mkActive | Test.Ouroboros.Consensus.ChainGenerator.Slot |
| mkBlock | Test.Ouroboros.Storage.TestBlock |
| mkNextBlock | Test.Ouroboros.Storage.TestBlock |
| mkNextBlock' | Test.Ouroboros.Storage.TestBlock |
| mkNextEBB | Test.Ouroboros.Storage.TestBlock |
| mkNextEBB' | Test.Ouroboros.Storage.TestBlock |
| mkOracularClock | Test.Util.HardFork.OracularClock |
| mkTestChunkInfo | Test.Util.ChainDB |
| mkTestConfig | Test.Ouroboros.Storage.TestBlock |
| mockFileLock | Test.Util.FileLock |
| mockSystemTime | Test.Util.LogicalClock |
| modifyFork | Test.Util.TestBlock |
| modifyMV | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| MVector | |
| 1 (Type/Class) | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| 2 (Data Constructor) | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| new | Test.Util.LogicalClock |
| next | Test.Ouroboros.Consensus.ChainGenerator.RaceIterator |
| nextConservative | Test.Ouroboros.Consensus.ChainGenerator.RaceIterator |
| Nightly | Test.Util.TestEnv |
| NodeDBs | |
| 1 (Type/Class) | Test.Util.ChainDB |
| 2 (Data Constructor) | Test.Util.ChainDB |
| nodeDBsGsm | Test.Util.ChainDB |
| nodeDBsImm | Test.Util.ChainDB |
| nodeDBsLgr | Test.Util.ChainDB |
| nodeDBsVol | Test.Util.ChainDB |
| NoSuchAdversarialBlock | Test.Ouroboros.Consensus.ChainGenerator.Adversarial |
| NoSuchAdversarialChainSchema | Test.Ouroboros.Consensus.ChainGenerator.Adversarial |
| NoSuchCompetitor | Test.Ouroboros.Consensus.ChainGenerator.Adversarial |
| NoSuchHonestChainSchema | Test.Ouroboros.Consensus.ChainGenerator.Honest |
| NoSuchIntersection | Test.Ouroboros.Consensus.ChainGenerator.Adversarial |
| NothingFound | Test.Ouroboros.Consensus.ChainGenerator.BitVector |
| NotInverted | Test.Ouroboros.Consensus.ChainGenerator.Slot |
| notInverted | Test.Ouroboros.Consensus.ChainGenerator.Slot |
| nubOrdBy | Test.Util.Stream |
| null | |
| 1 (Function) | Test.Util.InvertedMap |
| 2 (Function) | Test.Util.RefEnv |
| NumSlots | |
| 1 (Type/Class) | Test.Util.Slots |
| 2 (Data Constructor) | Test.Util.Slots |
| NumTicks | |
| 1 (Type/Class) | Test.Util.LogicalClock |
| 2 (Data Constructor) | Test.Util.LogicalClock |
| oneof' | Test.Util.QuickCheck |
| onTick | Test.Util.LogicalClock |
| Optional | Test.Util.BoolProps |
| OracularClock | |
| 1 (Type/Class) | Test.Util.HardFork.OracularClock |
| 2 (Data Constructor) | Test.Util.HardFork.OracularClock |
| Other | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| OTLedgerState | |
| 1 (Type/Class) | Test.Util.LedgerStateOnlyTables |
| 2 (Data Constructor) | Test.Util.LedgerStateOnlyTables |
| OTLedgerTables | Test.Util.LedgerStateOnlyTables |
| PayloadDependentError | Test.Util.TestBlock |
| PayloadDependentState | Test.Util.TestBlock, Test.Util.TestBlock |
| payloadDependentState | Test.Util.TestBlock |
| PayloadSemantics | Test.Util.TestBlock |
| Permutation | |
| 1 (Type/Class) | Test.Util.TestBlock |
| 2 (Data Constructor) | Test.Util.TestBlock |
| permute | Test.Util.TestBlock |
| POL | Test.Ouroboros.Consensus.ChainGenerator.Slot |
| Pol | Test.Ouroboros.Consensus.ChainGenerator.Slot |
| Preds | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| prefixExamples | Test.Util.Serialisation.Examples |
| PreImage | Test.Ouroboros.Consensus.ChainGenerator.Slot |
| Prereq | Test.Util.BoolProps |
| prettyChainSchema | Test.Ouroboros.Consensus.ChainGenerator.Honest |
| prettyWindow | Test.Ouroboros.Consensus.ChainGenerator.Honest |
| prop_diffusionPipeliningSubsequenceConsistency | Test.Ouroboros.Consensus.DiffusionPipelining |
| prop_genChainUpdates | Test.Util.ChainUpdates |
| prop_hashSize | Test.Util.Serialisation.Roundtrip |
| prop_hasledgertables_laws | Test.LedgerTables |
| prop_lawfulEqAndTotalOrd | Test.Util.QuickCheck |
| prop_sanityChecks | Test.Util.SanityCheck |
| prop_securityParamConsistent | Test.Util.SanityCheck |
| prop_stowable_laws | Test.LedgerTables |
| QueryLedgerTip | Test.Util.TestBlock |
| Race | |
| 1 (Type/Class) | Test.Ouroboros.Consensus.ChainGenerator.RaceIterator |
| 2 (Data Constructor) | Test.Ouroboros.Consensus.ChainGenerator.RaceIterator |
| RaceLbl | Test.Ouroboros.Consensus.ChainGenerator.RaceIterator |
| RaceViolation | Test.Ouroboros.Consensus.ChainGenerator.Adversarial |
| Range | Test.Util.Range |
| range | |
| 1 (Function) | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| 2 (Function) | Test.Util.Range |
| RangeK | Test.Util.Range |
| rangeK | Test.Util.Range |
| Range_Eq_K | Test.Util.Range |
| Range_Just_Above_K | Test.Util.Range |
| Range_Just_Below_K | Test.Util.Range |
| Range_Less_Than_K | Test.Util.Range |
| Range_More_Than_K | Test.Util.Range |
| Range_Near_Zero | Test.Util.Range |
| readArg | Test.Ouroboros.Consensus.ChainGenerator.Some |
| readCtor | Test.Ouroboros.Consensus.ChainGenerator.Some |
| readMV | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| readPrec | Test.Ouroboros.Consensus.ChainGenerator.Some |
| readV | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| recordingTracerIORef | Test.Util.Tracer |
| recordingTracerM | Test.Util.Tracer |
| recordingTracerTVar | Test.Util.Tracer |
| RefEnv | Test.Util.RefEnv |
| RegularBlock | Test.Ouroboros.Storage.TestBlock |
| replicateMV | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| Required | Test.Util.BoolProps |
| requiredIf | Test.Util.BoolProps |
| Requirement | Test.Util.BoolProps |
| reverseLookup | Test.Util.RefEnv |
| roundtrip | Test.Util.Serialisation.Roundtrip |
| roundtrip' | Test.Util.Serialisation.Roundtrip |
| roundtripAnd | Test.Util.Serialisation.Roundtrip |
| roundtrip_all | Test.Util.Serialisation.Roundtrip |
| roundtrip_all_skipping | Test.Util.Serialisation.Roundtrip |
| roundtrip_ConvertRawHash | Test.Util.Serialisation.Roundtrip |
| roundtrip_envelopes | Test.Util.Serialisation.Roundtrip |
| roundtrip_SerialiseDisk | Test.Util.Serialisation.Roundtrip |
| roundtrip_SerialiseNodeToClient | Test.Util.Serialisation.Roundtrip |
| roundtrip_SerialiseNodeToNode | Test.Util.Serialisation.Roundtrip |
| run | Test.Util.QSM |
| run' | Test.Util.QSM |
| runReadPrec | Test.Ouroboros.Consensus.ChainGenerator.Some |
| runShowsPrec | Test.Ouroboros.Consensus.ChainGenerator.Some |
| rvAdv | Test.Ouroboros.Consensus.ChainGenerator.Adversarial |
| rvHon | Test.Ouroboros.Consensus.ChainGenerator.Adversarial |
| R_Btwn | Test.Util.Range |
| R_Eq | Test.Util.Range |
| R_Gt | Test.Util.Range |
| S | Test.Ouroboros.Consensus.ChainGenerator.Slot |
| Scg | |
| 1 (Type/Class) | Test.Ouroboros.Consensus.ChainGenerator.Params |
| 2 (Data Constructor) | Test.Ouroboros.Consensus.ChainGenerator.Params |
| ScgLbl | Test.Ouroboros.Consensus.ChainGenerator.Honest |
| ScgViolation | |
| 1 (Type/Class) | Test.Ouroboros.Consensus.ChainGenerator.Honest |
| 2 (Data Constructor) | Test.Ouroboros.Consensus.ChainGenerator.Honest |
| scgvPopCount | Test.Ouroboros.Consensus.ChainGenerator.Honest |
| scgvWindow | Test.Ouroboros.Consensus.ChainGenerator.Honest |
| Schedule | |
| 1 (Type/Class) | Test.Util.Schedule |
| 2 (Data Constructor) | Test.Util.Schedule |
| SelectedChainBehavior | Test.Util.ChainUpdates |
| SelectViewDiffusionPipeliningBlockConfig | Test.Util.TestBlock, Test.Ouroboros.Storage.TestBlock |
| SelectViewDiffusionPipeliningHeader | Test.Util.TestBlock, Test.Ouroboros.Storage.TestBlock |
| setMV | Test.Ouroboros.Consensus.ChainGenerator.BitVector |
| ShouldCheckCBORValidity | Test.Util.Serialisation.Roundtrip |
| showArg | Test.Ouroboros.Consensus.ChainGenerator.Some |
| showCtor | Test.Ouroboros.Consensus.ChainGenerator.Some |
| showCtorProxy | Test.Ouroboros.Consensus.ChainGenerator.Some |
| showS | Test.Ouroboros.Consensus.ChainGenerator.Slot |
| shrinkCorruptions | Test.Ouroboros.Storage.TestBlock |
| shrinkNP | Test.Util.QuickCheck |
| shrinkSchedule | Test.Util.Schedule |
| singleEraFuture | Test.Util.HardFork.Future |
| singleNodeTestConfig | Test.Util.TestBlock |
| singleNodeTestConfigWith | Test.Util.TestBlock |
| singleNodeTestConfigWithK | Test.Util.TestBlock |
| singleton | Test.Util.RefEnv |
| Size | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| sized1 | Test.Ouroboros.Consensus.QuickCheck.Extras |
| sliceMV | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| sliceV | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| SlotE | Test.Ouroboros.Consensus.ChainGenerator.Slot |
| SmallChunkInfo | |
| 1 (Type/Class) | Test.Util.ChunkInfo |
| 2 (Data Constructor) | Test.Util.ChunkInfo |
| SmallDiffTime | |
| 1 (Type/Class) | Test.Util.Orphans.Arbitrary |
| 2 (Data Constructor) | Test.Util.Orphans.Arbitrary |
| SomeCheckedAdversarialRecipe | |
| 1 (Type/Class) | Test.Ouroboros.Consensus.ChainGenerator.Adversarial |
| 2 (Data Constructor) | Test.Ouroboros.Consensus.ChainGenerator.Adversarial |
| SomeCheckedHonestRecipe | |
| 1 (Type/Class) | Test.Ouroboros.Consensus.ChainGenerator.Honest |
| 2 (Data Constructor) | Test.Ouroboros.Consensus.ChainGenerator.Honest |
| SomeDensityWindow | |
| 1 (Type/Class) | Test.Ouroboros.Consensus.ChainGenerator.BitVector |
| 2 (Data Constructor) | Test.Ouroboros.Consensus.ChainGenerator.BitVector |
| SomeHonestChainSchema | |
| 1 (Type/Class) | Test.Ouroboros.Consensus.ChainGenerator.Honest |
| 2 (Data Constructor) | Test.Ouroboros.Consensus.ChainGenerator.Honest |
| SomeResult | |
| 1 (Type/Class) | Test.Util.Serialisation.SomeResult |
| 2 (Data Constructor) | Test.Util.Serialisation.SomeResult |
| SomeWindow | |
| 1 (Type/Class) | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| 2 (Data Constructor) | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| spanAntitone | Test.Util.InvertedMap |
| spanLeft | Test.Util.Split |
| spanLeft' | Test.Util.Split |
| splitAtJust | Test.Util.Split |
| StorageConfig | Test.Util.TestBlock, Test.Ouroboros.Storage.TestBlock |
| Stream | Test.Util.Stream |
| strictlyIncreasing | Test.Util.QuickCheck |
| successorBlock | Test.Util.TestBlock |
| successorBlockWithPayload | Test.Util.TestBlock |
| sufficientTimeFor | Test.Util.LogicalClock |
| SwitchFork | Test.Util.ChainUpdates |
| tbForkNo | Test.Ouroboros.Storage.TestBlock |
| tbIsValid | Test.Ouroboros.Storage.TestBlock |
| tblcForecastRange | Test.Util.TestBlock |
| tblcHardForkParams | Test.Util.TestBlock |
| tbPayload | Test.Util.TestBlock |
| tbSlot | Test.Util.TestBlock |
| tbValid | Test.Util.TestBlock |
| TentativeChainBehavior | Test.Util.ChainUpdates |
| test | Test.Ouroboros.Consensus.ChainGenerator.Slot |
| TestBlock | |
| 1 (Type/Class) | Test.Util.TestBlock |
| 2 (Type/Class) | Test.Ouroboros.Storage.TestBlock |
| 3 (Data Constructor) | Test.Ouroboros.Storage.TestBlock |
| testBlockChainLength | Test.Ouroboros.Storage.TestBlock |
| TestBlockCodecConfig | |
| 1 (Data Constructor) | Test.Util.TestBlock |
| 2 (Data Constructor) | Test.Ouroboros.Storage.TestBlock |
| TestBlockConfig | |
| 1 (Data Constructor) | Test.Util.TestBlock |
| 2 (Data Constructor) | Test.Ouroboros.Storage.TestBlock |
| testBlockEBBsAllowed | Test.Ouroboros.Storage.TestBlock |
| TestBlockError | |
| 1 (Type/Class) | Test.Util.TestBlock |
| 2 (Type/Class) | Test.Ouroboros.Storage.TestBlock |
| testBlockFromLazyByteString | Test.Ouroboros.Storage.TestBlock |
| testBlockIsEBB | Test.Ouroboros.Storage.TestBlock |
| testBlockIsValid | Test.Ouroboros.Storage.TestBlock |
| TestBlockLedgerConfig | |
| 1 (Type/Class) | Test.Util.TestBlock |
| 2 (Data Constructor) | Test.Util.TestBlock |
| testBlockLedgerConfigFrom | Test.Util.TestBlock |
| testBlockNumCoreNodes | |
| 1 (Function) | Test.Util.TestBlock |
| 2 (Function) | Test.Ouroboros.Storage.TestBlock |
| TestBlockOtherHeaderEnvelopeError | Test.Ouroboros.Storage.TestBlock |
| TestBlockStorageConfig | |
| 1 (Data Constructor) | Test.Util.TestBlock |
| 2 (Data Constructor) | Test.Ouroboros.Storage.TestBlock |
| testBlockToBuilder | Test.Ouroboros.Storage.TestBlock |
| testBlockToLazyByteString | Test.Ouroboros.Storage.TestBlock |
| TestBlockWith | Test.Util.TestBlock |
| TestBody | |
| 1 (Type/Class) | Test.Ouroboros.Storage.TestBlock |
| 2 (Data Constructor) | Test.Ouroboros.Storage.TestBlock |
| testBody | Test.Ouroboros.Storage.TestBlock |
| TestBodyHash | |
| 1 (Type/Class) | Test.Ouroboros.Storage.TestBlock |
| 2 (Data Constructor) | Test.Ouroboros.Storage.TestBlock |
| TestEnv | Test.Util.TestEnv |
| TestHash | |
| 1 (Type/Class) | Test.Util.TestBlock |
| 2 (Data Constructor) | Test.Util.TestBlock |
| testHashFromList | Test.Util.TestBlock |
| TestHeader | |
| 1 (Data Constructor) | Test.Util.TestBlock |
| 2 (Type/Class) | Test.Ouroboros.Storage.TestBlock |
| 3 (Data Constructor) | Test.Ouroboros.Storage.TestBlock |
| testHeader | |
| 1 (Function) | Test.Util.TestBlock |
| 2 (Function) | Test.Ouroboros.Storage.TestBlock |
| TestHeader' | Test.Ouroboros.Storage.TestBlock |
| TestHeaderHash | |
| 1 (Type/Class) | Test.Ouroboros.Storage.TestBlock |
| 2 (Data Constructor) | Test.Ouroboros.Storage.TestBlock |
| testInitExtLedger | |
| 1 (Function) | Test.Util.TestBlock |
| 2 (Function) | Test.Ouroboros.Storage.TestBlock |
| testInitExtLedgerWithState | Test.Util.TestBlock |
| testInitLedger | Test.Util.TestBlock |
| testInitLedgerWithState | Test.Util.TestBlock |
| TestLedger | Test.Util.TestBlock |
| testMV | Test.Ouroboros.Consensus.ChainGenerator.BitVector |
| tests_chainOrder | Test.Ouroboros.Consensus.Protocol |
| testV | Test.Ouroboros.Consensus.ChainGenerator.BitVector |
| thBlockNo | Test.Ouroboros.Storage.TestBlock |
| thBodyHash | Test.Ouroboros.Storage.TestBlock |
| thChainLength | Test.Ouroboros.Storage.TestBlock |
| thHash | Test.Ouroboros.Storage.TestBlock |
| thIsEBB | Test.Ouroboros.Storage.TestBlock |
| thPrevHash | Test.Ouroboros.Storage.TestBlock |
| thSlotNo | Test.Ouroboros.Storage.TestBlock |
| Tick | |
| 1 (Type/Class) | Test.Util.LogicalClock |
| 2 (Data Constructor) | Test.Util.LogicalClock |
| Ticked | Test.Util.TestBlock |
| TickedTestLedger | Test.Util.TestBlock |
| tickToWord64 | Test.Util.LogicalClock |
| tickTracer | Test.Util.LogicalClock |
| tickWatcher | Test.Util.LogicalClock |
| toChainUpdates | Test.Util.ChainUpdates |
| ToGoldenDirectory | Test.Util.Serialisation.Golden |
| toGoldenDirectory | Test.Util.Serialisation.Golden |
| toIndex | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| toList | Test.Util.RefEnv |
| toMap | Test.Util.InvertedMap |
| toSize | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| Total | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| toVar | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| toWindow | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| toWindowVar | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| treePreferredChain | Test.Util.TestBlock |
| treeToBlocks | Test.Util.TestBlock |
| treeToChains | Test.Util.TestBlock |
| truncateWin | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| txCDDL | Test.Util.Serialisation.CDDL |
| txIdCDDL | Test.Util.Serialisation.CDDL |
| unEraSize | Test.Util.HardFork.Future |
| UnexpectedEBBInSlot | Test.Ouroboros.Storage.TestBlock |
| uniformAdversarialChain | Test.Ouroboros.Consensus.ChainGenerator.Adversarial |
| uniformIndex | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| uniformTheHonestChain | Test.Ouroboros.Consensus.ChainGenerator.Honest |
| union | Test.Util.RefEnv |
| unlabelled | Test.Util.Serialisation.Examples |
| unNumSlots | Test.Util.Slots |
| UnsafeAsc | Test.Ouroboros.Consensus.ChainGenerator.Params |
| UnsafeCheckedAdversarialRecipe | Test.Ouroboros.Consensus.ChainGenerator.Adversarial |
| UnsafeCheckedHonestRecipe | Test.Ouroboros.Consensus.ChainGenerator.Honest |
| unsafeCoercion | Test.Util.InvertedMap |
| UnsafeContains | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| unsafeInvertedMap | Test.Util.InvertedMap |
| unsafeMapSuchThatJust | Test.Ouroboros.Consensus.QuickCheck.Extras |
| UnsafeRace | Test.Ouroboros.Consensus.ChainGenerator.RaceIterator |
| unsafeTestBlockWithPayload | Test.Util.TestBlock |
| unsafeThawV | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| unTestHash | Test.Util.TestBlock |
| unTestHeader | Test.Ouroboros.Storage.TestBlock |
| unWithEq | Test.Util.WithEq |
| UpdateBehavior | Test.Util.ChainUpdates |
| updateToNextNumeral | Test.Util.TestBlock |
| Valid | Test.Util.TestBlock |
| Validity | Test.Util.TestBlock |
| Var | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| Vector | |
| 1 (Type/Class) | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| 2 (Data Constructor) | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| waitUntilDone | |
| 1 (Function) | Test.Util.LogicalClock |
| 2 (Function) | Test.Util.HardFork.OracularClock |
| Win | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| windowLast | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| windowSize | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| windowStart | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| WithEq | |
| 1 (Type/Class) | Test.Util.WithEq |
| 2 (Data Constructor) | Test.Util.WithEq |
| withSuffixWindow | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| withTopWindow | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| WithVersion | |
| 1 (Type/Class) | Test.Util.Serialisation.Roundtrip |
| 2 (Data Constructor) | Test.Util.Serialisation.Roundtrip |
| withWindow | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| withWindowBetween | Test.Ouroboros.Consensus.ChainGenerator.Counting |
| writeMV | Test.Ouroboros.Consensus.ChainGenerator.Counting |