The task is to give appropriate defining equations for the following functions:
-
curry :: ((a, b) → c) → a → b → c
-
uncurry :: (a → b → c) → (a, b) → c
-
curry takes one function and two types (a,b) and returns c.
-
uncurry takes two functions and returns c.
Im actually not sure what to do at this point. Can someone help?
Thanks in advance!