-- |
-- Copyright        : (c) Raghu Kaippully, 2020
-- License          : MPL-2.0
-- Maintainer       : rkaippully@gmail.com
--
module Properties
  ( propertyTests
  ) where

import Test.Tasty (TestTree, testGroup)

import qualified Properties.Trait.Auth.Basic as Basic
import qualified Properties.Trait.Body as Body
import qualified Properties.Trait.Header as Header
import qualified Properties.Trait.Method as Method
import qualified Properties.Trait.Params as Params
import qualified Properties.Trait.Path as Path


propertyTests :: TestTree
propertyTests = testGroup "Property Tests" [ Method.tests
                                           , Path.tests
                                           , Header.tests
                                           , Params.tests
                                           , Body.tests
                                           , Basic.tests
                                           ]