module Main where

import Test.Control.Iterate.RelationReference (relationTests)
import Test.Control.Iterate.SetAlgebra (setAlgTest)
import Test.Hspec (Spec, describe, hspec)

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

tests :: Spec
tests :: Spec
tests =
  String -> Spec -> Spec
forall a. HasCallStack => String -> SpecWith a -> SpecWith a
describe String
"set-algebra" (Spec -> Spec) -> Spec -> Spec
forall a b. (a -> b) -> a -> b
$ do
    Spec
setAlgTest
    Spec
relationTests

main :: IO ()
IO ()
main = Spec -> IO ()
hspec Spec
tests