We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 44c2cca commit f60f1a0Copy full SHA for f60f1a0
src/Data/Monoid/DecidablyEmpty.hs
@@ -46,7 +46,13 @@ instance DecidablyEmpty All
46
-- instance DecidablyEmpty Event
47
instance DecidablyEmpty [a] where
48
isEmpty = null
49
-instance Semigroup a => DecidablyEmpty (Maybe a) where
+instance
50
+#if MIN_VERSION_base(4,10,0)
51
+ Semigroup a
52
+#else
53
+ Monoid a
54
+#endif
55
+ => DecidablyEmpty (Maybe a) where
56
isEmpty = isNothing
57
deriving instance (Num a, DecidablyEmpty a) => DecidablyEmpty (Product a)
58
deriving instance (DecidablyEmpty a, Num a) => DecidablyEmpty (Sum a)
0 commit comments