clean up redundant spaces
commit5f63dada516c9bb2d291d6c763004cb2c36257ad
authorHeather <heather@live.ru>
dateWed 22 Apr 2015, 14:04 (12 years ago)
parent6310e0e
libs/base/Data/List.idr+1−1
@@ -39,7 +39,7 @@ isElem x (y :: xs) with (decEq x y)
3939
4040||| The intersectBy function returns the intersect of two lists by user-supplied equality predicate.
4141intersectBy : (a -> a -> Bool) -> List a -> List a -> List a
42−intersectBy eq xs ys = [x | x <- xs, any (eq x) ys]
42+intersectBy eq xs ys = [x | x <- xs, any (eq x) ys]
4343
4444||| Compute the intersection of two lists according to their `Eq` instance.
4545|||
libs/prelude/Prelude/List.idr+1−1
@@ -538,7 +538,7 @@ delete = deleteBy (==)
538538
539539||| The unionBy function returns the union of two lists by user-supplied equality predicate.
540540unionBy : (a -> a -> Bool) -> List a -> List a -> List a
541−unionBy eq xs ys = xs ++ foldl (flip (deleteBy eq)) (nubBy eq ys) xs
541+unionBy eq xs ys = xs ++ foldl (flip (deleteBy eq)) (nubBy eq ys) xs
542542
543543||| Compute the union of two lists according to their `Eq` instance.
544544|||