reset a3, kut Charlie ;)

[tt2015.git] / a3 / code / Generics / GenHylo.dcl

diff --git a/a3/code/Generics/GenHylo.dcl b/a3/code/Generics/GenHylo.dcl
new file mode 100644 (file)
index 0000000..fc54086
--- /dev/null
+++ b/a3/code/Generics/GenHylo.dcl
@@ -0,0 +1,11 @@
+definition module GenHylo\r
+\r
+import StdGeneric, GenMap\r
+\r
+:: Fix f = In (f .(Fix f))\r
+Out :: !u:(Fix v:a) -> v:(a w:(Fix v:a)), [u <= w]\r
+\r
+hylo :: ((.f .b) -> .b) (.a -> (.f .a)) -> (.a -> .b) | gMap{|*->*|} f\r
+cata :: (u:(f .a) -> .a) -> (Fix u:f) -> .a | gMap{|*->*|} f\r
+ana :: (.a -> u:(f .a)) -> .a -> (Fix u:f) | gMap{|*->*|} f\r
+\r