# HG changeset patch
# User Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
# Date 1409471325 -32400
# Node ID 7a82a5e50499ac03424679f37e84098e43041736

Initial commit. define to Functor for Similer

diff -r 000000000000 -r 7a82a5e50499 similer.hs
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/similer.hs	Sun Aug 31 16:48:45 2014 +0900
@@ -0,0 +1,11 @@
+data Similer a f b = Similer a (a -> b) b
+
+instance Functor (Similer a f) where
+  fmap g (Similer a f b) = Similer a (g . f) $ g b
+
+eta :: a -> Similer a (a -> a) a
+eta a = Similer a id a
+
+--mu :: (Eq a, Eq b, Eq c) => Similer a (a -> b) (Similer b (b -> c) c) -> Similer b (b -> c) c
+--mu (Similer a f (Similer b g c)) = if ((f a) == b) then Similer b g c else undefined
+--mu (Similer a f (Similer b g c)) = if ((f a) == b) then Similer b g c else undefined