on develop help sign in
`isNull` -> `isEmpty`
510e5e2John Ericson
src/Data/Monoid/DecidablyEmpty.hs+1−1
@@ -2,4 +2,4 @@
2module Data.Monoid.DecidablyEmpty where
2module Data.Monoid.DecidablyEmpty where
3
3
4class Monoid a => DecidablyEmpty a where
4class Monoid a => DecidablyEmpty a where
5− isNull :: a -> Bool
5+ isEmpty :: a -> Bool
src/Data/Patch/MapWithPatchingMove.hs+1−1
@@ -271,7 +271,7 @@ instance ( Ord k
271 h :: (k, (Maybe k, From k p)) -> [(k, Fixup k p)]
271 h :: (k, (Maybe k, From k p)) -> [(k, Fixup k p)]
272 h (_, (mToAfter, editBefore)) = case (mToAfter, editBefore) of
272 h (_, (mToAfter, editBefore)) = case (mToAfter, editBefore) of
273 (Just toAfter, From_Move fromBefore p)
273 (Just toAfter, From_Move fromBefore p)
274− | fromBefore == toAfter && isNull p
274+ | fromBefore == toAfter && isEmpty p
275 -> [(toAfter, Fixup_Delete)]
275 -> [(toAfter, Fixup_Delete)]
276 | otherwise
276 | otherwise
277 -> [ (toAfter, Fixup_Update (This editBefore))
277 -> [ (toAfter, Fixup_Update (This editBefore))