{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE ScopedTypeVariables #-}

-- | Properties of relations
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
