git.iko.soy/patch
on develop help sign in
Fixing more instance constraints
d2a1df7John Ericson
src/Data/Monoid/DecidablyEmpty.hs+5−3
compare with develop
unifiedsplit
@@ -47,7 +47,7 @@ instance DecidablyEmpty All
47instance DecidablyEmpty [a] where
47instance DecidablyEmpty [a] where
48 isEmpty = null
48 isEmpty = null
49instance
49instance
50−#if MIN_VERSION_base(4,10,0)
50+#if MIN_VERSION_base(4,11,0)
51 Semigroup a
51 Semigroup a
52#else
52#else
53 Monoid a
53 Monoid a
@@ -57,8 +57,10 @@ instance
57deriving instance (Num a, DecidablyEmpty a) => DecidablyEmpty (Product a)
57deriving instance (Num a, DecidablyEmpty a) => DecidablyEmpty (Product a)
58deriving instance (DecidablyEmpty a, Num a) => DecidablyEmpty (Sum a)
58deriving instance (DecidablyEmpty a, Num a) => DecidablyEmpty (Sum a)
59deriving instance DecidablyEmpty a => DecidablyEmpty (Dual a)
59deriving instance DecidablyEmpty a => DecidablyEmpty (Dual a)
60−deriving instance Semigroup a => DecidablyEmpty (First a)
60+instance DecidablyEmpty (First a) where
61−deriving instance Semigroup a => DecidablyEmpty (Last a)
61+ isEmpty (First a) = isNothing a
62+instance DecidablyEmpty (Last a) where
63+ isEmpty (Last a) = isNothing a
62deriving instance DecidablyEmpty a => DecidablyEmpty (Identity a)
64deriving instance DecidablyEmpty a => DecidablyEmpty (Identity a)
63deriving instance Semigroup a => DecidablyEmpty (Option a)
65deriving instance Semigroup a => DecidablyEmpty (Option a)
64deriving instance DecidablyEmpty m => DecidablyEmpty (WrappedMonoid m)
66deriving instance DecidablyEmpty m => DecidablyEmpty (WrappedMonoid m)