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

    -- | Validity tests involving functions
    module Test.Validity.Functions
      ( module Test.Validity.Functions.CanFail,
        module Test.Validity.Functions.Equivalence,
        module Test.Validity.Functions.Idempotence,
        module Test.Validity.Functions.Inverse,
        module Test.Validity.Functions.Validity,
      )
    where

    import Test.Validity.Functions.CanFail
    import Test.Validity.Functions.Equivalence
    import Test.Validity.Functions.Idempotence
    import Test.Validity.Functions.Inverse
    import Test.Validity.Functions.Validity