on master help sign in
Merge pull request #202 from DanielWaterworth/master

Added curry and uncurry

commit34909f5e4f65b59ae11272186e57fee9cdbe08b1 authorEdwin Brady <edwin.brady@gmail.com> dateWed 27 Feb 2013, 08:20 (14 years ago) parenta5ea29f48c4793
1 file changed+6
lib/Prelude.idr+6
lib/Prelude.idr+6
@@ -216,6 +216,12 @@ sum = foldl (+) 0
216216prod : Num a => List a -> a
217217prod = foldl (*) 1
218218
219+curry : ((a, b) -> c) -> a -> b -> c
220+curry f a b = f (a, b)
221+
222+uncurry : (a -> b -> c) -> (a, b) -> c
223+uncurry f (a, b) = f a b
224+
219225---- some basic io
220226
221227partial