module Main where

import Test.Control.Iterate.RelationReference (relationTests)
import Test.Control.Iterate.SetAlgebra (setAlgTest)
import Test.Tasty (TestTree, defaultMain, testGroup)

-- ====================================================================================

tests :: TestTree
tests :: TestTree
tests =
  TestName -> [TestTree] -> TestTree
testGroup
    TestName
"set-algebra"
    [ TestTree
setAlgTest
    , TestTree
relationTests
    ]

main :: IO ()
IO ()
main = TestTree -> IO ()
defaultMain TestTree
tests