{-# LANGUAGE TypeSynonymInstances #-}
{-# LANGUAGE FlexibleInstances #-}

module Main where

import Control.Monad
import Test.QuickCheck

import Generics.Regular.Rewriting

import ApplyRule
import Bottomup
import Compos
import Once
import One
import Rule
import Topdown

main :: IO ()
main = mapM_ quickCheck (concat tests)
  where 
    tests =
      [ applyRuleTests
      , bottomupTests
      , composTests
      , onceTests
      , oneTests
      , ruleTests
      , topdownTests
      ]