Make clear that sum' is a synonym for concat
commitafe94818717c8b6d81a08e8dbc759e2009a6f67e
authorBlackBrane <cs.hbar@gmail.com>
dateMon 3 Aug 2015, 14:02 (11 years ago)
parent44ca9c2
libs/contrib/Control/Algebra.idr+1−1
@@ -116,7 +116,7 @@ class RingWithUnity a => Field a where
116116 inverseM : (x : a) -> Not (x = neutral) -> a
117117
118118sum' : (Foldable t, Monoid a) => t a -> a
119−sum' = foldr (<+>) neutral
119+sum' = concat
120120
121121product' : (Foldable t, RingWithUnity a) => t a -> a
122122product' = foldr (<.>) unity