Added curry and uncurry functions
commit48c4793dab0141acf3c762f69ff910abaff7e799
authorDaniel Waterworth <Da.Waterworth@gmail.com>
dateTue 26 Feb 2013, 07:20 (14 years ago)
parent25b4dd1
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