Commits

Aleksey Khudyakov  committed 9798822

Use .==.

  • Participants
  • Parent commits 43a8b61

Comments (0)

Files changed (1)

File Test/QuickCheck/Property/Functor.hs

 
 -- | @fmap id = id@
 prop_FunctorId :: Functor f => T (f a) -> f a -> Equal (f a)
-prop_FunctorId T f = f `Equal` fmap id f
+prop_FunctorId T f = f .==. fmap id f
 
 -- | It's not possible to generate arbitrary functions. Therefore they
 --   are passed as arguments. 
                     -> T (f a)
                     -> f a
                     -> Equal (f c)
-prop_FunctorCompose f g T x = (fmap g $ fmap f $ x) `Equal` (fmap (g . f) x)
+prop_FunctorCompose f g T x = (fmap g $ fmap f $ x) .==. (fmap (g . f) x)