import Control.Monad
import System.Exit (exitFailure)
import System.IO (BufferMode (..), hSetBuffering, stderr, stdout)
import qualified Test.Data.Connection as C
import qualified Test.Data.Connection.Float as CF
import qualified Test.Data.Connection.Int as CI
import qualified Test.Data.Connection.Ratio as CR
import qualified Test.Data.Connection.Word as CW
import qualified Test.Data.Lattice as L
import qualified Test.Data.Order as P
tests :: IO [Bool]
tests =
sequence
[ P.tests
, L.tests
, C.tests
, CI.tests
, CW.tests
, CF.tests
, CR.tests
]
main :: IO ()
main = do
hSetBuffering stdout LineBuffering
hSetBuffering stderr LineBuffering
results <- tests
unless (and results) exitFailure