github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-26 08:25:19 +03:00
Code Issues Projects Releases Wiki Activity

Use Data.Fix instead of Fix.

Browse Source
This commit is contained in:
Rob Rix 2015-11-17 14:06:07 -08:00
parent f985212b89
commit 87269517dd
1 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
Diff.hs
View File

@ -6,8 +6,8 @@ import Syntax
import Data.Maybe
import Data.Map
import Control.Monad.Free
import Data.Fix
newtype Fix f = In { out :: f (Fix f) }
data Cofree f a = Unroll a (f (Cofree f a))
deriving Functor
@ -23,19 +23,19 @@ type Diff a = Free (Syntax a) (Patch (Term a))
(</>) a b = Pure $ Patch { old = a, new = b }
a :: Term String
a = In $ Keyed $ fromList [
("hello", In $ Indexed [ In $ Leaf "hi" ]),
("goodbye", In $ Leaf "goodbye") ]
a = Fix $ Keyed $ fromList [
("hello", Fix $ Indexed [ Fix $ Leaf "hi" ]),
("goodbye", Fix $ Leaf "goodbye") ]
b :: Term String
b = In $ Keyed $ fromList [
("hello", In $ Indexed []),
("goodbye", In $ Indexed []) ]
b = Fix $ Keyed $ fromList [
("hello", Fix $ Indexed []),
("goodbye", Fix $ Indexed []) ]
d :: Diff String
d = Free $ Keyed $ fromList [
("hello", Free $ Indexed [ Just (In $ Leaf "hi") </> Nothing ]),
("goodbye", Just (In $ Leaf "goodbye") </> Just (In $ Indexed [])) ]
("hello", Free $ Indexed [ Just (Fix $ Leaf "hi") </> Nothing ]),
("goodbye", Just (Fix $ Leaf "goodbye") </> Just (Fix $ Indexed [])) ]
data Operation a f
= Recur (Term a) (Term a) (Diff a -> f)