Mercurial > hg > Members > atton > delta_monad

annotate similer.hs @ 1:878d1e271709

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Force Implement mu
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Sun, 31 Aug 2014 18:35:10 +0900
parents 7a82a5e50499
children a5210ec1e41b
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1
878d1e271709 Force Implement mu
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
1 {-# LANGUAGE FlexibleContexts #-}
0
7a82a5e50499 Initial commit. define to Functor for Similer
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 data Similer a f b = Similer a (a -> b) b
7a82a5e50499 Initial commit. define to Functor for Similer
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3
7a82a5e50499 Initial commit. define to Functor for Similer
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 instance Functor (Similer a f) where
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
7a82a5e50499 Initial commit. define to Functor for Similer
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 eta :: a -> Similer a (a -> a) a
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
878d1e271709 Force Implement mu
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
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
878d1e271709 Force Implement mu
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
11 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
878d1e271709 Force Implement mu
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
12 mu (Similer a f b) = if ((f a) == b) then b else undefined