Mercurial > hg > Members > atton > delta_monad

annotate similer.hs @ 4:66609010d477

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Define Similer example as Functor
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 02 Sep 2014 11:01:25 +0900
parents 3c5fbce357af
children 051c663a4af2
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
3
3c5fbce357af Define >>= for Similer
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
1 {-# LANGUAGE UndecidableInstances #-}
2
a5210ec1e41b Reduce definition
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
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
a5210ec1e41b Reduce definition
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
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
3
3c5fbce357af Define >>= for Similer
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
7 same :: (Eq a) => Similer a b -> Similer a b -> Bool
3c5fbce357af Define >>= for Similer
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
8 same (Similer a _ _ ) (Similer b _ _) = a == b
3c5fbce357af Define >>= for Similer
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
9
2
a5210ec1e41b Reduce definition
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
10 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
11 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
12
3
3c5fbce357af Define >>= for Similer
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
13 mu :: (Eq b) => Similer a (Similer b c) -> Similer b c
3c5fbce357af Define >>= for Similer
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
14 mu (Similer a f b) = if (same (f a) b) then b else undefined
3c5fbce357af Define >>= for Similer
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
15
4
66609010d477 Define Similer example as Functor
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 3
diff changeset
16 double :: Int -> Similer Int Int
66609010d477 Define Similer example as Functor
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 3
diff changeset
17 double x = Similer (2 * x) id (2 * x)
66609010d477 Define Similer example as Functor
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 3
diff changeset
18
66609010d477 Define Similer example as Functor
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 3
diff changeset
19 twicePlus :: Int -> Similer Int (Similer Int Int)
66609010d477 Define Similer example as Functor
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 3
diff changeset
20 twicePlus x = Similer x double (Similer (x + x) id $ x + x)
66609010d477 Define Similer example as Functor
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 3
diff changeset
21
66609010d477 Define Similer example as Functor
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 3
diff changeset
22 plusTwo :: Int -> Similer Int (Similer Int Int)
66609010d477 Define Similer example as Functor
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 3
diff changeset
23 plusTwo x = Similer x double (Similer (x + 2) id (x + 2))
66609010d477 Define Similer example as Functor
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 3
diff changeset
24
66609010d477 Define Similer example as Functor
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 3
diff changeset
25 hoge :: Eq b => Similer a b -> b
66609010d477 Define Similer example as Functor
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 3
diff changeset
26 hoge (Similer x f y) = if (f x) == y then y else undefined