diff options
Diffstat (limited to 'ch01_01.4-iii.hs')
| -rw-r--r-- | ch01_01.4-iii.hs | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/ch01_01.4-iii.hs b/ch01_01.4-iii.hs new file mode 100644 index 0000000..78885aa --- /dev/null +++ b/ch01_01.4-iii.hs @@ -0,0 +1,14 @@ +-- Exercise 1.4-iii +-- Prove `(a * b)^c == a^c * b*c`. +func2Tup :: (c -> (a, b)) -> (c -> a, c -> b) +func2Tup f = (fst . f, snd . f) + +-- This version takes in a tuple of functions, which is equivalent to them +-- being separate arguments: +tup2Func :: (c -> a, c -> b) -> c -> (a, b) +tup2Func (f, g) v = (f v, g v) + +-- This version has the same signature as Sandy's version, and calls `curry` +-- against my tupled rendition above: +tup2Func' :: (c -> a) -> (c -> b) -> c -> (a, b) +tup2Func' = curry tup2Func |