Merge branch 'master' of https://github.com/dopefishh/tt2015

[tt2015.git] / a3 / code / Generics / GenZip.icl

diff --git a/a3/code/Generics/GenZip.icl b/a3/code/Generics/GenZip.icl
deleted file mode 100644 (file)
index 9f7d862..0000000
--- a/a3/code/Generics/GenZip.icl
+++ /dev/null
@@ -1,44 +0,0 @@
-implementation module GenZip\r
-\r
-import StdGeneric\r
-import StdEnv\r
-import StdMaybe\r
-\r
-derive bimap Maybe\r
-       \r
-generic gZip a b c :: .a .b -> .c\r
-gZip{|Int|} x y        = if (x == y) x (abort "zip Int failed\n")\r
-gZip{|Bool|} x y       = if (x == y) x (abort "zip Bool failed\n")\r
-gZip{|Char|} x y       = if (x == y) x (abort "zip Char failed\n")\r
-gZip{|Real|} x y       = if (x == y) x (abort "zip Real failed\n")\r
-gZip{|String|} x y     = if (x == y) x (abort "zip String failed\n")\r
-gZip{|UNIT|} UNIT UNIT                                         = UNIT\r
-gZip{|PAIR|} fx fy (PAIR x1 y1) (PAIR x2 y2) = PAIR (fx x1 x2) (fy y1 y2)\r
-gZip{|EITHER|} fl fr (LEFT x) (LEFT y)         = LEFT (fl x y) \r
-gZip{|EITHER|} fl fr (RIGHT x) (RIGHT y) = RIGHT (fr x y) \r
-gZip{|EITHER|} fl fr _ _                               = abort "gZip failed: EITHER does not match\n" \r
-gZip{|CONS|} f (CONS x) (CONS y)               = CONS (f x y)\r
-gZip{|FIELD|} f (FIELD x) (FIELD y)    = FIELD (f x y)\r
-gZip{|OBJECT|} f (OBJECT x) (OBJECT y)         = OBJECT (f x y)\r
-derive gZip [], (,), (,,),  (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,)\r
- \r
-generic gMaybeZip a b c :: .a .b -> Maybe .c\r
-gMaybeZip{|Int|} x y = if (x == y) (Just x) Nothing\r
-gMaybeZip{|Bool|} x y = if (x == y) (Just x) Nothing\r
-gMaybeZip{|Char|} x y = if (x == y) (Just x) Nothing\r
-gMaybeZip{|Real|} x y = if (x == y) (Just x) Nothing\r
-gMaybeZip{|String|} x y = if (x == y) (Just x) Nothing\r
-gMaybeZip{|UNIT|} UNIT UNIT = Just UNIT\r
-gMaybeZip{|PAIR|} fx fy (PAIR x1 y1) (PAIR x2 y2) = zipMaybe PAIR (fx x1 x2) (fy y1 y2)\r
-gMaybeZip{|EITHER|} fl fr (LEFT x) (LEFT y)    = mapMaybe LEFT (fl x y)\r
-gMaybeZip{|EITHER|} fl fr (RIGHT x) (RIGHT y)          = mapMaybe RIGHT (fr x y)\r
-gMaybeZip{|EITHER|} fl fr _ _                                  = Nothing\r
-gMaybeZip{|CONS|} f (CONS x) (CONS y)                  = mapMaybe CONS (f x y)\r
-gMaybeZip{|FIELD|} f (FIELD x) (FIELD y)               = mapMaybe FIELD (f x y)\r
-gMaybeZip{|OBJECT|} f (OBJECT x) (OBJECT y)    = mapMaybe OBJECT (f x y)\r
-derive gMaybeZip [], (,), (,,),  (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,)\r
-\r
-zipMaybe :: .(.a -> .(.b -> .c)) !(Maybe .a) (Maybe .b) -> (Maybe .c)\r
-zipMaybe f (Just x) (Just y)   = Just (f x y)\r
-zipMaybe f _ _                                         = Nothing\r
-\r