aboutsummaryrefslogtreecommitdiff
path: root/Haskell-book/07/src/VarietyPack.purs
diff options
context:
space:
mode:
Diffstat (limited to 'Haskell-book/07/src/VarietyPack.purs')
-rw-r--r--Haskell-book/07/src/VarietyPack.purs9
1 files changed, 9 insertions, 0 deletions
diff --git a/Haskell-book/07/src/VarietyPack.purs b/Haskell-book/07/src/VarietyPack.purs
new file mode 100644
index 0000000..602ae8d
--- /dev/null
+++ b/Haskell-book/07/src/VarietyPack.purs
@@ -0,0 +1,9 @@
+module VarietyPack where
+
+import Data.Tuple (Tuple(..))
+
+f :: forall a b c d e g
+ . Tuple (Tuple a b) c
+ -> Tuple (Tuple d e) g
+ -> Tuple (Tuple a d) (Tuple c g)
+f (Tuple (Tuple a b) c) (Tuple (Tuple d e) g) = Tuple (Tuple a d) (Tuple c g)