Enough to prove functoriality of Parser

1 files changed, 11 insertions, 0 deletions

diff --git a/test.txt b/test.txt
index 88001e4..072ac19 100644
--- a/test.txt
+++ b/test.txt
@@ -8,3 +8,14 @@ fmapEither f e = case e of {
 fmap1st f p = case p of {
     (l, r) -> (f l, r)
 };
+
+runParser p = case p of {
+    Parser g -> g
+};
+
+(.) f g x = f (g x);
+id x = x;
+
+v = fmap id (Parser g);
+x = fmap ((.) f g) (Parser g);
+y = ((.) (fmap f) (fmap g)) (Parser g);