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

-- | Properties of operations
module Test.Validity.Operations
  ( module Test.Validity.Operations.Associativity,
    module Test.Validity.Operations.Commutativity,
    module Test.Validity.Operations.Identity,
  )
where

import Test.Validity.Operations.Associativity
import Test.Validity.Operations.Commutativity
import Test.Validity.Operations.Identity
