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 >=2.10 && <2.16
• base lib:base >=4.2 && <4.22
• containers lib:containers >=0.5 && <0.8
• mtl lib:mtl >=2 && <2.4
• random lib:random >=1.0 && <1.3
• syb lib:syb >=0.1.0.2 && <0.8

Reverse dependencies

Direct only. Not exhaustive.

• ClassLaws lib:ClassLaws
• 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
• rainbox exe:rainbox-grid
• rainbox exe:rainbox-mosaic
• rainbox test:rainbox-test
• rainbox test:rainbox-visual
• unordered-containers test:strictness-properties