ChasingBottoms-1.3.0: For testing partial and infinite values.

Portabilitynon-portable (GHC-specific)
Stabilityexperimental
Maintainerhttp://www.cs.nott.ac.uk/~nad/

Test.ChasingBottoms

Description

This module just re-exports all the other modules.

Documentation

module Test.ChasingBottoms.Approx

module Test.ChasingBottoms.ApproxShow

module Test.ChasingBottoms.ContinuousFunctions

module Test.ChasingBottoms.IsBottom

module Test.ChasingBottoms.Nat

module Test.ChasingBottoms.SemanticOrd

module Test.ChasingBottoms.TimeOut