Rob Rix
|
83b57fc643
|
Add a Category for the top-level scope.
|
2016-06-03 18:34:42 -04:00 |
|
Rob Rix
|
7802d4916c
|
🔥 FlexibleInstances & RecordWildCards pragmas.
|
2016-06-03 16:02:06 -04:00 |
|
Rob Rix
|
43757e8a61
|
🔥 Categorizable.
This reverts commit be59b0c161362baae63308478177819828be7e1b.
|
2016-06-02 19:10:41 -04:00 |
|
Rob Rix
|
4ea9eba71c
|
Merge branch 'master' into render-diff-summaries-as-json
|
2016-06-01 16:23:39 -04:00 |
|
joshvera
|
0244e9a929
|
Store a category in Info instead of a Set
|
2016-05-31 16:13:01 -04:00 |
|
Rob Rix
|
f8ae53d2df
|
DiffSummary’s type parameter is no longer phantom.
|
2016-05-31 16:11:11 -04:00 |
|
joshvera
|
a2c76a0ddc
|
fmap toCategoryName . toCategory over the head of children
|
2016-05-26 14:49:47 -04:00 |
|
joshvera
|
1245f3361a
|
We just say extract
|
2016-05-26 14:08:26 -04:00 |
|
joshvera
|
ebd5d20171
|
Remove duplicate imports
|
2016-05-26 14:04:27 -04:00 |
|
joshvera
|
b1f9cc4a4a
|
Remove DiffF type synonym
|
2016-05-26 13:46:33 -04:00 |
|
joshvera
|
cbf09d19b9
|
s/categoryName/toCategoryName value/termName
|
2016-05-24 13:06:15 -04:00 |
|
joshvera
|
d073b1cf85
|
Rename IsTerm to HasCategory
|
2016-05-24 12:49:16 -04:00 |
|
joshvera
|
eeda4c6774
|
Add an IsTerm instance for Term leaf Info
|
2016-05-24 12:41:57 -04:00 |
|
joshvera
|
56cfccac19
|
Move if conditions to maybeParentContext
|
2016-05-24 12:37:44 -04:00 |
|
joshvera
|
106686ce1f
|
Remove IsTerm DiffInfo instance
|
2016-05-24 12:33:53 -04:00 |
|
joshvera
|
72dea795d2
|
Remove literal string from tests
|
2016-05-23 13:57:04 -04:00 |
|
joshvera
|
ea87d385a5
|
tweak separators
|
2016-05-18 13:52:22 -04:00 |
|
joshvera
|
f0b5760502
|
Extract the first category for branch nodes
|
2016-05-18 13:27:19 -04:00 |
|
joshvera
|
68948287f8
|
Add a summary renderer
|
2016-05-18 12:01:16 -04:00 |
|
joshvera
|
aade9415aa
|
Add replacement summaries
|
2016-05-18 10:24:08 -04:00 |
|
joshvera
|
ab3b8faf32
|
hey look it works
|
2016-05-18 10:18:26 -04:00 |
|
joshvera
|
eedea216b3
|
add delete case
|
2016-05-18 09:55:59 -04:00 |
|
joshvera
|
5a8aed6e51
|
map infos to DifInfos in diffSummary'
|
2016-05-17 17:34:27 -04:00 |
|
joshvera
|
68f5b0f669
|
Remove description from diff summary
|
2016-05-17 15:59:07 -04:00 |
|
joshvera
|
4d6427a24e
|
Stub some tests
|
2016-05-17 13:09:14 -04:00 |
|
joshvera
|
45a2b70a69
|
Remove Term import
|
2016-05-16 14:29:36 -04:00 |
|
joshvera
|
727b1538c3
|
Remove termToSummary
|
2016-05-16 14:27:44 -04:00 |
|
joshvera
|
b16166d78a
|
clean up imports
|
2016-05-16 13:19:30 -04:00 |
|
joshvera
|
e53333c9dd
|
indentation
|
2016-05-16 11:23:57 -04:00 |
|
joshvera
|
e6a385e09a
|
add type signature
|
2016-05-16 11:23:32 -04:00 |
|
joshvera
|
95cb5070fa
|
🔥 failed diff summary funs
|
2016-05-16 11:15:47 -04:00 |
|
joshvera
|
ec58e29855
|
diff summaries kind of work
|
2016-05-16 10:54:05 -04:00 |
|
joshvera
|
8be702f5e6
|
stub futu
|
2016-05-13 11:44:03 -04:00 |
|
joshvera
|
9d67019376
|
Explicit type to maybeFirstCategory
|
2016-05-10 17:48:55 -04:00 |
|
joshvera
|
1503381bed
|
concat indexed and fixed diff summaries
|
2016-05-10 17:47:03 -04:00 |
|
joshvera
|
3160c8c464
|
s/patchSummary/patchToSummary
|
2016-05-09 15:00:15 -04:00 |
|
joshvera
|
14a405d8c8
|
Return a diff summary from termToSummary and make DiffSummary either be a DiffSummary of before and after summaries, a TermSummary, or an EmptySummary
|
2016-05-05 20:09:50 -04:00 |
|
joshvera
|
48c7498ce2
|
Define Term in terms of Cofree
|
2016-05-04 14:37:24 -04:00 |
|
joshvera
|
1914950bc1
|
Stub diffSummary'
|
2016-05-03 15:50:38 -04:00 |
|
joshvera
|
fc0e9236e9
|
Stub diffSummary'
|
2016-05-03 14:10:36 -04:00 |
|
joshvera
|
6c07d4dc55
|
WIP CofreeF
|
2016-05-03 12:17:38 -04:00 |
|
joshvera
|
a03be353d6
|
Expose Patch constructor and add summary
|
2016-04-25 22:14:53 -04:00 |
|
joshvera
|
305371e6c8
|
no comment
|
2016-04-25 11:50:56 -04:00 |
|
joshvera
|
33270bd65a
|
stub diffSummary
|
2016-04-25 11:46:10 -04:00 |
|