Mercurial > hg > Members > atton > delta_monad
annotate similer.hs @ 2:a5210ec1e41b
Reduce definition
author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
---|---|
date | Sun, 31 Aug 2014 18:41:02 +0900 |
parents | 878d1e271709 |
children | 3c5fbce357af |
rev | line source |
---|---|
1 | 1 {-# LANGUAGE FlexibleContexts #-} |
2 | 2 data Similer a b = Similer a (a -> b) b |
0
7a82a5e50499
Initial commit. define to Functor for Similer
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
3 |
2 | 4 instance Functor (Similer a) where |
0
7a82a5e50499
Initial commit. define to Functor for Similer
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
5 fmap g (Similer a f b) = Similer a (g . f) $ g b |
7a82a5e50499
Initial commit. define to Functor for Similer
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
6 |
2 | 7 eta :: a -> Similer a a |
0
7a82a5e50499
Initial commit. define to Functor for Similer
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
8 eta a = Similer a id a |
7a82a5e50499
Initial commit. define to Functor for Similer
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
9 |
1 | 10 --mu :: (Eq (Similer b (b -> c) c)) => Similer a (a -> (Similer b (b -> c) c)) (Similer b (b -> c) c) -> Similer b (b -> c) c |
2 | 11 mu :: (Eq (Similer b c)) => Similer a (Similer b c) -> Similer b c |
1 | 12 mu (Similer a f b) = if ((f a) == b) then b else undefined |