idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-11-28 11:05:17 +03:00
Code Issues Projects Releases Wiki Activity

[prelude] Use foldl for sum and product

Browse Source 
To make them tail recursive. Fixes #132.
This commit is contained in:
Jinwoo Lee 2020-05-24 10:50:29 -07:00
parent 1212e56903
commit 728149f2d1
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
libs/prelude/Prelude.idr
View File

@ -630,12 +630,12 @@ all p = foldl (\x,y => x && p y) True
||| Add together all the elements of a structure.
public export
sum : (Foldable t, Num a) => t a -> a
sum = foldr (+) 0
sum = foldl (+) 0
||| Multiply together all elements of a structure.
public export
product : (Foldable t, Num a) => t a -> a
product = foldr (*) 1
product = foldl (*) 1
||| Map each element of a structure to a computation, evaluate those
||| computations and discard the results.