Mercurial > hg > Members > atton > delta_monad

annotate similer.hs @ 9:41c71f67c103

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Show ErrorMessage
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 02 Sep 2014 11:48:53 +0900
parents 6e0285628ead
children 7c7efee7891f
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2
a5210ec1e41b Reduce definition
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
1 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
2
2
a5210ec1e41b Reduce definition
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
3 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
4 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
5
5
051c663a4af2 Rename some functions
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
6 eq :: (Eq a) => Similer a b -> Similer a b -> Bool
051c663a4af2 Rename some functions
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
7 eq (Similer a _ _ ) (Similer b _ _) = a == b
3
3c5fbce357af Define >>= for Similer
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
8
2
a5210ec1e41b Reduce definition
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
9 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
10 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
11
3
3c5fbce357af Define >>= for Similer
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
12 mu :: (Eq b) => Similer a (Similer b c) -> Similer b c
5
051c663a4af2 Rename some functions
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
13 mu (Similer a f b) = if (eq (f a) b) then b else undefined
3
3c5fbce357af Define >>= for Similer
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
14
8
6e0285628ead Define similer function
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
15 double :: Int -> Int
6e0285628ead Define similer function
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
16 double x = (2 * x)
4
66609010d477 Define Similer example as Functor
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 3
diff changeset
17
8
6e0285628ead Define similer function
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
18 twicePlus :: Int -> Int
6e0285628ead Define similer function
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
19 twicePlus x = x + x
4
66609010d477 Define Similer example as Functor
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 3
diff changeset
20
8
6e0285628ead Define similer function
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
21 plusTwo :: Int -> Int
6e0285628ead Define similer function
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
22 plusTwo x = x + 2
4
66609010d477 Define Similer example as Functor
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 3
diff changeset
23
9
41c71f67c103 Show ErrorMessage
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 8
diff changeset
24 same :: (Show b, Eq b) => Similer a b -> b
41c71f67c103 Show ErrorMessage
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 8
diff changeset
25 same (Similer x f y) = if (f x) == y then y else (error ("not same :" ++ show y))
6
5e367a167382 Define samples
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 5
diff changeset
26
9
41c71f67c103 Show ErrorMessage
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 8
diff changeset
27 similer :: (Show b, Eq b) => (a -> b) -> (a -> b) -> a -> b
8
6e0285628ead Define similer function
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
28 similer f g x = same $ Similer x g (f x)
6e0285628ead Define similer function
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
29
6
5e367a167382 Define samples
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 5
diff changeset
30
5e367a167382 Define samples
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 5
diff changeset
31 -- samples
8
6e0285628ead Define similer function
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
32 sameExample = map (similer twicePlus double) [1..10]
6e0285628ead Define similer function
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
33 nonSameExample = map (similer twicePlus plusTwo) [1..10]
6e0285628ead Define similer function
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
34 nonSameExampleSpecific = map (similer twicePlus plusTwo) [2]