Mercurial > hg > Members > atton > delta_monad

comparison similer.hs @ 5:051c663a4af2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Rename some functions
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 02 Sep 2014 11:02:00 +0900
parents 66609010d477
children 5e367a167382
comparison
equal deleted inserted replaced
4:66609010d477 5:051c663a4af2
2 data Similer a b = Similer a (a -> b) b 2 data Similer a b = Similer a (a -> b) b
3 3
4 instance Functor (Similer a) where 4 instance Functor (Similer a) where
5 fmap g (Similer a f b) = Similer a (g . f) $ g b 5 fmap g (Similer a f b) = Similer a (g . f) $ g b
6 6
7 same :: (Eq a) => Similer a b -> Similer a b -> Bool 7 eq :: (Eq a) => Similer a b -> Similer a b -> Bool
8 same (Similer a _ _ ) (Similer b _ _) = a == b 8 eq (Similer a _ _ ) (Similer b _ _) = a == b
9 9
10 eta :: a -> Similer a a 10 eta :: a -> Similer a a
11 eta a = Similer a id a 11 eta a = Similer a id a
12 12
13 mu :: (Eq b) => Similer a (Similer b c) -> Similer b c 13 mu :: (Eq b) => Similer a (Similer b c) -> Similer b c
14 mu (Similer a f b) = if (same (f a) b) then b else undefined 14 mu (Similer a f b) = if (eq (f a) b) then b else undefined
15 15
16 double :: Int -> Similer Int Int 16 double :: Int -> Similer Int Int
17 double x = Similer (2 * x) id (2 * x) 17 double x = Similer (2 * x) id (2 * x)
18 18
19 twicePlus :: Int -> Similer Int (Similer Int Int) 19 twicePlus :: Int -> Similer Int (Similer Int Int)
20 twicePlus x = Similer x double (Similer (x + x) id $ x + x) 20 twicePlus x = Similer x double (Similer (x + x) id $ x + x)
21 21
22 plusTwo :: Int -> Similer Int (Similer Int Int) 22 plusTwo :: Int -> Similer Int (Similer Int Int)
23 plusTwo x = Similer x double (Similer (x + 2) id (x + 2)) 23 plusTwo x = Similer x double (Similer (x + 2) id (x + 2))
24 24
25 hoge :: Eq b => Similer a b -> b 25 same :: Eq b => Similer a b -> b
26 hoge (Similer x f y) = if (f x) == y then y else undefined 26 same (Similer x f y) = if (f x) == y then y else undefined