! | Test.Util.RefEnv |
:< | Test.Util.Stream |
=:= | Test.Util.QuickCheck |
Absent | Test.ThreadNet.Ref.PBFT |
AddBlock | Test.Util.ChainUpdates |
advanceUpTo | Test.ThreadNet.Ref.PBFT |
allNull | Test.Util.FS.Sim.Error |
always | Test.Util.FS.Sim.Error |
andId | Test.Util.Shrink |
applyCorruption | Test.Util.Corruption |
applyPayload | Test.Util.TestBlock |
Arbitrary' | Test.Util.Serialisation.Roundtrip |
askTestEnv | Test.Util.TestEnv |
Blob | Test.Util.Blob |
blobFromBS | Test.Util.Blob |
blobToBS | Test.Util.Blob |
BlockChain | |
1 (Type/Class) | Test.Util.TestBlock |
2 (Data Constructor) | Test.Util.TestBlock |
blockChain | Test.Util.TestBlock |
BlockConfig | Test.Util.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 |
calcFinalIntersectionDepth | Test.ThreadNet.General |
CalcMessageDelay | |
1 (Type/Class) | Test.ThreadNet.Network |
2 (Data Constructor) | Test.ThreadNet.Network |
chainCommonPrefix | Test.ThreadNet.Util |
chainToBlocks | Test.Util.TestBlock |
ChainUpdate | Test.Util.ChainUpdates |
checkGenerator | Test.Util.QuickCheck |
checkInvariant | Test.Util.QuickCheck |
checkReqs | Test.Util.BoolProps |
checkShrinker | Test.Util.QuickCheck |
CI | Test.Util.TestEnv |
classify | Test.Util.Classify |
ClosedHandleState | Test.Util.FS.Sim.MockFS |
CodecConfig | Test.Util.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.Golden |
combineWith | Test.ThreadNet.Util.Seed |
commonPrefix | Test.Util.MockChain |
consensusExpected | Test.ThreadNet.Util |
constrName | Test.Util.SOP |
constrNames | Test.Util.SOP |
coreNodeIdJoinSlot | Test.ThreadNet.Util.NodeJoinPlan |
coreNodeIdNeighbors | Test.ThreadNet.Util.NodeTopology |
corrupt | Test.Util.FS.Sim.Error |
Corruption | |
1 (Type/Class) | Test.Util.Corruption |
2 (Data Constructor) | Test.Util.Corruption |
createDirectory | Test.Util.FS.Sim.MockFS |
createDirectoryE | Test.Util.FS.Sim.Error |
createDirectoryIfMissing | Test.Util.FS.Sim.MockFS |
createDirectoryIfMissingE | Test.Util.FS.Sim.Error |
createDirIfMissing | Test.Util.FS.Sim.FsTree |
createDirWithParents | Test.Util.FS.Sim.FsTree |
cshrinkNP | Test.Util.QuickCheck |
dawnOfTime | Test.Util.Time |
defaultMainWithTestEnv | Test.Util.TestEnv |
defaultTestEnvConfig | Test.Util.TestEnv |
definitelyEnoughBlocks | Test.ThreadNet.Ref.PBFT |
delayUntilNextSlot | Test.Util.HardFork.OracularClock |
detectCorruption | Test.Util.Corruption |
determineForkLength | Test.ThreadNet.Util.Expectations, Test.ThreadNet.Util |
Dev | Test.Util.TestEnv |
doesDirectoryExist | Test.Util.FS.Sim.MockFS |
doesDirectoryExistE | Test.Util.FS.Sim.Error |
doesFileExist | Test.Util.FS.Sim.MockFS |
doesFileExistE | Test.Util.FS.Sim.Error |
dropId | Test.Util.Shrink |
dropLastBlocks | Test.Util.MockChain |
dumpState | Test.Util.FS.Sim.MockFS |
dumpStateE | Test.Util.FS.Sim.Error |
edgesNodeTopology | Test.ThreadNet.Util.NodeTopology |
elements | Test.Util.QuickCheck |
elems | Test.Util.RefEnv |
empty | |
1 (Function) | Test.Util.FS.Sim.FsTree |
2 (Function) | Test.Util.FS.Sim.MockFS |
3 (Function) | Test.Util.RefEnv |
emptyLeaderSchedule | Test.ThreadNet.Util |
emptyNodeDBs | Test.Util.ChainDB |
emptyState | Test.ThreadNet.Ref.PBFT |
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 |
Errors | |
1 (Type/Class) | Test.Util.FS.Sim.Error |
2 (Data Constructor) | Test.Util.FS.Sim.Error |
ErrorStream | Test.Util.FS.Sim.Error |
ErrorStreamGetSome | Test.Util.FS.Sim.Error |
ErrorStreamPutSome | Test.Util.FS.Sim.Error |
Example | Test.Util.QSM |
example | |
1 (Function) | Test.Util.Classify |
2 (Function) | Test.Util.FS.Sim.FsTree |
3 (Function) | Test.Util.FS.Sim.MockFS |
4 (Function) | Test.Util.QSM |
exampleAnnTip | Test.Util.Serialisation.Golden |
exampleApplyTxErr | Test.Util.Serialisation.Golden |
exampleBlock | Test.Util.Serialisation.Golden |
exampleChainDepState | Test.Util.Serialisation.Golden |
exampleExtLedgerState | Test.Util.Serialisation.Golden |
exampleGenTx | Test.Util.Serialisation.Golden |
exampleGenTxId | Test.Util.Serialisation.Golden |
exampleHeader | Test.Util.Serialisation.Golden |
exampleHeaderHash | Test.Util.Serialisation.Golden |
exampleLedgerState | Test.Util.Serialisation.Golden |
exampleQuery | Test.Util.Serialisation.Golden |
exampleResult | Test.Util.Serialisation.Golden |
Examples | |
1 (Type/Class) | Test.Util.Serialisation.Golden |
2 (Data Constructor) | Test.Util.Serialisation.Golden |
exampleSerialisedBlock | Test.Util.Serialisation.Golden |
exampleSerialisedHeader | Test.Util.Serialisation.Golden |
exampleSlotNo | Test.Util.Serialisation.Golden |
expectRight | Test.Util.QuickCheck |
File | Test.Util.FS.Sim.FsTree |
FilePtr | Test.Util.FS.Sim.MockFS |
Files | Test.Util.FS.Sim.MockFS |
filter | Test.Util.RefEnv |
finiteSystemTime | Test.Util.HardFork.OracularClock |
firstBlock | Test.Util.TestBlock |
firstBlockWithPayload | Test.Util.TestBlock |
Folder | Test.Util.FS.Sim.FsTree |
forgeEBB | Test.ThreadNet.Network, Test.ThreadNet.General |
ForgeEbbEnv | |
1 (Type/Class) | Test.ThreadNet.Network, Test.ThreadNet.General |
2 (Data Constructor) | Test.ThreadNet.Network, Test.ThreadNet.General |
forgeEbbEnv | Test.ThreadNet.General |
forgers | Test.ThreadNet.Ref.PBFT |
forkBlock | Test.Util.TestBlock |
forkEachSlot | Test.Util.HardFork.OracularClock |
forkEachSlot_ | Test.Util.HardFork.OracularClock |
Forked | Test.ThreadNet.Ref.PBFT |
fromList | Test.Util.RefEnv |
fromMap | Test.Util.InvertedMap |
fromMinimalChainDbArgs | Test.Util.ChainDB |
fromRekeyingToRekeyM | Test.ThreadNet.Rekeying |
FsExists | Test.Util.FS.Sim.FsTree |
FsExpectedDir | Test.Util.FS.Sim.FsTree |
FsExpectedFile | Test.Util.FS.Sim.FsTree |
FsMissing | Test.Util.FS.Sim.FsTree |
FsTree | Test.Util.FS.Sim.FsTree |
FsTreeError | Test.Util.FS.Sim.FsTree |
Future | Test.Util.HardFork.Future |
future | Test.ThreadNet.General |
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 |
genChainUpdates | Test.Util.ChainUpdates |
genErrors | Test.Util.FS.Sim.Error |
genLimitedEpochSize | Test.Util.Orphans.Arbitrary |
genLimitedSlotNo | Test.Util.Orphans.Arbitrary |
genNodeJoinPlan | Test.ThreadNet.Util.NodeJoinPlan |
genNodeRestarts | Test.ThreadNet.Util.NodeRestarts |
genNodeTopology | Test.ThreadNet.Util.NodeTopology |
genSchedule | Test.Util.Schedule |
genSmallEpochNo | Test.Util.Orphans.Arbitrary |
genSmallSlotNo | Test.Util.Orphans.Arbitrary |
genVersion | Test.ThreadNet.Util.NodeToNodeVersion |
genVersionFiltered | Test.ThreadNet.Util.NodeToNodeVersion |
getBlob | Test.Util.Blob |
getCoherent | Test.Util.Serialisation.Roundtrip |
getCreator | Test.ThreadNet.Util.HasCreator |
getCurrentSlot | Test.Util.HardFork.OracularClock |
getCurrentTick | Test.Util.LogicalClock |
getDir | Test.Util.FS.Sim.FsTree |
getFile | Test.Util.FS.Sim.FsTree |
getGoldenDir | Test.Util.Paths |
getId | Test.Util.WithEq |
getRelPath | Test.Util.Paths |
getSchedule | Test.Util.Schedule |
getStream | Test.Util.FS.Sim.Error |
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 |
handleIsOpen | Test.Util.FS.Sim.MockFS |
HandleMock | Test.Util.FS.Sim.MockFS |
HandleState | Test.Util.FS.Sim.MockFS |
HasCreator | Test.ThreadNet.Util.HasCreator |
hClose | Test.Util.FS.Sim.MockFS |
hCloseE | Test.Util.FS.Sim.Error |
Header | Test.Util.TestBlock |
hGetSize | Test.Util.FS.Sim.MockFS |
hGetSizeE | Test.Util.FS.Sim.Error |
hGetSome | Test.Util.FS.Sim.MockFS |
hGetSomeAt | Test.Util.FS.Sim.MockFS |
hGetSomeAtE | Test.Util.FS.Sim.Error |
hGetSomeE | Test.Util.FS.Sim.Error |
hGetSomePartial | Test.Util.FS.Sim.Error |
hIsOpen | Test.Util.FS.Sim.MockFS |
hOpen | Test.Util.FS.Sim.MockFS |
hOpenE | Test.Util.FS.Sim.Error |
hPutSome | Test.Util.FS.Sim.MockFS |
hPutSomeE | Test.Util.FS.Sim.Error |
hPutSomePartial | Test.Util.FS.Sim.Error |
hSeek | Test.Util.FS.Sim.MockFS |
hSeekE | Test.Util.FS.Sim.Error |
hTruncate | Test.Util.FS.Sim.MockFS |
hTruncateE | Test.Util.FS.Sim.Error |
Id | |
1 (Type/Class) | Test.Util.WithEq |
2 (Data Constructor) | Test.Util.WithEq |
index | Test.Util.FS.Sim.FsTree |
initSeed | Test.ThreadNet.General |
inNixBuild | Test.Util.Paths |
Invalid | Test.Util.TestBlock |
InvalidBlock | Test.Util.TestBlock |
InvalidHash | Test.Util.TestBlock |
InvalidPayload | Test.Util.TestBlock |
InvertedMap | Test.Util.InvertedMap |
isSubmapOfBy | Test.Util.QuickCheck |
joinSchedule | Test.Util.Schedule |
keys | Test.Util.RefEnv |
Labelled | Test.Util.Serialisation.Golden |
labelled | Test.Util.Serialisation.Golden |
lastAppliedPoint | Test.Util.TestBlock |
lastSlot | Test.Util.MockChain |
lastTick | Test.Util.Schedule |
le | Test.Util.QuickCheck |
listDirectory | Test.Util.FS.Sim.MockFS |
listDirectoryE | Test.Util.FS.Sim.Error |
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.Golden |
mapNodeTopology | Test.ThreadNet.Util.NodeTopology |
maximum | Test.Util.Classify |
mcdbChunkInfo | Test.Util.ChainDB |
mcdbInitLedger | Test.Util.ChainDB |
mcdbNodeDBs | Test.Util.ChainDB |
mcdbRegistry | Test.Util.ChainDB |
mcdbTopLevelConfig | Test.Util.ChainDB |
meshNodeTopology | Test.ThreadNet.Util.NodeTopology |
messageDelay | Test.ThreadNet.General |
MinimalChainDbArgs | |
1 (Type/Class) | Test.Util.ChainDB |
2 (Data Constructor) | Test.Util.ChainDB |
minimumDegreeNodeTopology | Test.ThreadNet.Util.NodeTopology |
MiniProtocolDelayed | Test.ThreadNet.Network |
MiniProtocolFatalException | |
1 (Type/Class) | Test.ThreadNet.Network |
2 (Data Constructor) | Test.ThreadNet.Network |
MiniProtocolRestarting | Test.ThreadNet.Network |
MiniProtocolState | Test.ThreadNet.Network |
minViewWithKey | Test.Util.InvertedMap |
MkBlob | Test.Util.Blob |
mkLeaderOf | Test.ThreadNet.Ref.PBFT |
mkOracularClock | Test.Util.HardFork.OracularClock |
mkRekeyM | Test.ThreadNet.General |
mkSimErrorHasFS | Test.Util.FS.Sim.Error |
mkStream | Test.Util.FS.Sim.Error |
mkStreamGen | Test.Util.FS.Sim.Error |
mkTestChunkInfo | Test.Util.ChainDB |
mockFileLock | Test.Util.FileLock |
mockFiles | Test.Util.FS.Sim.MockFS |
MockFS | Test.Util.FS.Sim.MockFS |
mockSystemTime | Test.Util.LogicalClock |
modifyFork | Test.Util.TestBlock |
mpfeClient | Test.ThreadNet.Network |
mpfeExn | Test.ThreadNet.Network |
mpfeServer | Test.ThreadNet.Network |
mpfeType | Test.ThreadNet.Network |
new | Test.Util.LogicalClock |
newestVersion | Test.ThreadNet.Util.NodeToNodeVersion |
nextSlot | Test.ThreadNet.Ref.PBFT |
Nightly | Test.Util.TestEnv |
noCalcMessageDelay | Test.ThreadNet.Network, Test.ThreadNet.General |
NodeDBs | |
1 (Type/Class) | Test.Util.ChainDB, Test.ThreadNet.Network |
2 (Data Constructor) | Test.Util.ChainDB, Test.ThreadNet.Network |
nodeDBsImm | Test.Util.ChainDB, Test.ThreadNet.Network |
nodeDBsLgr | Test.Util.ChainDB, Test.ThreadNet.Network |
nodeDBsVol | Test.Util.ChainDB, Test.ThreadNet.Network |
nodeIdJoinSlot | Test.ThreadNet.Util.NodeJoinPlan |
nodeInfo | Test.ThreadNet.General |
NodeJoinPlan | |
1 (Type/Class) | Test.ThreadNet.Util.NodeJoinPlan |
2 (Data Constructor) | Test.ThreadNet.Util.NodeJoinPlan |
nodeJoinPlan | Test.ThreadNet.General |
NodeOutput | |
1 (Type/Class) | Test.ThreadNet.Network |
2 (Data Constructor) | Test.ThreadNet.Network |
nodeOutputAdds | Test.ThreadNet.Network |
nodeOutputCannotForges | Test.ThreadNet.Network |
nodeOutputFinalChain | Test.ThreadNet.Network |
nodeOutputFinalLedger | Test.ThreadNet.Network |
nodeOutputForges | Test.ThreadNet.Network |
nodeOutputHeaderAdds | Test.ThreadNet.Network |
nodeOutputInvalids | Test.ThreadNet.Network |
nodeOutputNodeDBs | Test.ThreadNet.Network |
nodeOutputSelects | Test.ThreadNet.Network |
nodeOutputUpdates | Test.ThreadNet.Network |
nodePipeliningEvents | Test.ThreadNet.Network |
NodeRekey | Test.ThreadNet.Util.NodeRestarts |
NodeRestart | |
1 (Type/Class) | Test.ThreadNet.Util.NodeRestarts |
2 (Data Constructor) | Test.ThreadNet.Util.NodeRestarts |
NodeRestarts | |
1 (Type/Class) | Test.ThreadNet.Util.NodeRestarts |
2 (Data Constructor) | Test.ThreadNet.Util.NodeRestarts |
nodeRestarts | Test.ThreadNet.General |
NodeTopology | |
1 (Type/Class) | Test.ThreadNet.Util.NodeTopology |
2 (Data Constructor) | Test.ThreadNet.Util.NodeTopology |
nodeTopology | Test.ThreadNet.General |
noExpectedCannotForges | Test.ThreadNet.General |
nomCount | Test.ThreadNet.Ref.PBFT |
Nominal | Test.ThreadNet.Ref.PBFT |
Nondeterministic | Test.ThreadNet.Ref.PBFT |
noRestarts | Test.ThreadNet.Util.NodeRestarts |
nubOrdBy | Test.Util.Stream |
null | |
1 (Function) | Test.Util.FS.Sim.Error |
2 (Function) | Test.Util.InvertedMap |
3 (Function) | Test.Util.RefEnv |
nullState | Test.ThreadNet.Ref.PBFT |
NumBlocks | |
1 (Type/Class) | Test.ThreadNet.Util.Expectations, Test.ThreadNet.Util |
2 (Data Constructor) | Test.ThreadNet.Util.Expectations, Test.ThreadNet.Util |
numCoreNodes | Test.ThreadNet.General |
numOpenHandles | Test.Util.FS.Sim.MockFS |
NumSlots | |
1 (Type/Class) | Test.Util.Slots |
2 (Data Constructor) | Test.Util.Slots |
numSlots | Test.ThreadNet.General |
NumTicks | |
1 (Type/Class) | Test.Util.LogicalClock |
2 (Data Constructor) | Test.Util.LogicalClock |
onTick | Test.Util.LogicalClock |
openFile | Test.Util.FS.Sim.FsTree |
OpenHandleState | Test.Util.FS.Sim.MockFS |
Optional | Test.Util.BoolProps |
OracularClock | |
1 (Type/Class) | Test.Util.HardFork.OracularClock |
2 (Data Constructor) | Test.Util.HardFork.OracularClock |
Outcome | Test.ThreadNet.Ref.PBFT |
Outcomes | Test.ThreadNet.Ref.PBFT |
outs | Test.ThreadNet.Ref.PBFT |
Partial | |
1 (Type/Class) | Test.Util.FS.Sim.Error |
2 (Data Constructor) | Test.Util.FS.Sim.Error |
PartialWrite | Test.Util.FS.Sim.Error |
PayloadDependentError | Test.Util.TestBlock |
PayloadDependentState | Test.Util.TestBlock |
PayloadSemantics | Test.Util.TestBlock |
pbftLimit | Test.ThreadNet.Ref.PBFT |
Permutation | |
1 (Type/Class) | Test.Util.TestBlock |
2 (Data Constructor) | Test.Util.TestBlock |
permute | Test.Util.TestBlock |
pgaBlockProperty | Test.ThreadNet.General |
pgaCountTxs | Test.ThreadNet.General |
pgaExpectedCannotForge | Test.ThreadNet.General |
pgaFirstBlockNo | Test.ThreadNet.General |
pgaFixedMaxForkLength | Test.ThreadNet.General |
pgaFixedSchedule | Test.ThreadNet.General |
pgaSecurityParam | Test.ThreadNet.General |
pgaTestConfig | Test.ThreadNet.General |
pgaTestConfigB | Test.ThreadNet.General |
plainTestNodeInitialization | Test.ThreadNet.Network, Test.ThreadNet.General |
predApply | Test.Util.Classify |
predFinish | Test.Util.Classify |
Predicate | |
1 (Type/Class) | Test.Util.Classify |
2 (Data Constructor) | Test.Util.Classify |
predicate | Test.Util.Classify |
prefixExamples | Test.Util.Serialisation.Golden |
Prereq | Test.Util.BoolProps |
pretty | |
1 (Function) | Test.Util.FS.Sim.FsTree |
2 (Function) | Test.Util.FS.Sim.MockFS |
PropGeneralArgs | |
1 (Type/Class) | Test.ThreadNet.General |
2 (Data Constructor) | Test.ThreadNet.General |
prop_all_common_prefix | Test.ThreadNet.Util |
prop_genChainUpdates | Test.Util.ChainUpdates |
prop_general | Test.ThreadNet.General |
prop_general_semisync | Test.ThreadNet.General |
prop_hashSize | Test.Util.Serialisation.Roundtrip |
prop_inSync | Test.ThreadNet.General |
pureHasFS | Test.Util.FS.Sim.Pure |
PureSimFS | Test.Util.FS.Sim.Pure |
PutCorruption | Test.Util.FS.Sim.Error |
QueryLedgerTip | Test.Util.TestBlock |
Range | Test.Util.Range |
range | 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 |
recordingTracerIORef | Test.Util.Tracer |
recordingTracerTVar | Test.Util.Tracer |
RefEnv | Test.Util.RefEnv |
rekeyFreshSKs | Test.ThreadNet.Rekeying |
Rekeying | |
1 (Type/Class) | Test.ThreadNet.Rekeying |
2 (Data Constructor) | Test.ThreadNet.Rekeying |
RekeyM | Test.ThreadNet.Network |
rekeyOracle | Test.ThreadNet.Rekeying |
rekeyUpd | Test.ThreadNet.Rekeying |
removeFile | |
1 (Function) | Test.Util.FS.Sim.FsTree |
2 (Function) | Test.Util.FS.Sim.MockFS |
removeFileE | Test.Util.FS.Sim.Error |
renameFile | |
1 (Function) | Test.Util.FS.Sim.FsTree |
2 (Function) | Test.Util.FS.Sim.MockFS |
renameFileE | Test.Util.FS.Sim.Error |
replace | Test.Util.FS.Sim.FsTree |
Required | Test.Util.BoolProps |
requiredIf | Test.Util.BoolProps |
Requirement | Test.Util.BoolProps |
Result | Test.ThreadNet.Ref.PBFT |
resultConstrName | Test.ThreadNet.Ref.PBFT |
reverseLookup | Test.Util.RefEnv |
roundRobinLeaderSchedule | Test.ThreadNet.Util |
roundtrip | Test.Util.Serialisation.Roundtrip |
roundtrip' | Test.Util.Serialisation.Roundtrip |
roundtrip_all | 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 |
runGen | Test.ThreadNet.Util.Seed |
runPureSimFS | Test.Util.FS.Sim.Pure |
runSimErrorFS | Test.Util.FS.Sim.Error |
runSimFS | Test.Util.FS.Sim.STM |
runStream | Test.Util.FS.Sim.Error |
runTestNetwork | Test.ThreadNet.General |
runThreadNetwork | Test.ThreadNet.Network |
R_Btwn | Test.Util.Range |
R_Eq | Test.Util.Range |
R_Gt | Test.Util.Range |
Schedule | |
1 (Type/Class) | Test.Util.Schedule |
2 (Data Constructor) | Test.Util.Schedule |
Seed | |
1 (Type/Class) | Test.ThreadNet.Util.Seed |
2 (Data Constructor) | Test.ThreadNet.Util.Seed |
SelectedChainBehavior | Test.Util.ChainUpdates |
shortestLength | Test.ThreadNet.Util |
shrinkNodeJoinPlan | Test.ThreadNet.Util.NodeJoinPlan |
shrinkNodeRestarts | Test.ThreadNet.Util.NodeRestarts |
shrinkNodeTopology | Test.ThreadNet.Util.NodeTopology |
shrinkNP | Test.Util.QuickCheck |
shrinkSchedule | Test.Util.Schedule |
simHasFS | Test.Util.FS.Sim.STM |
simpleErrors | Test.Util.FS.Sim.Error |
simulate | Test.ThreadNet.Ref.PBFT |
simulateShort | Test.ThreadNet.Ref.PBFT |
singleEraFuture | Test.Util.HardFork.Future |
singleNodeTestConfig | Test.Util.TestBlock |
singleNodeTestConfigWith | Test.Util.TestBlock |
singleNodeTestConfigWithK | Test.Util.TestBlock |
singleton | Test.Util.RefEnv |
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 |
SomeResult | |
1 (Type/Class) | Test.Util.Serialisation.Roundtrip |
2 (Data Constructor) | Test.Util.Serialisation.Roundtrip |
spanAntitone | Test.Util.InvertedMap |
spanLeft | Test.Util.Split |
spanLeft' | Test.Util.Split |
splitAtJust | Test.Util.Split |
State | |
1 (Type/Class) | Test.ThreadNet.Ref.PBFT |
2 (Data Constructor) | Test.ThreadNet.Ref.PBFT |
step | Test.ThreadNet.Ref.PBFT |
StorageConfig | Test.Util.TestBlock |
Stream | |
1 (Type/Class) | Test.Util.FS.Sim.Error |
2 (Data Constructor) | Test.Util.FS.Sim.Error |
3 (Type/Class) | Test.Util.Stream |
strictlyIncreasing | Test.Util.QuickCheck |
SubstituteWithJunk | Test.Util.FS.Sim.Error |
successorBlock | Test.Util.TestBlock |
successorBlockWithPayload | Test.Util.TestBlock |
sufficientTimeFor | Test.Util.LogicalClock |
SwitchFork | Test.Util.ChainUpdates |
Tag | Test.Util.Classify |
tbPayload | Test.Util.TestBlock |
tbValid | Test.Util.TestBlock |
TentativeChainBehavior | Test.Util.ChainUpdates |
TestBlock | Test.Util.TestBlock |
TestBlockCodecConfig | Test.Util.TestBlock |
TestBlockConfig | Test.Util.TestBlock |
TestBlockError | Test.Util.TestBlock |
testBlockNumCoreNodes | Test.Util.TestBlock |
TestBlockStorageConfig | Test.Util.TestBlock |
TestBlockWith | Test.Util.TestBlock |
TestConfig | |
1 (Type/Class) | Test.ThreadNet.General |
2 (Data Constructor) | Test.ThreadNet.General |
TestConfigB | |
1 (Type/Class) | Test.ThreadNet.General |
2 (Data Constructor) | Test.ThreadNet.General |
TestConfigMB | |
1 (Type/Class) | Test.ThreadNet.General |
2 (Data Constructor) | Test.ThreadNet.General |
TestEnv | Test.Util.TestEnv |
testGenTxs | Test.ThreadNet.TxGen |
testGenTxsHfc | Test.ThreadNet.TxGen |
TestHash | |
1 (Type/Class) | Test.Util.TestBlock |
2 (Data Constructor) | Test.Util.TestBlock |
testHashFromList | Test.Util.TestBlock |
TestHeader | Test.Util.TestBlock |
testHeader | Test.Util.TestBlock |
testInitExtLedger | Test.Util.TestBlock |
testInitExtLedgerWithState | Test.Util.TestBlock |
testInitLedger | Test.Util.TestBlock |
testInitLedgerWithState | Test.Util.TestBlock |
TestNodeInitialization | |
1 (Type/Class) | Test.ThreadNet.Network |
2 (Data Constructor) | Test.ThreadNet.Network |
TestOutput | |
1 (Type/Class) | Test.ThreadNet.Network, Test.ThreadNet.General |
2 (Data Constructor) | Test.ThreadNet.Network, Test.ThreadNet.General |
testOutputNodes | Test.ThreadNet.Network, Test.ThreadNet.General |
testOutputTipBlockNos | Test.ThreadNet.Network, Test.ThreadNet.General |
ThreadNetworkArgs | |
1 (Type/Class) | Test.ThreadNet.Network |
2 (Data Constructor) | Test.ThreadNet.Network |
Tick | |
1 (Type/Class) | Test.Util.LogicalClock |
2 (Data Constructor) | Test.Util.LogicalClock |
tickToWord64 | Test.Util.LogicalClock |
tickTracer | Test.Util.LogicalClock |
tickWatcher | Test.Util.LogicalClock |
tnaBlockVersion | Test.ThreadNet.Network |
tnaForgeEbbEnv | Test.ThreadNet.Network |
tnaFuture | Test.ThreadNet.Network |
tnaJoinPlan | Test.ThreadNet.Network |
tnaMessageDelay | Test.ThreadNet.Network |
tnaMkRekeyM | Test.ThreadNet.Network |
tnaNodeInfo | Test.ThreadNet.Network |
tnaNumCoreNodes | Test.ThreadNet.Network |
tnaNumSlots | Test.ThreadNet.Network |
tnaRestarts | Test.ThreadNet.Network |
tnaSeed | Test.ThreadNet.Network |
tnaTopology | Test.ThreadNet.Network |
tnaTxGenExtra | Test.ThreadNet.Network |
tnaVersion | Test.ThreadNet.Network |
tniCrucialTxs | Test.ThreadNet.Network |
tniProtocolInfo | Test.ThreadNet.Network |
toChainUpdates | Test.Util.ChainUpdates |
ToGoldenDirectory | Test.Util.Serialisation.Golden |
toGoldenDirectory | Test.Util.Serialisation.Golden |
toList | Test.Util.RefEnv |
toMap | Test.Util.InvertedMap |
tracesToDot | Test.ThreadNet.Util |
TracingConstraints | Test.ThreadNet.Network |
treePreferredChain | Test.Util.TestBlock |
treeToBlocks | Test.Util.TestBlock |
treeToChains | Test.Util.TestBlock |
trivialNodeJoinPlan | Test.ThreadNet.Util.NodeJoinPlan |
truncateNodeJoinPlan | Test.ThreadNet.General |
truncateNodeRestarts | Test.ThreadNet.General |
truncateNodeTopology | Test.ThreadNet.General |
TxGen | Test.ThreadNet.TxGen |
TxGenExtra | Test.ThreadNet.TxGen |
txGenExtra | Test.ThreadNet.General |
Unable | Test.ThreadNet.Ref.PBFT |
unEraSize | Test.Util.HardFork.Future |
union | Test.Util.RefEnv |
unionNodeTopology | Test.ThreadNet.Util.NodeTopology |
unlabelled | Test.Util.Serialisation.Golden |
unNodeTopology | Test.ThreadNet.Util.NodeTopology |
unNumSlots | Test.Util.Slots |
unsafeCoercion | Test.Util.InvertedMap |
unsafeInvertedMap | Test.Util.InvertedMap |
unTestHash | Test.Util.TestBlock |
unWithEq | Test.Util.WithEq |
unwrapTxGenExtra | Test.ThreadNet.TxGen |
UpdateBehavior | Test.Util.ChainUpdates |
Valid | Test.Util.TestBlock |
Validity | Test.Util.TestBlock |
version | Test.ThreadNet.General |
viable | Test.ThreadNet.Ref.PBFT |
waitUntilDone | |
1 (Function) | Test.Util.LogicalClock |
2 (Function) | Test.Util.HardFork.OracularClock |
Wasted | Test.ThreadNet.Ref.PBFT |
WithEq | |
1 (Type/Class) | Test.Util.WithEq |
2 (Data Constructor) | Test.Util.WithEq |
withErrors | Test.Util.FS.Sim.Error |
WithVersion | |
1 (Type/Class) | Test.Util.Serialisation.Roundtrip |
2 (Data Constructor) | Test.Util.Serialisation.Roundtrip |
WrapTxGenExtra | |
1 (Type/Class) | Test.ThreadNet.TxGen |
2 (Data Constructor) | Test.ThreadNet.TxGen |