lib:dejafu

Modules

• Test.DejaFu
• Test.DejaFu.Conc
• Test.DejaFu.Conc.Internal
• Test.DejaFu.Conc.Internal.Common
• Test.DejaFu.Conc.Internal.Memory
• Test.DejaFu.Conc.Internal.STM
• Test.DejaFu.Conc.Internal.Threading
• Test.DejaFu.Defaults
• Test.DejaFu.Internal
• Test.DejaFu.Refinement
• Test.DejaFu.SCT
• Test.DejaFu.SCT.Internal.DPOR
• Test.DejaFu.SCT.Internal.Weighted
• Test.DejaFu.Schedule
• Test.DejaFu.Types
• Test.DejaFu.Utils

Dependencies

• base lib:base >=4.8 && <5
• concurrency lib:concurrency >=1.3 && <1.5
• containers lib:containers >=0.5 && <0.6
• deepseq lib:deepseq >=1.1 && <2
• exceptions lib:exceptions >=0.7 && <0.10
• leancheck lib:leancheck >=0.6 && <0.8
• profunctors lib:profunctors >=4.0 && <6.0
• random lib:random >=1.0 && <1.2
• ref-fd lib:ref-fd >=0.4 && <0.5
• semigroups lib:semigroups >=0.16 && <0.19
• transformers lib:transformers >=0.4 && <0.6

Reverse dependencies

Direct only. Not exhaustive.

• async-dejafu lib:async-dejafu
• async-dejafu test:tests
• dejafu test:tests
• hunit-dejafu lib:hunit-dejafu
• tasty-dejafu lib:tasty-dejafu