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

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

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