github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-28 01:47:01 +03:00
Code Issues Projects Releases Wiki Activity

Parenthesize some things.

Browse Source
This commit is contained in:
Rob Rix 2015-11-17 15:06:24 -08:00
parent 34f1ea4261
commit b2660e2b1c
1 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
src/Diff.hs
View File

@ -21,19 +21,19 @@ type Diff a = Free (Syntax a) (Patch (Term a Info))
(</>) a b = Pure $ Patch { old = a, new = b }
a :: Term String Info
a = Info :< Keyed $ fromList [
("hello", Info :< Indexed [ Fix $ Leaf "hi" ]),
("goodbye", Info :< Leaf "goodbye") ]
a = Info :< (Keyed $ fromList [
("hello", Info :< (Indexed [ Info :< (Leaf "hi") ])),
("goodbye", Info :< (Leaf "goodbye")) ])
b :: Term String Info
b = Info :< Keyed $ fromList [
("hello", Info :< Indexed []),
("goodbye", Info :< Indexed []) ]
b = Info :< (Keyed $ fromList [
("hello", Info :< (Indexed [])),
("goodbye", Info :< (Indexed [])) ])
d :: Diff String
d = Free $ Keyed $ fromList [
("hello", Free $ Indexed [ Just (Info :< Leaf "hi") </> Nothing ]),
("goodbye", Just (Info :< Leaf "goodbye") </> Just (Info :< Indexed [])) ]
("hello", Free $ Indexed [ Just (Info :< (Leaf "hi")) </> Nothing ]),
("goodbye", Just (Info :< (Leaf "goodbye")) </> Just (Info :< (Indexed []))) ]
data Operation a f
= Recur (Term a Info) (Term a Info) (Diff a -> f)