2019-06-15 07:53:02 +03:00
|
|
|
module Data.Semigroup.App.Spec (spec) where
|
2018-10-31 22:47:30 +03:00
|
|
|
|
|
|
|
|
import SpecHelpers
|
|
|
|
|
import Data.Semigroup.App
|
|
|
|
|
|
|
|
|
|
spec :: Spec
|
|
|
|
|
spec = do
|
|
|
|
|
describe "App" $
|
|
|
|
|
prop "should be associative" $
|
|
|
|
|
\a b c -> a <> (b <> c) == (a <> b) <> (c :: App Maybe Integer)
|
|
|
|
|
|
|
|
|
|
describe "AppMerge" $ do
|
|
|
|
|
prop "should be associative" $
|
|
|
|
|
\ a b c -> a <> (b <> c) == (a <> b) <> (c :: AppMerge Maybe String)
|
|
|
|
|
|
|
|
|
|
prop "identity/left" $
|
|
|
|
|
\ a -> mempty <> a == (a :: AppMerge Maybe String)
|
|
|
|
|
|
|
|
|
|
prop "identity/right" $
|
|
|
|
|
\ a -> a <> mempty == (a :: AppMerge Maybe String)
|
