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 d2a1df7 commit e8f61dbCopy full SHA for e8f61db
src/Data/Monoid/DecidablyEmpty.hs
@@ -62,7 +62,8 @@ instance DecidablyEmpty (First a) where
62
instance DecidablyEmpty (Last a) where
63
isEmpty (Last a) = isNothing a
64
deriving instance DecidablyEmpty a => DecidablyEmpty (Identity a)
65
-deriving instance Semigroup a => DecidablyEmpty (Option a)
+instance Semigroup a => DecidablyEmpty (Option a) where
66
+ isEmpty (Option a) = isNothing a
67
deriving instance DecidablyEmpty m => DecidablyEmpty (WrappedMonoid m)
68
instance (Ord a, Bounded a) => DecidablyEmpty (Max a)
69
instance (Ord a, Bounded a) => DecidablyEmpty (Min a)
0 commit comments