abides-0.0.0: src/Test/Abides/Data/Semigroup.hs

module Test.Abides.Data.Semigroup where

import qualified Test.Abides.Properties as P


associative :: Semigroup a => Eq a => a -> a -> a -> Bool
associative = P.associative (<>)