Mercurial > hg > Members > atton > delta_monad

annotate similar.hs @ 12:158ae705cd16

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Rename Similer -> Similar
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 02 Sep 2014 16:59:52 +0900
parents similer.hs@e8a5df54480e
children 88d6897c391a
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
11
e8a5df54480e Define sample for Monad style
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 10
diff changeset
1 {-# LANGUAGE GADTs #-}
10
7c7efee7891f Define Monad style Similer
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
2
12
158ae705cd16 Rename Similer -> Similar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 11
diff changeset
3 data Similar a = (Eq a) => Similar a (a -> a) a
10
7c7efee7891f Define Monad style Similer
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
4
12
158ae705cd16 Rename Similer -> Similar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 11
diff changeset
5 instance (Eq a) => Eq (Similar a) where
10
7c7efee7891f Define Monad style Similer
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
6 s == ss = same s == same ss
7c7efee7891f Define Monad style Similer
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
7
12
158ae705cd16 Rename Similer -> Similar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 11
diff changeset
8 same :: (Eq a) => Similar a -> a
158ae705cd16 Rename Similer -> Similar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 11
diff changeset
9 same (Similar x f y) = if (f x) == y then y else undefined
10
7c7efee7891f Define Monad style Similer
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
10
12
158ae705cd16 Rename Similer -> Similar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 11
diff changeset
11 mu :: (Eq a) => Similar (Similar a) -> Similar a
158ae705cd16 Rename Similer -> Similar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 11
diff changeset
12 mu (Similar a f b) = if ((f a) == b) then b else undefined
0
7a82a5e50499 Initial commit. define to Functor for Similer
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13
10
7c7efee7891f Define Monad style Similer
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
14 class EqFunctor f where
7c7efee7891f Define Monad style Similer
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
15 eqmap :: (Eq a, Eq b) => (a -> b) -> f a -> f b
7c7efee7891f Define Monad style Similer
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
16
12
158ae705cd16 Rename Similer -> Similar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 11
diff changeset
17 instance EqFunctor Similar where
158ae705cd16 Rename Similer -> Similar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 11
diff changeset
18 eqmap f s = Similar fs id fs
10
7c7efee7891f Define Monad style Similer
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
19 where fs = f $ same s
0
7a82a5e50499 Initial commit. define to Functor for Similer
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
20
10
7c7efee7891f Define Monad style Similer
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
21 class EqMonad m where
7c7efee7891f Define Monad style Similer
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
22 (>>=) :: (Eq a, Eq b) => m a -> (a -> m b) -> m b
7c7efee7891f Define Monad style Similer
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
23 return ::(Eq a) => a -> m a
3
3c5fbce357af Define >>= for Similer
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
24
12
158ae705cd16 Rename Similer -> Similar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 11
diff changeset
25 instance EqMonad Similar where
158ae705cd16 Rename Similer -> Similar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 11
diff changeset
26 return x = Similar x id x
10
7c7efee7891f Define Monad style Similer
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
27 s >>= f = mu (eqmap f s)
7c7efee7891f Define Monad style Similer
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
28
12
158ae705cd16 Rename Similer -> Similar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 11
diff changeset
29 similar :: (Eq a) => (a -> a) -> (a -> a) -> a -> a
158ae705cd16 Rename Similer -> Similar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 11
diff changeset
30 similar f g x = same $ Similar x g (f x)
11
e8a5df54480e Define sample for Monad style
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 10
diff changeset
31
0
7a82a5e50499 Initial commit. define to Functor for Similer
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
32
3
3c5fbce357af Define >>= for Similer
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
33
8
6e0285628ead Define similer function
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
34 double :: Int -> Int
6e0285628ead Define similer function
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
35 double x = (2 * x)
4
66609010d477 Define Similer example as Functor
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 3
diff changeset
36
8
6e0285628ead Define similer function
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
37 twicePlus :: Int -> Int
6e0285628ead Define similer function
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
38 twicePlus x = x + x
4
66609010d477 Define Similer example as Functor
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 3
diff changeset
39
8
6e0285628ead Define similer function
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
40 plusTwo :: Int -> Int
6e0285628ead Define similer function
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
41 plusTwo x = x + 2
4
66609010d477 Define Similer example as Functor
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 3
diff changeset
42
11
e8a5df54480e Define sample for Monad style
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 10
diff changeset
43 -- samples
6
5e367a167382 Define samples
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 5
diff changeset
44
11
e8a5df54480e Define sample for Monad style
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 10
diff changeset
45 {-
12
158ae705cd16 Rename Similer -> Similar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 11
diff changeset
46 *Main> same $ Main.return 100 Main.>>= (\x -> Similar x twicePlus $ double x)
11
e8a5df54480e Define sample for Monad style
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 10
diff changeset
47 200
6
5e367a167382 Define samples
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 5
diff changeset
48
12
158ae705cd16 Rename Similer -> Similar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 11
diff changeset
49 *Main> same $ Main.return 2 Main.>>= (\x -> Similar x plusTwo $ double x)
11
e8a5df54480e Define sample for Monad style
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 10
diff changeset
50 4
e8a5df54480e Define sample for Monad style
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 10
diff changeset
51
12
158ae705cd16 Rename Similer -> Similar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 11
diff changeset
52 *Main> same $ Main.return 100 Main.>>= (\x -> Similar x plusTwo $ double x)
11
e8a5df54480e Define sample for Monad style
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 10
diff changeset
53 *** Exception: Prelude.undefined
10
7c7efee7891f Define Monad style Similer
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
54 -}
12
158ae705cd16 Rename Similer -> Similar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 11
diff changeset
55