add Monoid (Constant a b) instance
authorRoss Paterson <ross@soi.city.ac.uk>
Thu, 11 Jun 2015 21:55:20 +0000 (21:55 +0000)
committerRoss Paterson <ross@soi.city.ac.uk>
Thu, 11 Jun 2015 21:55:20 +0000 (21:55 +0000)
Data/Functor/Constant.hs

index 2fb730d..3f61815 100644 (file)
@@ -82,3 +82,7 @@ instance Traversable (Constant a) where
 instance (Monoid a) => Applicative (Constant a) where
     pure _ = Constant mempty
     Constant x <*> Constant y = Constant (x `mappend` y)
+
+instance (Monoid a) => Monoid (Constant a b) where
+    mempty = Constant mempty
+    Constant x `mappend` Constant y = Constant (x `mappend` y)