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.Program
• Test.DejaFu.Conc.Internal.STM
• Test.DejaFu.Conc.Internal.Threading
• Test.DejaFu.Internal
• Test.DejaFu.Refinement
• Test.DejaFu.SCT
• Test.DejaFu.SCT.Internal
• Test.DejaFu.SCT.Internal.DPOR
• Test.DejaFu.SCT.Internal.Weighted
• Test.DejaFu.Schedule
• Test.DejaFu.Settings
• Test.DejaFu.Types
• Test.DejaFu.Utils

Dependencies

• base lib:base >=4.9 && <5
• concurrency lib:concurrency >=1.11 && <1.12
• containers lib:containers >=0.5 && <0.8
• contravariant lib:contravariant >=1.2 && <1.6
• deepseq lib:deepseq >=1.1 && <2
• exceptions lib:exceptions >=0.7 && <0.11
• leancheck lib:leancheck >=0.6 && <2
• profunctors lib:profunctors >=4.0 && <6
• random lib:random >=1.0 && <1.3
• transformers lib:transformers >=0.5 && <0.7

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