Remove nongeneric sum and product functions
commit67c5fc9066ded758814c561cc213d4ca1f0cf0ae
authorMelvar Chen <Melvar.Chen@googlemail.com>
dateMon 5 Aug 2013, 23:13 (13 years ago)
parent02f8b53
lib/Prelude.idr−6
@@ -348,12 +348,6 @@ syntax "[" [start] "," [next] "..]"
348348
349349---- More utilities
350350
351−sum : Num a => List a -> a
352−sum = foldl (+) 0
353−
354−prod : Num a => List a -> a
355−prod = foldl (*) 1
356−
357351curry : ((a, b) -> c) -> a -> b -> c
358352curry f a b = f (a, b)
359353