genvalidity-property-1.0.0.0: src/Test/Validity/Operations.hs

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