Contents
Index
hunit-dejafu-0.7.1.1: Deja Fu support for the HUnit test framework.
Index
->-
Test.HUnit.DejaFu
===
Test.HUnit.DejaFu
=>=
Test.HUnit.DejaFu
boundFair
Test.HUnit.DejaFu
boundLength
Test.HUnit.DejaFu
boundPreemp
Test.HUnit.DejaFu
Bounds
1 (Data Constructor)
Test.HUnit.DejaFu
2 (Type/Class)
Test.HUnit.DejaFu
defaultBounds
Test.HUnit.DejaFu
defaultDiscarder
Test.HUnit.DejaFu
defaultMemType
Test.HUnit.DejaFu
defaultWay
Test.HUnit.DejaFu
Discard
Test.HUnit.DejaFu
DiscardResultAndTrace
Test.HUnit.DejaFu
DiscardTrace
Test.HUnit.DejaFu
equivalentTo
Test.HUnit.DejaFu
expectFailure
Test.HUnit.DejaFu
expression
Test.HUnit.DejaFu
initialise
Test.HUnit.DejaFu
interfere
Test.HUnit.DejaFu
list
Test.HUnit.DejaFu
Listable
Test.HUnit.DejaFu
MemType
Test.HUnit.DejaFu
O
Test.HUnit.DejaFu
observe
Test.HUnit.DejaFu
PartialStoreOrder
Test.HUnit.DejaFu
randomly
Test.HUnit.DejaFu
RefinementProperty
Test.HUnit.DejaFu
refines
Test.HUnit.DejaFu
SequentialConsistency
Test.HUnit.DejaFu
Sig
1 (Data Constructor)
Test.HUnit.DejaFu
2 (Type/Class)
Test.HUnit.DejaFu
strictlyRefines
Test.HUnit.DejaFu
swarmy
Test.HUnit.DejaFu
systematically
Test.HUnit.DejaFu
Testable
Test.HUnit.DejaFu
testAuto
Test.HUnit.DejaFu
testAutoIO
Test.HUnit.DejaFu
testAutoWay
Test.HUnit.DejaFu
testAutoWayIO
Test.HUnit.DejaFu
testDejafu
Test.HUnit.DejaFu
testDejafuDiscard
Test.HUnit.DejaFu
testDejafuDiscardIO
Test.HUnit.DejaFu
testDejafuIO
Test.HUnit.DejaFu
testDejafus
Test.HUnit.DejaFu
testDejafusIO
Test.HUnit.DejaFu
testDejafusWay
Test.HUnit.DejaFu
testDejafusWayIO
Test.HUnit.DejaFu
testDejafuWay
Test.HUnit.DejaFu
testDejafuWayIO
Test.HUnit.DejaFu
testProperty
Test.HUnit.DejaFu
testPropertyFor
Test.HUnit.DejaFu
tiers
Test.HUnit.DejaFu
TotalStoreOrder
Test.HUnit.DejaFu
uniformly
Test.HUnit.DejaFu
Way
Test.HUnit.DejaFu
X
Test.HUnit.DejaFu