New example: EvenDouble in the generator style, rathen than as a tail…

… recursive function (so we get fusion)
batterseapower · Jul 19, 2010 · 3380c4b · 3380c4b
1 parent e1a8ae8
commit 3380c4b
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 0 deletions.
diff --git a/examples/toys/EvenDoubleGenerator.core b/examples/toys/EvenDoubleGenerator.core
@@ -0,0 +1,13 @@
+double y = case y of Z   -> Z
+                     S x -> S (S (double x))
+
+even y = case y of Z -> True
+                   S z -> case z of Z   -> False
+                                    S x -> even x
+
+root x = even (double x)
+
+tests = [
+    (root Z, True),
+    (root (S Z), True)
+  ]
diff --git a/examples/toys/EvenDoubleGenerator.hs b/examples/toys/EvenDoubleGenerator.hs
@@ -0,0 +1 @@
+data Nat = Z | S Nat