    {-# 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