lib:ChasingBottoms

Modules

• Test.ChasingBottoms
• Test.ChasingBottoms.Approx
• Test.ChasingBottoms.ApproxShow
• Test.ChasingBottoms.ContinuousFunctions
• Test.ChasingBottoms.IsBottom
• Test.ChasingBottoms.Nat
• Test.ChasingBottoms.SemanticOrd
• Test.ChasingBottoms.TimeOut

Dependencies

• QuickCheck lib:QuickCheck >=1.1 && <2
• base lib:base (>=2 && <3) && >=3 && <4
• containers lib:containers >=0.1 && <1
• mtl lib:mtl >=1.1 && <2
• random lib:random >=1 && <2

Reverse dependencies

Direct only. Not exhaustive.

• containers test:intmap-strictness-properties
• containers test:map-strictness-properties
• exposed-containers test:intmap-strictness-properties
• exposed-containers test:map-strictness-properties
• list-tries exe:list-tries-tests
• pqc test:Example
• unordered-containers test:strictness-properties