{-# LANGUAGE TypeFamilies #-} module Main where import qualified Test.Shape as TestShape import qualified Test.Storable as TestStorable import Test.Utility (prefix) import qualified Test.QuickCheck as QC main :: IO () main = mapM_ (\(name,prop) -> putStr (name ++ ": ") >> QC.quickCheck prop) $ prefix "Shape" TestShape.tests ++ prefix "Storable" TestStorable.tests ++ []