{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE ScopedTypeVariables #-}
module Test.Validity.Relations
( module Test.Validity.Relations.Antireflexivity,
module Test.Validity.Relations.Antisymmetry,
module Test.Validity.Relations.Reflexivity,
module Test.Validity.Relations.Symmetry,
module Test.Validity.Relations.Transitivity,
)
where
import Test.Validity.Relations.Antireflexivity
import Test.Validity.Relations.Antisymmetry
import Test.Validity.Relations.Reflexivity
import Test.Validity.Relations.Symmetry
import Test.Validity.Relations.Transitivity