tasty-dejafu-0.6.0.0: Deja Fu support for the Tasty test framework. (Index)

tasty-dejafu-0.6.0.0: Deja Fu support for the Tasty test framework.

Index

->-	Test.Tasty.DejaFu
===	Test.Tasty.DejaFu
=>=	Test.Tasty.DejaFu
boundFair	Test.Tasty.DejaFu
boundLength	Test.Tasty.DejaFu
boundPreemp	Test.Tasty.DejaFu
Bounds
1 (Data Constructor)	Test.Tasty.DejaFu
2 (Type/Class)	Test.Tasty.DejaFu
defaultBounds	Test.Tasty.DejaFu
defaultMemType	Test.Tasty.DejaFu
defaultWay	Test.Tasty.DejaFu
equivalentTo	Test.Tasty.DejaFu
expectFailure	Test.Tasty.DejaFu
expression	Test.Tasty.DejaFu
initialise	Test.Tasty.DejaFu
interfere	Test.Tasty.DejaFu
list	Test.Tasty.DejaFu
Listable	Test.Tasty.DejaFu
MemType	Test.Tasty.DejaFu
O	Test.Tasty.DejaFu
observe	Test.Tasty.DejaFu
PartialStoreOrder	Test.Tasty.DejaFu
randomly	Test.Tasty.DejaFu
RefinementProperty	Test.Tasty.DejaFu
refines	Test.Tasty.DejaFu
SequentialConsistency	Test.Tasty.DejaFu
Sig
1 (Data Constructor)	Test.Tasty.DejaFu
2 (Type/Class)	Test.Tasty.DejaFu
strictlyRefines	Test.Tasty.DejaFu
swarmy	Test.Tasty.DejaFu
systematically	Test.Tasty.DejaFu
Testable	Test.Tasty.DejaFu
testAuto	Test.Tasty.DejaFu
testAutoIO	Test.Tasty.DejaFu
testAutoWay	Test.Tasty.DejaFu
testAutoWayIO	Test.Tasty.DejaFu
testDejafu	Test.Tasty.DejaFu
testDejafuIO	Test.Tasty.DejaFu
testDejafus	Test.Tasty.DejaFu
testDejafusIO	Test.Tasty.DejaFu
testDejafusWay	Test.Tasty.DejaFu
testDejafusWayIO	Test.Tasty.DejaFu
testDejafuWay	Test.Tasty.DejaFu
testDejafuWayIO	Test.Tasty.DejaFu
testProperty	Test.Tasty.DejaFu
tiers	Test.Tasty.DejaFu
TotalStoreOrder	Test.Tasty.DejaFu
uniformly	Test.Tasty.DejaFu
Way	Test.Tasty.DejaFu
X	Test.Tasty.DejaFu